Changes

Jump to navigation Jump to search
549 bytes added ,  13:46, 26 August 2018
Line 107: Line 107:  
===== Axioms =====
 
===== Axioms =====
 
In addition one could one or more axioms that define the ingredient in relation to other ingredients. For instance:
 
In addition one could one or more axioms that define the ingredient in relation to other ingredients. For instance:
* Component axioms
+
* Component axioms - these axioms define the components of an ingredient. These component ingredients are probably mostly base ingredients that can nog longer be broken down. The axioms also have an inverse axiom.
 
  ObjectPropertyAssertion( :contains :Butter :Butterfat )
 
  ObjectPropertyAssertion( :contains :Butter :Butterfat )
* Derivation axioms
+
* 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
+
* Proportion axioms - these axioms define how much of an component ingredient is present.
 
  DataPropertyAssertion( :hasPercentageOfButterfat :Butter xsd:double[>= "80"^^xsd:double, <= "99"^^xsd:double] )
 
  DataPropertyAssertion( :hasPercentageOfButterfat :Butter xsd:double[>= "80"^^xsd:double, <= "99"^^xsd:double] )
* Origin axioms
+
* Origin axioms - axioms that define where an ingredient is manufactured.
 
  ObjectPropertyAssertion( :isManufacturedIn :Butter :Isigny )
 
  ObjectPropertyAssertion( :isManufacturedIn :Butter :Isigny )
* Label axioms
+
* Label axioms - these axioms define if the ingredient has a label, such as AOP, Organic, etc.
 
  ObjectPropertyAssertion( :isLabel :Butter :AOP )
 
  ObjectPropertyAssertion( :isLabel :Butter :AOP )
  
3,393

edits

Navigation menu