Base Revision for Ontology Debugging

DOI10.1093/LOGCOM/EXN048MaRDI QIDQ3184231zbMATH OpenOpenAlexFDO

Authors Renata Wassermann, Márcio Moretto Ribeiro

Publication date 14 October 2009

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exn048

zbMATH Keywords

belief revisiondescription logicsontology evolution

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Revision of ontologies to accommodate exceptions: a typicality-based approach
• Belief revision in non-classical logics.
• Knowledge Base Revision in Description Logics
• Revision in networks of ontologies
• Consistency-based revision of structured belief bases

Cited in

(16)

• OntoDebug: interactive ontology debugging plug-in for Protégé
• Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
• Belief base change as priority change: a study based on dynamic epistemic logic
• Memory-limited model-based diagnosis
• Debugging incoherent terminologies
• Ontology Merging as Social Choice
• Handling revision inconsistencies: towards better explanations
• Ontology-revision operators based on reinterpretation
• A Distance-Based Operator to Revising Ontologies in DL $\mathcal{SHOQ}$
• Revision of ontologies to accommodate exceptions: a typicality-based approach
• Minimal change: relevance and recovery revisited
• DL-Lite ontology revision based on an alternative semantic characterization
• AGM 25 years. Twenty-five years of research in belief change
• On AGM for non-classical logics
• On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging
• Revision in networks of ontologies

This page was built for publication: Base Revision for Ontology Debugging

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