Community:Mathematical expressions

From Odp

Revision as of 15:59, 3 March 2010 by EnricoDaga (Talk | contribs)
(diff) ←Older revision | Current revision (diff) | Newer revision→ (diff)
Jump to: navigation, search

Mathematical expressions

Title: Representing in OWL mathematical expressions.

Description: I wish to be able to express: - "gross income" calculatedBy ("yield" multipliedBy "price") - "net income" calculatedBy ("gross income" minus " cost product")

Diagram (this article has no graphical representation)

About

Users AldoGangemi, ClaudioBaldassarre, MargheritaSini, ValentinaPresutti
Domains Market, Agriculture
Competency Questions How to I calculate the gross income? How to I calculate the net income?
Scenarios Agricultural markets
Proposed Solutions (OWL files)
Related patterns


Additional information

Proposed by Aldo:

GrossIncome equivalentClass

 (NumericProduct and
 (hasFirstOperand some Yield) and
 (hasSecondOperand some Price)
 (hasResult exactly 1))

GrossIncome subClassOf

 hasFirstOperand all Yield

GrossIncome subClassOf

 hasSecondOperand all Price

GrossIncome subClassOf

 hasResult all xsd:float

Yield subClassOf

 hasValue some xsd:float

Price subClassOf

 hasValue some xsd:float

Proposed by Margherita (simpler version):

<rdf:RDF

   xmlns="http://localhost/default#"
   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
   xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
   xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
   xmlns:owl="http://www.w3.org/2002/07/owl#"
   xmlns:daml="http://www.daml.org/2001/03/daml+oil#">
 <owl:Class rdf:about="http://localhost/default#Numeric%20Product">
   <hasSecondOperand>
     <owl:Class rdf:about="http://localhost/default#Price"/>
   </hasSecondOperand>
   <hasFirstOperand>
     <owl:Class rdf:about="http://localhost/default#Yield"/>
   </hasFirstOperand>
 </owl:Class>
 <owl:Class rdf:about="http://localhost/default#Multiplication">
   <rdfs:subClassOf>
     <owl:Class rdf:about="http://localhost/default#Arithmetic%20operand"/>
   </rdfs:subClassOf>
 </owl:Class>
 <owl:Class rdf:about="http://localhost/default#Gross%20Income"/>
 <owl:ObjectProperty rdf:about="http://localhost/default#hasOperand">
   <rdfs:range rdf:resource="http://localhost/default#Multiplication"/>
   <rdfs:domain rdf:resource="http://localhost/default#Numeric%20Product"/>
   <rdf:type rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/>
 </owl:ObjectProperty>
 <owl:ObjectProperty rdf:about="http://localhost/default#calculatedBy">
   <rdfs:range rdf:resource="http://localhost/default#Numeric%20Product"/>
   <rdfs:domain rdf:resource="http://localhost/default#Gross%20Income"/>
   <rdf:type rdf:resource="http://www.w3.org/1999/02/22-rdf-syntax-ns#Property"/>
 </owl:ObjectProperty>

</rdf:RDF>

References

Add a reference


List of Modeling Issues | Post a new modeling issue | Add a comment in the discussion page
Personal tools
Quality Committee
Content OP publishers