Protege Wiki - User contributions [en]

OntoDebug 0.2.2

2019-08-07T13:27:44Z

WolfgangSchmid: Release of 0.2.2

{{VersionOfPlugin
|VersionOf=OntoDebug
|Number=0.2.2
|LastUpdate=August 7, 2019
|File=http://isbi.aau.at/ontodebug/org.exquisite.protege-0.2.2.jar
|CompatibleWith1=Protege-OWL 5.5.0
|CompatibleWith2=Protege-OWL 5.2.0
|CompatibleWith3=Protege-OWL 5.1.0
|CompatibleWith4=Protege-OWL 5.0.0
|Changelog=Added keyword probability sliders
}}

|free text=}}

OntoDebug

2019-08-07T13:23:05Z

WolfgangSchmid:

{{Plugin
|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
|ForApplication1=Protege-OWL 5.2.0
|ForApplication2=Protege-OWL 5.1.0
|ForApplication3=Protege-OWL 5.0.0
|Screenshot=Debugger.jpg
|HomepageURL=http://isbi.aau.at/ontodebug/
|DeveloperID1=Konstantin Schekotihin
|DeveloperID2=Patrick Rodler
|DeveloperID3=Wolfgang Schmid
|DeveloperID4=Philipp Fleiß
|DeveloperID5=Dietmar Jannach
|DeveloperID6=Thomas Schmitz
|LastUpdated=August 07, 2019
|Topic1=Validation
|Topic2=Software Engineering
|Topic3=Biomedical Informatics
|License=Apache License 2.0
|Affiliation1=Alpen-Adria-Universität Klagenfurt
}}

|free text=}}
|free text=}}
|free text=}}
<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.

=== Tutorial Video ===

View a 30 minutes tutorial video of OntoDebug on YouTube: [https://www.youtube.com/watch?v=vHmC-rRuMYM]

=== Documentation ===

Check the online documentation of OntoDebug at [https://git-ainf.aau.at/interactive-KB-debugging/debugger/wikis/onto-debugger]

OntoDebug

2019-06-19T06:58:06Z

WolfgangSchmid: /* Video Tutorial */

{{Plugin
|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
|ForApplication1=Protege-OWL 5.2.0
|ForApplication2=Protege-OWL 5.1.0
|ForApplication3=Protege-OWL 5.0.0
|Screenshot=Debugger.jpg
|HomepageURL=http://isbi.aau.at/ontodebug/
|DeveloperID1=Konstantin Schekotihin
|DeveloperID2=Patrick Rodler
|DeveloperID3=Wolfgang Schmid
|DeveloperID4=Philipp Fleiß
|DeveloperID5=Dietmar Jannach
|DeveloperID6=Thomas Schmitz
|LastUpdated=May 22, 2019
|Topic1=Validation
|Topic2=Software Engineering
|Topic3=Biomedical Informatics
|License=Apache License 2.0
|Affiliation1=Alpen-Adria-Universität Klagenfurt
}}

|free text=}}
|free text=}}
<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.

=== Tutorial Video ===

View a 30 minutes tutorial video of OntoDebug on YouTube: [https://www.youtube.com/watch?v=vHmC-rRuMYM]

=== Documentation ===

Check the online documentation of OntoDebug at [https://git-ainf.aau.at/interactive-KB-debugging/debugger/wikis/onto-debugger]

OntoDebug 0.2.1

2019-05-27T14:33:48Z

WolfgangSchmid: Release of 0.2.1

{{VersionOfPlugin
|VersionOf=OntoDebug
|Number=0.2.1
|LastUpdate=May 22, 2019
|File=http://isbi.aau.at/ontodebug/org.exquisite.protege-0.2.1.jar
|CompatibleWith1=Protege-OWL 5.5.0
|CompatibleWith2=Protege-OWL 5.2.0
|CompatibleWith3=Protege-OWL 5.1.0
|CompatibleWith4=Protege-OWL 5.0.0
|Changelog=Implementation of MergeXPlain and Progression
}}

|free text=}}
|free text=}}

OntoDebug 0.2.1

2019-05-27T14:32:45Z

WolfgangSchmid: Release of 0.2.1

OntoDebug

2019-05-27T14:29:13Z

WolfgangSchmid: Release of 0.2.1

