Access the full text.
Sign up today, get DeepDyve free for 14 days.
Yevgeny Kazakov (2004)
A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment
Ian Pratt-Hartmann (2005)
Complexity of the Two-Variable Fragment with Counting QuantifiersJournal of Logic, Language and Information, 14
Diego Calvanese, M. Lenzerini, D. Nardi (1999)
Unifying Class-Based Representation FormalismsJ. Artif. Intell. Res., 11
(1999)
Temporalizing description logic. In Frontiers of Combining Systems, D
Tim Bray, Jean-Noël Paoli, C. Sperberg-McQueen (1997)
Extensible Markup Language (XML)World Wide Web J., 2
Babak Hariri, Diego Calvanese, M. Montali, Giuseppe Giacomo, Riccardo Masellis, Paolo Felli (2014)
Description Logic Knowledge and Action BasesArXiv, abs/1402.0569
T. Bylander (1994)
The Computational Complexity of Propositional STRIPS PlanningArtif. Intell., 69
D. Berardi, Diego Calvanese, Giuseppe Giacomo (2005)
Reasoning on UML class diagramsArtif. Intell., 168
G. Grahne, Alex Thomo (2003)
Query containment and rewriting using views for regular path queries under constraints
Frank Wolter, Michael Zakharyaschev (1999)
Temporalizing description logicFrontiers of Combining Systems
Diego Calvanese, Giuseppe Giacomo, D. Lembo, M. Lenzerini, R. Rosati (2007)
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite FamilyJournal of Automated Reasoning, 39
A. Artale (2006)
Reasoning on temporal class diagrams: Undecidability resultsAnnals of Mathematics and Artificial Intelligence, 46
Diego Calvanese, Wolfgang Fischl, R. Pichler, Emanuel Sallinger, M. Simkus (2014)
Capturing Relational Schemas and Functional Dependencies in RDFS
Diego Calvanese, Thomas Eiter, Magdalena Ortiz (2009)
Regular Path Queries in Expressive Description Logics with Nominals
Pablo Muñoz, N. Vortmeier, T. Zeume (2015)
Dynamic Graph QueriesArXiv, abs/1512.05511
Diego Calvanese (2016)
Managing Change in Graph-structured Data Using Description LogicsDescription Logics
C. Lutz, U. Sattler, Lidia Tendera (2005)
The complexity of finite model reasoning in description logicsInf. Comput., 199
K. Schild (1991)
A Correspondence Theory for Terminological Logics: Preliminary Report
F. Baader, S. Ghilardi, C. Lutz (2008)
LTL over description logic axiomsACM Trans. Comput. Log., 13
E. Kharlamov, D. Zheleznyakov, Diego Calvanese (2013)
Capturing model-based ontology evolution at the instance level: The case of DL-LiteJ. Comput. Syst. Sci., 79
M. Consens, A. Mendelzon (1990)
GraphLog: a visual formalism for real life recursion
(2016)
College Publications.Obstetrics & Gynecology
Diego Calvanese, Magdalena Ortiz, M. Simkus (2016)
Verification of Evolving Graph-structured Data under Expressive Path Constraints
H. Katsuno, A. Mendelzon (1991)
On the Difference between Updating a Knowledge Base and Revising It
Diego Calvanese, Giuseppe Giacomo, M. Montali (2013)
Foundations of data-aware process analysis: a database theory perspective
T. Sheard, D. Stemple (1989)
Automatic verification of database transaction safetyACM Transactions on Database Systems (TODS), 14
Springer, 396–412
Diego Calvanese, Magdalena Ortiz, M. Simkus (2013)
Evolving Graph Databases under Description Logic Constraints
(2000)
The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics
A. Artale, R. Kontchakov, V. Ryzhikov, M. Zakharyaschev (2011)
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models
D. Spelt, H. Balsters (1997)
Automatic Verification of Transactions on an Object-Oriented Database
H. Levesque, R. Reiter, Y. Lespérance, Fangzhen Lin, R. Scherl (1997)
GOLOG: A Logic Programming Language for Dynamic DomainsJ. Log. Program., 31
F. Baader, Diego Calvanese, D. McGuinness, D. Nardi, P. Patel-Schneider (2003)
The Description Logic Handbook: Theory, Implementation and ApplicationsKybernetes, 32
M. Brandt (2008)
Action, time and space in description logics
Serge Abiteboul, Victor Vianu (1999)
Regular path queries with constraintsJournal of Computer and System Sciences, 58
Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, M. Simkus (2014)
Managing Change in Graph-structured Data Using Description Logics (long version with appendix)ArXiv, abs/1404.4274
M. Mortimer (1975)
On languages with two variablesMath. Log. Q., 21
F. Baader, Benjamin Zarrieß (2013)
Verification of Golog Programs over Description Logic Actions
Diego Calvanese (1996)
Finite Model Reasoning in Description Logics
M. Horner, Brian McBride, D. Brickley, E. Miller (2004)
Resource Description Framework (RDF) standard recommendation, World Wide Web Consortium
M. Lenzerini (2011)
Ontology-based data management
S. Abiteboul, P. Kanellakis (1989)
Object identity as a query language primitive
Hongkai Liu, C. Lutz, M. Brandt, F. Wolter (2011)
Foundations of instance level updates in expressive description logicsArtif. Intell., 175
A. Bonner, M. Kifer (1994)
An Overview of Transaction LogicTheor. Comput. Sci., 133
J. Brenas, R. Echahed, M. Strecker (2014)
A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs
F. Baader, C. Lutz, M. Brandt, U. Sattler, F. Wolter (2005)
Integrating Description Logics and Action Formalisms: First Results
Mira Balaban, Azzam Maraee (2013)
Finite satisfiability of UML class diagrams with constrained class hierarchyACM Trans. Softw. Eng. Methodol., 22
Alin Deutsch, R. Hull, Yuliang Li, V. Vianu (2018)
Automatic Verification of Database-Centric Systems, 5
R. Schmidt, D. Tishkovsky (2012)
Using tableau to decide description logics with full role negation and identityACM Transactions on Computational Logic (TOCL), 15
Giuseppe Giacomo, Riccardo Masellis, R. Rosati (2012)
Verification of Conjunctive Artifact-Centric ServicesInt. J. Cooperative Inf. Syst., 21
F. Baader, M. Lippmann, Hongkai Liu (2010)
Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics
S. Abiteboul, V. Vianu (1997)
Regular path queries with constraints
Y. Gil (2005)
Description Logics and PlanningAI Mag., 26
D. Brickley (2004)
Rdf vocabulary description language 1.0 : Rdf schema
R. Rosati, M. Lenzerini, Giuseppe Giacomo, Diego Calvanese (2011)
Actions and Programs over Description Logic Knowledge Bases: A Functional Approach
S. Sakr, E. Pardede (2011)
Graph Data Management: Techniques and Applications
R. Kowalski, F. Sadri, P. Soper (1987)
Integrity Checking in Deductive Databases
Babak Hariri, Diego Calvanese, Giuseppe Giacomo, Alin Deutsch, M. Montali (2012)
Verification of relational data-centric dynamic systems with external servicesArXiv, abs/1203.0024
Maurizio Lenzerini (2011)
Ontology-based data managementProceedings of the 20th International Conference on Information and Knowledge Management (CIKM’11)
R. Hull, R. King (1987)
Semantic database modeling: survey, applications, and research issuesACM Comput. Surv., 19
Hongkai Liu, C. Lutz, M. Brandt, F. Wolter (2006)
Reasoning About Actions Using Description Logics with General TBoxes
A. Artale, Diego Calvanese, R. Kontchakov, V. Ryzhikov, M. Zakharyaschev (2007)
Reasoning over Extended ER Models
D. Brickley, R. V. Guha (2004)
RDF Vocabulary Description Language 1W3C Recommendation. World Wide Web Consortium. Available at http://www.w3.org/TR/rdf-schema/.
H. Levesque (1984)
Foundations of a Functional Approach to Knowledge RepresentationArtif. Intell., 23
Alex Borgiday (1996)
On the Relative Expressiveness of Description Logics and Predicate Logics
U. Hustadt, R. Schmidt, L. Georgieva (2004)
A Survey of Decidable First-Order Fragments and Description Logics
M. Arenas, R. Hull, W. Martens, T. Milo, T. Schwentick (2016)
Foundations of Data Management (Dagstuhl Perspectives Workshop 16151)Dagstuhl Reports, 6
Moshe Vardi (1995)
On the complexity of bounded-variable queries (extended abstract)
Ronald Fagin, G. Kuper, J. Ullman, Moshe Vardi (1986)
Updating Logical DatabasesAdv. Comput. Res., 3
Available at http://arxiv.org/abs/1404
C. Lutz, U. Sattler, F. Wolter (2001)
Description Logics and the Two-Variable Fragment
B. Cate, Massimo Franceschet (2005)
Guarded Fragments with ConstantsJournal of Logic, Language and Information, 14
Shachar Itzhaky, Tomer Kotek, Noam Rinetzky, Mooly Sagiv, Orr Tamir, Helmut Veith, Florian Zuleger (2016)
On the Automated Verification of Web Applications With Embedded SQLCoRR Technical Report. Available at http://arxiv.org/abs/1610.02101
In this article, we consider the setting of graph-structured data that evolves as a result of operations carried out by users or applications. We study different reasoning problems, which range from deciding whether a given sequence of actions preserves the satisfaction of a given set of integrity constraints, for every possible initial data instance, to deciding the (non)existence of a sequence of actions that would take the data to an (un)desirable state, starting either from a specific data instance or from an incomplete description of it. For describing states of the data instances and expressing integrity constraints on them, we use description logics (DLs) closely related to the two-variable fragment of first-order logic with counting quantifiers. The updates are defined as actions in a simple yet flexible language, as finite sequences of conditional insertions and deletions, which allow one to use complex DL formulas to select the (pairs of) nodes for which (node or arc) labels are added or deleted. We formalize the preceding data management problems as a static verification problem and several planning problems and show that, due to the adequate choice of formalisms for describing actions and states of the data, most of these data management problems can be effectively reduced to the (un)satisfiability of suitable formulas in decidable logical formalisms. Leveraging this, we provide algorithms and tight complexity bounds for the formalized problems, both for expressive DLs and for a variant of the popular DL-Lite, advocated for data management in recent years.
ACM Transactions on Computational Logic (TOCL) – Association for Computing Machinery
Published: Nov 3, 2017
Keywords: Integrity constraints
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.