Difference between revisions of "OntoDebug"
(Created page with "{{Plugin |Description=OntoDebug is a free and open-source interactive ontology debugger plugin for Protégé to resolve and repair inconsistent and incoherent ontologies. |Plu...") |
|||
| Line 2: | Line 2: | ||
|Description=OntoDebug is a free and open-source interactive ontology debugger plugin for Protégé to resolve and repair inconsistent and incoherent ontologies. | |Description=OntoDebug is a free and open-source interactive ontology debugger plugin for Protégé to resolve and repair inconsistent and incoherent ontologies. | ||
|PluginType=Tab Widget | |PluginType=Tab Widget | ||
| − | |ForApplication1=Protege-OWL 5. | + | |ForApplication1=Protege-OWL 5.2.0 |
|ForApplication2=Protege-OWL 5.1.0 | |ForApplication2=Protege-OWL 5.1.0 | ||
| + | |ForApplication3=Protege-OWL 5.0.0 | ||
|HomepageURL=http://isbi.aau.at/ontodebug/ | |HomepageURL=http://isbi.aau.at/ontodebug/ | ||
|DeveloperID1=Konstantin Schekotihin | |DeveloperID1=Konstantin Schekotihin | ||
| Line 18: | Line 19: | ||
|Affiliation1=Alpen-Adria-Universität Klagenfurt | |Affiliation1=Alpen-Adria-Universität Klagenfurt | ||
}} | }} | ||
| + | <div style="float:left;"> | ||
| + | == 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: [https://www.youtube.com/watch?v=vHmC-rRuMYM] | ||
Revision as of 03:24, December 6, 2018
OntoDebug
by Konstantin Schekotihin, Patrick Rodler, Wolfgang Schmid, Philipp Fleiß, Dietmar Jannach, Thomas Schmitz
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.
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 |
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.