{{Plugin
|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
|ForApplication1=Protege-OWL 5.2.0
|ForApplication2=Protege-OWL 5.1.0
|ForApplication3=Protege-OWL 5.0.0
|Screenshot=Debugger.jpg
|HomepageURL=http://isbi.aau.at/ontodebug/
|DeveloperID1=Konstantin Schekotihin
|DeveloperID2=Patrick Rodler
|DeveloperID3=Wolfgang Schmid
|DeveloperID4=Philipp Fleiß
|DeveloperID5=Dietmar Jannach
|DeveloperID6=Thomas Schmitz
|LastUpdated=May 22, 2019
|Topic1=Validation
|Topic2=Software Engineering
|Topic3=Biomedical Informatics
|License=Apache License 2.0
|Affiliation1=Alpen-Adria-Universität Klagenfurt
}}

|free text=}}
|free text=}}
<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]

=== Documentation ===

Check the online documentation of OntoDebug at [https://git-ainf.aau.at/interactive-KB-debugging/debugger/wikis/onto-debugger]

OntoDebug 0.1.9.RC

2019-01-18T15:10:21Z

WolfgangSchmid:

{{VersionOfPlugin
|VersionOf=OntoDebug
|Number=0.1.9.RC
|LastUpdate=October 22, 2018
|File=http://isbi.aau.at/ontodebug/org.exquisite.protege-0.1.9.RC.jar
|CompatibleWith1=Protege-OWL 5.5.0
|CompatibleWith2=Protege-OWL 5.2.0
|CompatibleWith3=Protege-OWL 5.1.0
|CompatibleWith4=Protege-OWL 5.0.0
|Changelog=Feature improvements and bug fixes
}}

|free text=}}
|free text=}}

OntoDebug 0.2.0.RC

2019-01-18T15:09:40Z

WolfgangSchmid:

{{VersionOfPlugin
|VersionOf=OntoDebug
|Number=0.2.0.RC
|LastUpdate=January 18, 2019
|File=http://isbi.aau.at/ontodebug/org.exquisite.protege-0.2.0.RC.jar
|CompatibleWith1=Protege-OWL 5.5.0
|CompatibleWith2=Protege-OWL 5.2.0
|CompatibleWith3=Protege-OWL 5.1.0
|CompatibleWith4=Protege-OWL 5.0.0
|Changelog=Minor fixes and improvements, tutorial video
}}

|free text=}}
|free text=}}

OntoDebug 0.2.0.RC

2019-01-18T15:09:07Z

WolfgangSchmid: Created page with "{{VersionOfPlugin |VersionOf=OntoDebug |Number=0.2.0.RC |LastUpdate=now |File=http://isbi.aau.at/ontodebug/org.exquisite.protege-0.2.0.RC.jar |CompatibleWith1=Protege-OWL 5.5...."

{{VersionOfPlugin
|VersionOf=OntoDebug
|Number=0.2.0.RC
|LastUpdate=now
|File=http://isbi.aau.at/ontodebug/org.exquisite.protege-0.2.0.RC.jar
|CompatibleWith1=Protege-OWL 5.5.0
|CompatibleWith2=Protege-OWL 5.2.0
|CompatibleWith3=Protege-OWL 5.1.0
|CompatibleWith4=Protege-OWL 5.0.0
|Changelog=Minor fixes and improvements, tutorial video
}}

|free text=}}

OntoDebug

2019-01-18T15:05:37Z

WolfgangSchmid:

{{Plugin
|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
|ForApplication1=Protege-OWL 5.2.0
|ForApplication2=Protege-OWL 5.1.0
|ForApplication3=Protege-OWL 5.0.0
|Screenshot=Debugger.jpg
|HomepageURL=http://isbi.aau.at/ontodebug/
|DeveloperID1=Konstantin Schekotihin
|DeveloperID2=Patrick Rodler
|DeveloperID3=Wolfgang Schmid
|DeveloperID4=Philipp Fleiß
|DeveloperID5=Dietmar Jannach
|DeveloperID6=Thomas Schmitz
|LastUpdated=January 18, 2019
|Topic1=Validation
|Topic2=Software Engineering
|Topic3=Biomedical Informatics
|License=Apache License 2.0
|Affiliation1=Alpen-Adria-Universität Klagenfurt
}}

|free text=}}
<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]

=== Documentation ===

