<img xmlns="" src="../semAuthIcons/mm2flo-floModule.png" width="12px" border="0"/>Candy eats carrot aBox plus tBox

<img xmlns="" src="../semAuthIcons/mm2flo-floModule.png" width="12px" border="0"/>Candy eats carrot aBox plus tBox

Skip to navigation (Press Enter).
Skip to main content (Press Enter).

Groovy eats grass
Candy eats
- apple
- carrot

Adding schema information: Animals eat Food

Animal
- eats Food

ex#Animal [ ex#eats *=> ex#Food ] .

Classifying Groovy (resp. apple) explicitly being an animal (resp. food):

apple
- Food
Animal Groovy

ex#apple : ex#Food .

ex#Groovy : ex#Animal .

turtle: ex#Groovy rdf:type ex#Animal .

Loading the exported ontology into Ontoprise OntoStudio 3.1.1. yields:

ex#Groovy [ ex#eats -> ex#grass ] .

ex#Candy [ ex#eats -> ex#apple ] .

ex#Candy [ ex#eats -> ex#carrot ] .

ex#Animal [ ex#eats *=> ex#Food ] .

ex#apple : ex#Food .

ex#Groovy : ex#Animal .

turtle: ex#Groovy rdf:type ex#Animal .