ExampleOntologies - owl1-1 - A list of example ontologies using OWL 1.1 features, syntax, etc. - OWLED related activities

ExampleOntologies

A list of example ontologies using OWL 1.1 features, syntax, etc.
Featured

Updated Feb 4, 2010 by bparsia@gmail.com

(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!

Several of the ontologies by Michel Dumontier's group make use of OWL 1.1 features (for example, as described in their OWLED 2007 paper).

► Sign in to add a comment