Changes

Jump to navigation Jump to search
982 bytes removed ,  15:26, 26 August 2018
Line 99: Line 99:     
===== 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 associate one or more axioms that defines how the ingredient relates to other ingredients.
* 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 )
  −
* 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 )
  −
* 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.
  −
ObjectPropertyAssertion( :isManufacturedIn :Butter :Isigny )
  −
* Label axioms - these axioms define if the ingredient has a label, such as AOP, Organic, etc.
  −
ObjectPropertyAssertion( :isLabel :Butter :AOP )
      
==== Class hierarchy ====
 
==== Class hierarchy ====
3,393

edits

Navigation menu