Difference between revisions of "OntoDebug"

From Protege Wiki
Jump to: navigation, search
Line 13: Line 13:
 
|DeveloperID5=Dietmar Jannach
 
|DeveloperID5=Dietmar Jannach
 
|DeveloperID6=Thomas Schmitz
 
|DeveloperID6=Thomas Schmitz
|LastUpdated=October 22, 2018
+
|LastUpdated=January 18, 2019
 
|Topic1=Validation
 
|Topic1=Validation
 
|Topic2=Software Engineering
 
|Topic2=Software Engineering
Line 21: Line 21:
 
}}
 
}}
  
 +
|free text=}}
 
<div style="float:left;">
 
<div style="float:left;">
 
== More Details ==
 
== More Details ==

Revision as of 08:05, January 18, 2019

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.

VersionCompatible withDependencies
OntoDebug 0.2.2Protege-OWL 5.5.0
Protege-OWL 5.2.0
Protege-OWL 5.1.0
Protege-OWL 5.0.0
OntoDebug 0.2.1Protege-OWL 5.5.0
Protege-OWL 5.2.0
Protege-OWL 5.1.0
Protege-OWL 5.0.0
OntoDebug 0.2.0.RCProtege-OWL 5.5.0
Protege-OWL 5.2.0
Protege-OWL 5.1.0
Protege-OWL 5.0.0
OntoDebug 0.1.9.RCProtege-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!

Changelog

VersionChanges in this version
OntoDebug 0.2.2Added keyword probability sliders
OntoDebug 0.2.1Implementation of MergeXPlain and Progression
OntoDebug 0.2.0.RCMinor fixes and improvements, tutorial video
OntoDebug 0.1.9.RCFeature improvements and bug fixes


|free text=}}

More Details

Description

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]

Documentation

Check the online documentation of OntoDebug at [2]