|
(Feel free to send Bijan pointers or examples. We can host them in svn on this server, or in a number of alternative places. Tutorial style examples are welcome.) (An updated DAML+OIL to OWL 1.1 converter would be a great thing, since we could capture all the DAML+OIL ontologies that used qualified cardinalities correctly.) | Name | Syntax | Comment | | family.owl | RDF/XML | Example ontology demoing OWL 1.1 features (by Evren Sirin) | | Galen (simplified version) | RDF/XML | A version of the Galen biomedical ontology. It has some role inclusion axioms, e.g, involving the "hasLocation" property (submitted by Dmitry Tsarkov) | | Pump example | RDF/XML | Created by Bijan Parsia in reply to Hans Teijgeler's query. Note that Bijan added a nonsense min cardinality in order to make the class unsatisfiable. | | Pump example | OWL11 XML | Same as the pump example above, only in the XML syntax. The file is valid, and it contains a declaration (only one) and an axiom comment! |
|
Sign in to add a comment
