Example Ontologies

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.

The following examples can be "included" into the above ontology.

The following examples illustrate the distribution rules concerning universal and existential quantification and open/closed world reasoning.