$Id: daml+oil+dt-ex.daml,v 4 2001/02/20$
An example ontology, with data types taken from XML Schema
Animal
This class of animals is illustrative of a number of ontological idioms.
shoesize is a DatatypeProperty whose range is xsd:decimal.
shoesize is also a UniqueProperty (can only have one shoesize)
age is a DatatypeProperty whose range is xsd:decimal.
age is also a UniqueProperty (can only have one age)
1
Animals have exactly two parents, ie:
If x is an animal, then it has exactly 2 parents
(but it is NOT the case that anything that has 2 parents is an animal).
hasAncestor
no car is a person
every person is a man or a woman
Adam
Adam is a person.