Check the online documentation of OntoDebug at [https://git-ainf.aau.at/interactive-KB-debugging/debugger/wikis/onto-debugger]

OntoDebug

2019-01-07T10:50:45Z

WolfgangSchmid:

{{Plugin
|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
|ForApplication1=Protege-OWL 5.2.0
|ForApplication2=Protege-OWL 5.1.0
|ForApplication3=Protege-OWL 5.0.0
|Screenshot=Debugger.jpg
|HomepageURL=http://isbi.aau.at/ontodebug/
|DeveloperID1=Konstantin Schekotihin
|DeveloperID2=Patrick Rodler
|DeveloperID3=Wolfgang Schmid
|DeveloperID4=Philipp Fleiß
|DeveloperID5=Dietmar Jannach
|DeveloperID6=Thomas Schmitz
|LastUpdated=October 22, 2018
|Topic1=Validation
|Topic2=Software Engineering
|Topic3=Biomedical Informatics
|License=Apache License 2.0
|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]

=== Documentation ===

Check the online documentation of OntoDebug at [https://git-ainf.aau.at/interactive-KB-debugging/debugger/wikis/onto-debugger]

OntoDebug

2019-01-07T10:49:47Z

WolfgangSchmid:

{{Plugin
|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
|ForApplication1=Protege-OWL 5.2.0
|ForApplication2=Protege-OWL 5.1.0
|ForApplication3=Protege-OWL 5.0.0
|Screenshot=Debugger.jpg
|HomepageURL=http://isbi.aau.at/ontodebug/
|DeveloperID1=Konstantin Schekotihin
|DeveloperID2=Patrick Rodler
|DeveloperID3=Wolfgang Schmid
|DeveloperID4=Philipp Fleiß
|DeveloperID5=Dietmar Jannach
|DeveloperID6=Thomas Schmitz
|LastUpdated=October 22, 2018
|Topic1=Validation
|Topic2=Software Engineering
|Topic3=Biomedical Informatics
|License=Apache License 2.0
|Affiliation1=Alpen-Adria-Universität Klagenfurt
}}

|free text=}}
|free text=}}
|free text=}}
|free text=}}
<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]

=== Documentation ===

Check the online documentation of OntoDebug at [https://git-ainf.aau.at/interactive-KB-debugging/debugger/wikis/onto-debugger]

File:Debugger.jpg

2019-01-07T10:49:06Z

WolfgangSchmid:

OntoDebug

2019-01-07T10:45:47Z

WolfgangSchmid:

{{Plugin
|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
|ForApplication1=Protege-OWL 5.2.0
|ForApplication2=Protege-OWL 5.1.0
|ForApplication3=Protege-OWL 5.0.0
|Screenshot=OntoDebug.png
|HomepageURL=http://isbi.aau.at/ontodebug/
|DeveloperID1=Konstantin Schekotihin
|DeveloperID2=Patrick Rodler
|DeveloperID3=Wolfgang Schmid
|DeveloperID4=Philipp Fleiß
|DeveloperID5=Dietmar Jannach
|DeveloperID6=Thomas Schmitz
|LastUpdated=October 22, 2018
|Topic1=Validation
|Topic2=Software Engineering
|Topic3=Biomedical Informatics
|License=Apache License 2.0
|Affiliation1=Alpen-Adria-Universität Klagenfurt
}}

|free text=}}
|free text=}}
|free text=}}
<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]

=== Documentation ===

Check the online documentation of OntoDebug at [https://git-ainf.aau.at/interactive-KB-debugging/debugger/wikis/onto-debugger]

OntoDebug

2019-01-07T10:45:17Z

WolfgangSchmid:

{{Plugin
|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
|ForApplication1=Protege-OWL 5.2.0
|ForApplication2=Protege-OWL 5.1.0
|ForApplication3=Protege-OWL 5.0.0
|Screenshot=ontodebug.png
|HomepageURL=http://isbi.aau.at/ontodebug/
|DeveloperID1=Konstantin Schekotihin
|DeveloperID2=Patrick Rodler
|DeveloperID3=Wolfgang Schmid
|DeveloperID4=Philipp Fleiß
|DeveloperID5=Dietmar Jannach
|DeveloperID6=Thomas Schmitz
|LastUpdated=October 22, 2018
|Topic1=Validation
|Topic2=Software Engineering
|Topic3=Biomedical Informatics
|License=Apache License 2.0
|Affiliation1=Alpen-Adria-Universität Klagenfurt
}}

|free text=}}
|free text=}}
<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]

=== Documentation ===

Check the online documentation of OntoDebug at [https://git-ainf.aau.at/interactive-KB-debugging/debugger/wikis/onto-debugger]

File:OntoDebug.png

2019-01-07T10:44:28Z

WolfgangSchmid: Screenshot of OntoDebug

Screenshot of OntoDebug

OntoDebug

2019-01-07T10:37:31Z

WolfgangSchmid:

{{Plugin
|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
|ForApplication1=Protege-OWL 5.2.0
|ForApplication2=Protege-OWL 5.1.0
|ForApplication3=Protege-OWL 5.0.0
|Screenshot=OntoDebug.PNG
|HomepageURL=http://isbi.aau.at/ontodebug/
|DeveloperID1=Konstantin Schekotihin
|DeveloperID2=Patrick Rodler
|DeveloperID3=Wolfgang Schmid
|DeveloperID4=Philipp Fleiß
|DeveloperID5=Dietmar Jannach
|DeveloperID6=Thomas Schmitz
|LastUpdated=October 22, 2018
|Topic1=Validation
|Topic2=Software Engineering
|Topic3=Biomedical Informatics
|License=Apache License 2.0
|Affiliation1=Alpen-Adria-Universität Klagenfurt
}}

|free text=}}
<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]

