Package org.coode.owlapi.examples

Class Summary
Example1 Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 11-Jan-2007

Example10 Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Jun-2007

This example shows how to create and read annotations.

Example11 Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 10-Dec-2007

This example shows how to generate an ontology containing some inferred information.
Example12 Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 11-Apr-2008

This example shows how to merge to ontologies (by simply combining axioms from one ontology into another ontology).
Example13 Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 02-Jun-2008

Example14 Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 15-Oct-2008

Example2 Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 11-Jan-2007

Example3 Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 15-Jan-2007

Example4 Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 23-May-2007

This example shows how add an object property assertion (triple) of the form prop(subject, object) for example hasPart(a, b)

Example5 Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 23-May-2007

An example which shows how to "delete" entities, in this case individuals, from and ontology.

Example6 Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 24-May-2007

An example which shows how to create restrictions and add them as superclasses of a class (i.e.

Example7 Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 24-May-2007

This example shows how to work with dataranges.

Example8 Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 20-Jun-2007

An example which shows how to interact with a reasoner.
Example9 Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Jun-2007

This example shows how to examine the restrictions on a class.

OWLPrimer Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 15-Apr-2008

The following example uses entities and axioms that are used in the OWL Primer.