Community:Mathematical expressions

From Odp

(Difference between revisions)
Jump to: navigation, search
m (Text replace - '|Author=User:' to '|Author=')
Line 6: Line 6:
}}
}}
{{Modeling Issue Template
{{Modeling Issue Template
-
|Author=AldoGangemi, User:ClaudioBaldassarre, User:MargheritaSini, User:ValentinaPresutti
+
|Author=AldoGangemi, ClaudioBaldassarre, MargheritaSini, ValentinaPresutti
|Domain=Market, Agriculture
|Domain=Market, Agriculture
|CompetencyQuestion=How to I calculate the gross income? How to I calculate the net income?
|CompetencyQuestion=How to I calculate the gross income? How to I calculate the net income?

Revision as of 07:27, 10 May 2009

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")


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


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>

Personal tools
Quality Committee
Content OP publishers