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