From Protege Wiki

Jump to: navigation, search

OntoDebug is a free and open-source interactive ontology debugger plugin for Protégé to resolve and repair inconsistent and incoherent ontologies.


Versions & Compatibility

This section lists available versions of OntoDebug.

Version Compatible with Dependencies
OntoDebug 0.2.0.RC Protege-OWL 5.5.0
Protege-OWL 5.2.0
Protege-OWL 5.1.0
Protege-OWL 5.0.0
OntoDebug 0.1.9.RC Protege-OWL 5.2.0
Protege-OWL 5.1.0
Protege-OWL 5.0.0
Protege-OWL 5.5.0

If you click on the button below to add a new version of OntoDebug, you will be asked to define a page title for the new version. Please adhere to the naming convention of OntoDebug X.X.X when you define the new page!


Version Changes in this version
OntoDebug 0.2.0.RC Minor fixes and improvements, tutorial video
OntoDebug 0.1.9.RC Feature improvements and bug fixes

|free text=}}

More Details


OntoDebug supports the ontologist in the discovery and identification of axioms that are responsible for the inconsistency or incoherency in faulty ontologies by applying interactive ontology debugging.

Interactive ontology debugging is implemented by iteratively stating queries in the form of axioms the ontology engineer has to answer.

A query can be read in the form of the question: must the given axiom be entailed or not entailed in the intended ontology?

This iterative process narrows down the set of possible faulty axioms until the final set of faulty axioms is identified.

OntoDebug also provides a repair interface to help the ontology engineer with the correction of the localized faulty axioms by deleting or modifying them.

Video Tutorial

View a 30 minutes tutorial video of OntoDebug on YouTube: [1]


Check the online documentation of OntoDebug at [2]
Personal tools