Changes

Jump to navigation Jump to search
884 bytes removed ,  09:40, 29 August 2018
Line 150: Line 150:     
==== Axioms ====
 
==== Axioms ====
Each object property is an axiom that can be applied to classes.  
+
Each object property is an axiom that can be applied to classes.
 
  −
In addition one could one or more axioms that define the ingredient in relation to other ingredients. For instance:
  −
* 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.
  −
Class: Butter
  −
    Facts: contains 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 )
  −
* 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 )
      
==== Domain / Range ====
 
==== Domain / Range ====
3,393

edits

Navigation menu