Changes

Jump to navigation Jump to search
Line 135: Line 135:  
* Derivation axioms - these axioms define how one ingredient has been transformed into another ingredient. Not sure if these (or all of these) have an inverse axiom.
 
* Derivation axioms - these axioms define how one ingredient has been transformed into another ingredient. Not sure if these (or all of these) have an inverse axiom.
 
  ObjectPropertyAssertion( :isDerivedFrom :Butter :Cream )
 
  ObjectPropertyAssertion( :isDerivedFrom :Butter :Cream )
* Proportion axioms - these axioms define how much of an component ingredient is present.
  −
DataPropertyAssertion( :hasPercentageOfButterfat :Butter xsd:double[>= "80"^^xsd:double, <= "99"^^xsd:double] )
   
* Origin axioms - axioms that define where an ingredient is manufactured.
 
* Origin axioms - axioms that define where an ingredient is manufactured.
 
  ObjectPropertyAssertion( :isManufacturedIn :Butter :Isigny )
 
  ObjectPropertyAssertion( :isManufacturedIn :Butter :Isigny )
Line 146: Line 144:  
==== Hierarchy ====
 
==== Hierarchy ====
    +
=== Data properties ===
 +
* Proportion axioms - these axioms define how much of an component ingredient is present.
 +
DataPropertyAssertion( :hasPercentageOfButterfat :Butter xsd:double[>= "80"^^xsd:double, <= "99"^^xsd:double] )
 +
 +
=== General axioms ===
 +
Not sure yet how to use these.
 
=== Issues ===
 
=== Issues ===
 
It seems a lot of data is entered double. I hope these will solved as I understand things more.
 
It seems a lot of data is entered double. I hope these will solved as I understand things more.
3,393

edits

Navigation menu