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

DOI10.1007/S10472-015-9494-2MaRDI QIDQ513332zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• A prioritized assertional-based revision for DL-Lite knowledge bases
• Assertional removed sets merging of DL-Lite knowledge bases
• Syntactic Propositional Belief Bases Fusion with Removed Sets
• Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
• Selecting accepted assertions in partially ordered inconsistent DL-Lite knowledge bases
• Dovetailing Belief Base Revision with (Basic) Truth Approximation

Cites work

• A correction to the algorithm in Reiter's theory of diagnosis
• A framework for iterated belief revision using possibilistic counterparts to Jeffrey's rule
• A practical approach to revising prioritized knowledge bases
• A prioritized assertional-based revision for DL-Lite knowledge bases
• A survey of multiple contractions
• A theory of diagnosis from first principles
• Capturing model-based ontology evolution at the instance level: the case of DL-Lite
• Detection of potential inconsistencies in knowledge bases
• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• scientific article; zbMATH DE number 1269565 (Why is no real title available?)
• scientific article; zbMATH DE number 1333625 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 6747935 (Why is no real title available?)
• Kernel contraction
• Knowledge Base Revision in Description Logics
• Linking Data to Ontologies
• Logics in Artificial Intelligence
• On Instance-level Update and Erasure in Description Logic Ontologies
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• On the logic of theory change: Partial meet contraction and revision functions
• Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic
• Propositional knowledge base revision and minimal change
• Semi-revision
• Specified meet contraction
• The Description Logic Handbook
• The DL-Lite Family and Relations
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family

Cited in

(8)

• A practical approach to revising prioritized knowledge bases
• A prioritized assertional-based revision for DL-Lite knowledge bases
• Prioritized dynamic retraction function on non-monotonic information updates
• Assertional removed sets merging of DL-Lite knowledge bases
• DL-Lite contraction and revision
• Merging operators on stratified belief bases equipped with argumentative inference
• Extending Removed Sets Revision to partially preordered belief bases
• Main issues in belief revision, belief merging and information fusion

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

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