=== Documentation ===

Check the online documentation of OntoDebug at [https://git-ainf.aau.at/interactive-KB-debugging/debugger/wikis/onto-debugger]

OntoDebug

2018-12-07T12:42:42Z

WolfgangSchmid:

{{Plugin
|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
|ForApplication1=Protege-OWL 5.2.0
|ForApplication2=Protege-OWL 5.1.0
|ForApplication3=Protege-OWL 5.0.0
|HomepageURL=http://isbi.aau.at/ontodebug/
|DeveloperID1=Konstantin Schekotihin
|DeveloperID2=Patrick Rodler
|DeveloperID3=Wolfgang Schmid
|DeveloperID4=Philipp Fleiß
|DeveloperID5=Dietmar Jannach
|DeveloperID6=Thomas Schmitz
|LastUpdated=October 22, 2018
|Topic1=Validation
|Topic2=Software Engineering
|Topic3=Biomedical Informatics
|License=Apache License 2.0
|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]

=== Documentation ===

Check the online documentation of OntoDebug at [https://git-ainf.aau.at/interactive-KB-debugging/debugger/wikis/onto-debugger]

OntoDebug

2018-12-06T11:24:14Z

WolfgangSchmid:

{{Plugin
|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
|ForApplication1=Protege-OWL 5.2.0
|ForApplication2=Protege-OWL 5.1.0
|ForApplication3=Protege-OWL 5.0.0
|HomepageURL=http://isbi.aau.at/ontodebug/
|DeveloperID1=Konstantin Schekotihin
|DeveloperID2=Patrick Rodler
|DeveloperID3=Wolfgang Schmid
|DeveloperID4=Philipp Fleiß
|DeveloperID5=Dietmar Jannach
|DeveloperID6=Thomas Schmitz
|LastUpdated=October 22, 2018
|Topic1=Validation
|Topic2=Software Engineering
|Topic3=Biomedical Informatics
|License=Apache License 2.0
|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]

File:Ontodebug.PNG

2018-12-06T10:59:04Z

WolfgangSchmid: OntoDebug's main task is to support the user in the process of finding the faulty axioms in inconsistent and/or incoherent ontologies and/or ontologies from which unwanted inferences are generated.

OntoDebug's main task is to support the user in the process of finding the faulty axioms in inconsistent and/or incoherent ontologies and/or ontologies from which unwanted inferences are generated.

OntoDebug 0.1.9.RC

2018-12-06T10:33:34Z

WolfgangSchmid: Created page with "{{VersionOfPlugin |VersionOf=OntoDebug |Number=0.1.9.RC |LastUpdate=October 22, 2018 |File=http://isbi.aau.at/ontodebug/org.exquisite.protege-0.1.9.RC.jar |CompatibleWith1=Pro..."

{{VersionOfPlugin
|VersionOf=OntoDebug
|Number=0.1.9.RC
|LastUpdate=October 22, 2018
|File=http://isbi.aau.at/ontodebug/org.exquisite.protege-0.1.9.RC.jar
|CompatibleWith1=Protege-OWL 5.2.0
|CompatibleWith2=Protege-OWL 5.1.0
|CompatibleWith3=Protege-OWL 5.0.0
|Changelog=Feature improvements and bug fixes
}}

|free text=}}

OntoDebug

2018-12-06T10:08:44Z

WolfgangSchmid: 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..."

Alpen-Adria-Universität Klagenfurt

2018-12-06T09:58:53Z

WolfgangSchmid: Created page with "{{Organization |Email=uni@aau.at |Phone=+43 463 2700 |HomepageURL=https://www.aau.at |Description=Alpen-Adria-Universität Klagenfurt (AAU) is a university located in the Aust..."

{{Organization
|Email=uni@aau.at
|Phone=+43 463 2700
|HomepageURL=https://www.aau.at
|Description=Alpen-Adria-Universität Klagenfurt (AAU) is a university located in the Austrian state of Carinthia, a meeting point of three cultures. AAU is Carinthia’s largest academic institution and a hub for the whole of the Alps-Adriatic region in terms of knowledge acquisition, exchange and transfer.
}}

|free text=}}