From Odp

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) See text below.
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