Ontology Revision Engine

Adding a new concept axiom:

The class is a sub class of

Adding a new disjoint axiom:

The class is disjoint with

Adding a new role axiom:

The property is a sub property of

Adding a new concept assertion:

The individual is an instance of

Adding a new role assertion:

The individual the individual

Adding a new axiom with complex concepts using the Manchester syntax

Enter a query (Class Expression)

Choose an individual

Enter a Class Expression

Class Expression for the left hand side (the subclass)

Class Expression for the right hand side (the superclass)