Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases
type: Item
instance of: scholarly article
title: Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases
zbMATH Open document ID: 1404.68148
author: Salem Benferhat
author: Zied Bouraoui
author: Odile Papini
author: Eric Würbel
published in: Annals of Mathematics and Artificial Intelligence
publication date: 2017-03-06T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 68T35
zbMATH DE Number: 6692032
zbMATH Keywords: belief revision
zbMATH Keywords: prioritized knowledge bases
zbMATH Keywords: lightweight ontologies
MaRDI profile type: Publication
full work available at URL: s10472-015-9494-2
OpenAlex ID: W2297292910
cites work: On the logic of theory change: Partial meet contraction and revision functions
cites work: The DL-Lite Family and Relations
cites work: The Description Logic Handbook
cites work: Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic
cites work: Q4406531
cites work: Logics in Artificial Intelligence
cites work: A Prioritized Assertional-Based Revision for DL-Lite Knowledge Bases
cites work: Propositional knowledge base revision and minimal change
cites work: Specified meet contraction
cites work: Q4236364
cites work: A practical approach to revising prioritized knowledge bases
cites work: A Framework for Iterated Belief Revision Using Possibilistic Counterparts to Jeffrey's Rule
cites work: Tractable reasoning and efficient query answering in description logics: The DL-Lite family
cites work: A survey of multiple contractions
cites work: On the complexity of propositional knowledge base revision, updates, and counterfactuals
cites work: Detection of potential inconsistencies in knowledge bases
cites work: Q4198056
cites work: On Instance-level Update and Erasure in Description Logic Ontologies
cites work: Kernel contraction
cites work: Semi-revision
cites work: Q5283011
cites work: Capturing model-based ontology evolution at the instance level: the case of DL-Lite
cites work: Q4260400
cites work: Linking Data to Ontologies
cites work: Knowledge Base Revision in Description Logics
cites work: A correction to the algorithm in Reiter's theory of diagnosis
cites work: A theory of diagnosis from first principles
DOI: 10.1007/S10472-015-9494-2
Recommended article: A Prioritized Assertional-Based Revision for DL-Lite Knowledge Bases
Recommended article: Assertional Removed Sets Merging of DL-Lite Knowledge Bases
Recommended article: Syntactic Propositional Belief Bases Fusion with Removed Sets
Recommended article: Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
Recommended article: Selecting accepted assertions in partially ordered inconsistent DL-Lite knowledge bases
Recommended article: Dovetailing Belief Base Revision with (Basic) Truth Approximation
description: scientific article; zbMATH DE number 6692032