Home

The DIP Plugin is a DLQueryTab-style plugin for the Protégé Desktop Ontology Editor (version 5.0 and higher) allowing users to specify which SubClass axioms in their ontologies should hold "in general" but permit exceptions. For example, Student SubClassOf not (pays some Tax) does not permit exceptions like: EmployedStudent SubClassOf Student and (pays some Tax) because EmployedStudent would be unsatisfiable in such an ontology. However, in DIP one is able to "flag" the former axiom to be defeasible (susceptible to be overuled).

DIP is then able to provide reasoning services that derive sensible conclusions with these statements. In particular, DIP allows the user to:

• Toggle SubClass axioms in the ontology to be treated as generalisations (called defeasible SubClass axioms).

• Identify the class expressions violating defeasible SubClass axioms (these expressions are called exceptions).

• Find all named SuperClasses of a user-specified class expression, in ontologies containing defeasible SubClass axioms.

• View all defeasible SubClass axioms in a view, separately from the rest of the ontology.

The plugin can be enabled in Protégé via the Window->Tabs menu item. The component views of the plugin are also accessible via the Window->Views->DIP views menu item.