OntoDebug: interactive ontology debugging plug-in for Protégé

DOI10.1007/978-3-319-90050-6_19MaRDI QIDQ1647502zbMATH OpenOpenAlexFDO

Authors Y. Aharonov

Publication date 26 June 2018

Full work available at URL https://doi.org/10.1007/978-3-319-90050-6_19

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to computer science (68-04) Knowledge representation (68T30)

Recommendations

• On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging
• A Fine-Grained Approach to Resolving Unsatisfiable Ontologies
• scientific article; zbMATH DE number 1947744
• BEACON: an efficient SAT-based tool for debugging \(\mathcal {EL}^+\) ontologies
• Base Revision for Ontology Debugging

Cited in

(8)

• Memory-limited model-based diagnosis
• Reasoning with concept diagrams about antipatterns in ontologies
• Debugging incoherent terminologies
• OntoDebug
• scientific article; zbMATH DE number 1947744 (Why is no real title available?)
• Automatic white-box testing of first-order logic ontologies
• Sequential model-based diagnosis by systematic search
• On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging

Describes a project that uses

Uses Software

• Protege
• ORE
• MERGEXPLAIN
• Swoop
• Pellet

This page was built for publication: OntoDebug: interactive ontology debugging plug-in for Protégé

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1647502)