Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases

DOI10.1007/s10472-015-9494-2zbMath1404.68148OpenAlexW2297292910MaRDI QIDQ513332

Eric Würbel, Salem Benferhat, Odile Papini, Zied Bouraoui

Publication date: 6 March 2017

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-015-9494-2

zbMATH Keywords

belief revisionlightweight ontologiesprioritized knowledge bases

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Related Items (1)

Merging operators on stratified belief bases equipped with argumentative inference

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Capturing model-based ontology evolution at the instance level: the case of DL-Lite
• Specified meet contraction
• A theory of diagnosis from first principles
• A correction to the algorithm in Reiter's theory of diagnosis
• Propositional knowledge base revision and minimal change
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• A survey of multiple contractions
• A practical approach to revising prioritized knowledge bases
• Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family
• A Prioritized Assertional-Based Revision for DL-Lite Knowledge Bases
• Semi-revision
• On Instance-level Update and Erasure in Description Logic Ontologies
• Knowledge Base Revision in Description Logics
• A Framework for Iterated Belief Revision Using Possibilistic Counterparts to Jeffrey's Rule
• The Description Logic Handbook
• The DL-Lite Family and Relations
• On the logic of theory change: Partial meet contraction and revision functions
• Detection of potential inconsistencies in knowledge bases
• Kernel contraction
• Logics in Artificial Intelligence
• Linking Data to Ontologies

This page was built for publication: Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases