, The Description Logic Handbook: Theory, Implementation, and Applications, 2003.
DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE, 2014. ,
Dynamic logic of propositional assignments: a wellbehaved variant of PDL, Logic in Computer Science (LICS), 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01240721
Querying inconsistent description logic knowledge bases under preferred repair semantics, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, pp.996-1002, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01007557
Active integrity constraints for database consistency maintenance, IEEE Trans. Knowl. Data Eng, vol.21, issue.7, pp.1042-1058, 2009. ,
View updating through active integrity constraints, ICLP. Lecture Notes in Computer Science, vol.4670, pp.430-431, 2007. ,
DOI : 10.1007/978-3-540-74610-2_31
Declarative semantics for active integrity constraints, ICLP. Lecture Notes in Computer Science, vol.5366, pp.269-283, 2008. ,
Active integrity constraints and revision programming, TPLP, vol.11, issue.6, pp.905-952, 2011. ,
Optimizing computation of repairs from active integrity constraints, FoIKS. Lecture Notes in Computer Science, vol.8367, pp.361-380, 2014. ,
A dynamic view of active integrity constraints, European Conference on Logics in Artificial Intelligence (JELIA), Madeira, pp.486-499 ,
URL : https://hal.archives-ouvertes.fr/hal-01159678
Active integrity constraints, pp.98-107, 2004. ,
DOI : 10.1145/1013963.1013977
Special issue on ontology dynamics, J. Log. Comput, vol.19, issue.5, pp.717-719, 2009. ,
Updating dls using the AGM theory: A preliminary study, Proceedings of the 2005 International Workshop on Description Logics (DL2005), vol.147, 2005. ,
A dynamic logic of normative systems, International Joint Conference on Artificial Intelligence (IJCAI), pp.228-233, 2011. ,
Propositional belief base update and minimal change, Artificial Intelligence Journal, vol.115, issue.1, pp.107-138, 1999. ,
DOI : 10.1016/s0004-3702(99)00072-7
URL : https://doi.org/10.1016/s0004-3702(99)00072-7
Inconsistency-tolerant semantics for description logics, Web Reasoning and Rule Systems -Fourth International Conference, RR 2010, vol.6333, pp.103-117, 2010. ,
Foundations of instance level updates in expressive description logics, Artificial Intelligence, vol.175, issue.18, pp.2170-2197, 2011. ,
Bridging the gap between OWL and relational databases, J. Web Sem, vol.7, issue.2, pp.74-89, 2009. ,
Integrity constraints in OWL, Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, 2010. ,
Reasoning about action using a possible models approach, Proc. 7th Conf. on Artificial Intelligence (AAAI'88), pp.89-93, 1988. ,
Updating Logical Databases. Cambridge Tracts in Theoretical Computer Science, 1990. ,