OWL examples in Manchester Syntax

There is a small collection of OWL ontology reasoning examples from Manchester University in the UK. They are written in the Manchester OWL syntax, which is a more compact and easier to read frame-based syntax than the usual RDF/XML triple/axiom format of the Semantic Web. There are four example ontologies, People, Pets, Pizzas, and Sports Teams.

Here is an example of a class in the Manchester OWL syntax:

Class: man
    Annotations:
        rdfs:label "man"
    EquivalentTo:
        adult
        and male
        and person

-- Jack Krupansky