On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging

DOI10.1007/978-3-319-99906-7_11MaRDI QIDQ6104765zbMATH OpenOpenAlexFDO

Authors

Publication date 28 June 2023

Published in Rules and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-99906-7_11

zbMATH Keywords

active learningheuristicsontology debuggingquery selectiontest-driven debugginguser interaction

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge representation (68T30)

Recommendations

• OntoDebug: interactive ontology debugging plug-in for Protégé
• Debugging incoherent terminologies
• Base Revision for Ontology Debugging
• Cost-sensitive diagnosis of declarative programs
• A Fine-Grained Approach to Resolving Unsatisfiable Ontologies

Cites work

• A theory of diagnosis from first principles
• Active learning
• Consistency-based diagnosis of configuration knowledge bases
• Constructing optimal binary decision trees is NP-complete
• Debugging incoherent terminologies
• Diagnosing multiple faults
• OntoDebug: interactive ontology debugging plug-in for Protégé
• Sequential diagnosis of high cardinality faults in knowledge-bases by direct diagnosis generation
• The Description Logic Handbook

Cited in

(4)

• OntoDebug: interactive ontology debugging plug-in for Protégé
• Debugging incoherent terminologies
• Automatic white-box testing of first-order logic ontologies
• Sequential model-based diagnosis by systematic search

This page was built for publication: On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging

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