Repairing ABoxes through Active Integrity Constraints

In the literature of database repairing, active integrity constraints have provided a means of restoring integrity through a set of preferred update actions. While this is a known issue in the database community, it has not yet been directly applied to description logics. In this paper, we extend description logic TBoxes by a similar set of preferred actions and tackle the problem of ABox repairing by taking into account the new "active" TBox. For this, a mainly syntactic approach is explored and a further, dynamic logic oriented, semantic approach is suggested and briefly previewed.

[1]  Andreas Herzig,et al.  Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL , 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.

[2]  Miroslaw Truszczynski,et al.  Declarative Semantics for Active Integrity Constraints , 2008, ICLP.

[3]  Luís Cruz-Filipe.  Optimizing Computation of Repairs from Active Integrity Constraints , 2014, FoIKS.

[4]  Miroslaw Truszczynski,et al.  Active integrity constraints and revision programming , 2010, Theory and Practice of Logic Programming.

[5]  Irina Trubitsyna,et al.  View Updating Through Active Integrity Constraints , 2007, ICLP.

[6]  Marianne Winslett,et al.  Reasoning about Action Using a Possible Models Approach , 1988, AAAI.

[7]  Andreas Herzig,et al.  A Dynamic View of Active Integrity Constraints , 2014, JELIA.

[8]  Boris Motik,et al.  Bridging the gap between OWL and relational databases , 2007, WWW '07.

[9]  Emiliano Lorini,et al.  A Dynamic Logic of Normative Systems , 2011, IJCAI.

[10]  Carsten Lutz,et al.  Foundations of instance level updates in expressive description logics , 2011, Artif. Intell..

[11]  Jeff Z. Pan,et al.  Special Issue on Ontology Dynamics , 2009, J. Log. Comput..

[12]  Sergio Greco,et al.  Active Integrity Constraints for Database Consistency Maintenance , 2009, IEEE Transactions on Knowledge and Data Engineering.

[13]  Andreas Herzig,et al.  Propositional Belief Base Update and Minimal Change , 1999, Artif. Intell..

[14]  François Goasdoué,et al.  Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics , 2014, Description Logics.

[15]  Andreas Herzig,et al.  DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE , 2014, ArXiv.

[16]  Marianne Winslett,et al.  Updating logical databases , 1990, Cambridge tracts in theoretical computer science.

[17]  Maurizio Lenzerini,et al.  Inconsistency-Tolerant Semantics for Description Logics , 2010, RR.

[18]  Jiao Tao,et al.  Integrity Constraints in OWL , 2010, AAAI.

[19]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[20]  Grigoris Antoniou,et al.  Updating DLs Using the AGM Theory: A Preliminary Study , 2005, Description Logics.

[21]  Sergio Greco,et al.  Active integrity constraints , 2004, PPDP '04.