Community:Mathematical expressions - Revision history

EnricoDaga at 15:59, 3 March 2010

2010-03-03T15:59:07Z

Admin at 07:27, 10 May 2009

2009-05-10T07:27:44Z

Admin: Text replace - '|Author=User:' to '|Author='

2009-03-10T15:47:44Z

Text replace - '|Author=User:' to '|Author='

MargheritaSini at 04:57, 8 August 2008

2008-08-08T04:57:03Z

MargheritaSini: represent mathematical expressions in OWL

2008-08-08T04:56:11Z

represent mathematical expressions in OWL

New page

{{TitleDescription Template
|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")

}}
{{Modeling Issue Template
|Author=User:AldoGangemi, User:ClaudioBaldassarre, User:MargheritaSini, User:ValentinaPresutti
|Domain=Market, Agriculture
|CompetencyQuestion=How to I calculate the gross income? How to I calculate the net income?
|Scenario=Agricultural
|ProposedSolution=See text below.
}}
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>

@@ Line 5: / Line 5: @@
 - "net income" calculatedBy ("gross income" minus " cost product")
 }}
 {{Modeling Issue Template
 |Author=AldoGangemi, ClaudioBaldassarre, MargheritaSini, ValentinaPresutti
@@ Line 12: / Line 13: @@
 |ProposedSolution=See text below.
 }}
 Proposed by Aldo:
@@ Line 69: / Line 71: @@
    </owl:ObjectProperty>
 </rdf:RDF>

@@ Line 6: / Line 6: @@
 }}
 {{Modeling Issue Template
-|Author=AldoGangemi, User:ClaudioBaldassarre, User:MargheritaSini, User:ValentinaPresutti
+|Author=AldoGangemi, ClaudioBaldassarre, MargheritaSini, ValentinaPresutti
 |Domain=Market, Agriculture
 |CompetencyQuestion=How to I calculate the gross income? How to I calculate the net income?