Knowledge Base Revision in Description Logics

DOI10.1007/11853886_32zbMATH Open1152.68614OpenAlexW1786768815MaRDI QIDQ3533147FDOQ3533147

Guilin Qi, D. A. Bell, Weiru Liu

Publication date: 30 October 2008

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11853886_32

Recommendations

• DL-Lite contraction and revision
• Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
• DL-Lite ontology revision based on an alternative semantic characterization
• Tableau-based revision over \(\mathcal {SHIQ}\) TBoxes
• A Distance-Based Operator to Revising Ontologies in DL $\mathcal{SHOQ}$

Mathematics Subject Classification ID

Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Cited In (16)

• SOFSEM 2006: Theory and Practice of Computer Science
• Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
• Title not available (Why is that?)
• A programmable approach to revising knowledge bases
• Fast algorithms for revision of some special propositional knowledge bases
• Base Revision for Ontology Debugging
• Title not available (Why is that?)
• Title not available (Why is that?)
• Main issues in belief revision, belief merging and information fusion
• DL-Lite Ontology Revision Based on An Alternative Semantic Characterization
• Morphologic for knowledge dynamics: revision, fusion and abduction
• The Essence of Functional Programming on Semantic Data
• Foundations of instance level updates in expressive description logics
• A Versioning and Evolution Framework for RDF Knowledge Bases
• A Distance-Based Operator to Revising Ontologies in DL $\mathcal{SHOQ}$
• Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases

This page was built for publication: Knowledge Base Revision in Description Logics

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