Base Revision for Ontology Debugging

DOI10.1093/logcom/exn048zbMath1194.68230OpenAlexW2150683986MaRDI QIDQ3184231

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)

Related Items (9)

DL-Lite Ontology Revision Based on An Alternative Semantic Characterization ⋮ Memory-limited model-based diagnosis ⋮ Revision in networks of ontologies ⋮ Minimal change: relevance and recovery revisited ⋮ Belief base change as priority change: a study based on dynamic epistemic logic ⋮ Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics ⋮ AGM 25 years. Twenty-five years of research in belief change ⋮ On AGM for non-classical logics ⋮ Ontology Merging as Social Choice

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