Changes

Jump to navigation Jump to search
354 bytes added ,  12:52, 26 August 2018
Line 109: Line 109:  
* Component axioms
 
* Component axioms
 
  ObjectPropertyAssertion( :contains :Butter :Butterfat )
 
  ObjectPropertyAssertion( :contains :Butter :Butterfat )
 +
* Derivation axioms
 +
ObjectPropertyAssertion( :isDerivedFrom :Butter :Cream )
 +
* Proportion axioms
 +
DataPropertyAssertion( :hasPercentageOfButterfat :Butter xsd:double[>= "80"^^xsd:double, <= "99"^^xsd:double] )
 +
* Origin axioms
 +
ObjectPropertyAssertion( :isManufacturedIn :Butter :Isigny )
 +
* Label axioms
 +
ObjectPropertyAssertion( :isLabel :Butter :AOP )
    
==== Super classes ====
 
==== Super classes ====
3,393

edits

Navigation menu