$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.