Abstract, The Journal of Symbolic Logic, vol.48, issue.02, pp.510-530, 1985. ,
DOI : 10.1080/00048408412341331
The dl-lite family and relations, J. Artif. Intell. Res. (JAIR), vol.36, pp.1-69, 2009. ,
The description logic handbook : Theory, implementation, and applications, 2003. ,
DOI : 10.1017/CBO9780511711787
Inconsistency management and prioritized syntax-based entailment, IJCAI, pp.640-647, 1993. ,
Inconsistency-tolerant conjunctive query answering for simple ontologies, CEUR Workshop Proceedings, 2012. ,
New inconsistencytolerant semantics for robust ontology-based data access, DL, volume 1014 of CEUR Workshop Proceedings, pp.53-64 ,
Dl-lite : Tractable description logics for ontologies, AAAI, AAAI'05, pp.602-607, 2005. ,
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family, Journal of Automated Reasoning, vol.104, issue.1,2, pp.385-429, 2007. ,
DOI : 10.1007/s10817-007-9078-x
Evolution of DL?????????Lite Knowledge Bases ,
DOI : 10.1145/4879.4995
URL : https://hal.archives-ouvertes.fr/hal-00537785
Inconsistencies, negations and changes in ontologies, AAAI, pp.1295-1300, 2006. ,
Generalizing the agm postulates : preliminary results and applications, NMR, pp.171-179, 2004. ,
On Applying the AGM Theory to DLs and OWL, Lecture Notes in Computer Science, vol.3729, pp.216-231, 2005. ,
DOI : 10.1007/11574620_18
On generalizing the agm postulates, STAIRS, pp.132-143, 2006. ,
An essay on contraction, 1997. ,
A new operator for abox revision in dl-lite, AAAI'2012, 2012. ,
On the approximation of instance level update and erasure in description logics, AAAI, pp.403-408, 2007. ,
Belief base revision for expressive description logics, In W. on OWL Exp. and Dir, 2006. ,
Abstract, The Journal of Symbolic Logic, vol.22, issue.03, pp.845-859, 1994. ,
DOI : 10.2307/2275912
Semi-revision, Journal of Applied Non-Classical Logics, vol.1995, issue.1-2, pp.151-175, 1997. ,
DOI : 10.1080/11663081.1997.10510904
Revision of belief sets and belief bases. Handbook of Defeasible Reasoning and Uncertainty Management systems, pp.17-75, 1998. ,
Removed sets fusion : Performing off the shelf, ECAI, pp.94-98, 2008. ,
Propositional knowledge base revision and minimal change, Artificial Intelligence, vol.52, issue.3, pp.263-294, 1991. ,
DOI : 10.1016/0004-3702(91)90069-V
Understanding inexpressibility of model-based abox evolution in dllite Capturing model-based ontology evolution at the instance level : The case of dl-lite, J. Comput. Syst. Sci, vol.749, issue.6, pp.79835-872, 2011. ,
Inconsistency-Tolerant Semantics for Description Logics, RR, pp.103-117, 2010. ,
DOI : 10.1007/978-3-642-15918-3_9
A complete revision function in propositional calculus, ECAI, pp.339-343, 1992. ,
Model-based revision operators for terminologies in description logics, IJCAI, pp.891-897, 2009. ,
Knowledge Base Revision in Description Logics, LNCS, vol.4160, pp.386-398, 2006. ,
DOI : 10.1007/11853886_32
A Survey of Revision Approaches in Description Logics, CEUR Workshop Proceedings, 2008. ,
DOI : 10.1007/978-3-540-88737-9_7
A theory of diagnosis from first principles, Artificial Intelligence, vol.32, issue.1, pp.57-95, 1987. ,
DOI : 10.1016/0004-3702(87)90062-2
Base revision in description logics ? preliminary results, IWOD, 2007. ,
A new approach to knowledge base revision in dl-lite, 2010. ,
A correction to the algorithm in reiter's theory of diagnosis, Artif. Intell, vol.41, pp.79-88, 1989. ,
Revision : an application in the framework of GIS, pp.505-515, 2000. ,