Difference between revisions of "OntoDebug"
| Line 13: | Line 13: | ||
|DeveloperID5=Dietmar Jannach | |DeveloperID5=Dietmar Jannach | ||
|DeveloperID6=Thomas Schmitz | |DeveloperID6=Thomas Schmitz | ||
| − | |LastUpdated= | + | |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 07:05, January 18, 2019
OntoDebug
by Konstantin Schekotihin, Patrick Rodler, Wolfgang Schmid, Philipp Fleiß, Dietmar Jannach, Thomas Schmitz
| Type | Tab Widget |
| Author(s) | Konstantin Schekotihin, Patrick Rodler, Wolfgang Schmid, Philipp Fleiß, Dietmar Jannach, Thomas Schmitz |
| Last Update | January 18, 2019 |
| License | Apache License 2.0 |
| Homepage | OntoDebug website |
| For Application | |
| Topic(s) | |
| Affiliation |
OntoDebug is a free and open-source interactive ontology debugger plugin for Protégé to resolve and repair inconsistent and incoherent ontologies.
Contents
Versions & Compatibility
This section lists available versions of OntoDebug.
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
| Version | Changes in this version |
|---|---|
| OntoDebug 0.2.2 | Added keyword probability sliders |
| OntoDebug 0.2.1 | Implementation of MergeXPlain and Progression |
| 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
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]
