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 ==== |