These pages contain some additional
sample ontologies illustrating the effects of reasoning. They
accompany slides from a tutorial
on OWL given by Ian Horrocks and Sean Bechhofer.
- People and Pets. The basic
ontology. This ontology contains a number of class definitions and
example individuals that illustrate reasoning.
The following examples can be "included" into the above ontology.
- Animal Haters. Two definitions of those
who do not like animals. The two definitions are equivalent. In this
case, we also find that the definitions are too general, as leaf and plant are
found to be subclasses.
- Two Pets. Definitions of those who own
two pets. Note that the class of those with a cat and a dog is a
subclass, while those with a dog and a sheep are not. This is due to
the lack of a disjoint axiom between dog and sheep.
The following examples illustrate the distribution rules concerning universal and existential quantification and open/closed world reasoning.