Assertional removed sets merging of DL-Lite knowledge bases

DOI10.1007/978-3-030-35514-2_16zbMATH Open1440.68259OpenAlexW2992297086MaRDI QIDQ3297810FDOQ3297810

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

Publication date: 20 July 2020

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://hal-amu.archives-ouvertes.fr/hal-02392974/file/main.pdf

Recommendations

• A prioritized assertional-based revision for DL-Lite knowledge bases
• Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family
• DL-Lite contraction and revision
• Min-based possibilisticDL-Lite

Mathematics Subject Classification ID

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

Cites Work

• Tractable reasoning and efficient query answering in description logics: The DL-Lite family
• The DL-Lite Family and Relations
• On the logic of theory change: Partial meet contraction and revision functions
• Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. I: The flat case
• Answer sets for consistent query answering in inconsistent databases
• Explanations, belief revision and defeasible reasoning.
• \(\text{DA}^2\) merging operators
• Title not available (Why is that?)
• Merging Information Under Constraints: A Logical Framework
• Prioritized and non-prioritized multiple change on belief bases
• Title not available (Why is that?)
• On the Semantics of Arbitration
• A correction to the algorithm in Reiter's theory of diagnosis
• A prioritized assertional-based revision for DL-Lite knowledge bases
• Syntactic Propositional Belief Bases Fusion with Removed Sets
• Fusion: General concepts and characteristics
• Inconsistency-tolerant query answering: rationality properties and computational complexity analysis
• Title not available (Why is that?)

Cited In (2)

• A prioritized assertional-based revision for DL-Lite knowledge bases
• Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases

This page was built for publication: Assertional removed sets merging of DL-Lite knowledge bases

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