Book icon

Book

On the Interaction of Existential Rules and Equality Constraints in Ontology Querying

Abstract:

Ontological query processing is an exciting research topic in database theory, knowledge representation, and logic programming. In many cases, ontological constraints are expressed over an extensional database by extending traditional Datalog rules to allow existential quantification and equality atoms in the head. The unrestricted use of these features causes undecidability of query answering and, therefore, their interaction must be controlled. This work provides a tutorial-like introductio...

Expand abstract

Actions


Access Document


Publisher copy:
10.1007/978-3-642-30743-0_9

Authors


Andrea Calì More by this author
Georg Gottlob More by this author
Giorgio Orsi More by this author
Andreas Pieris More by this author

Contributors

Role:
Editor
Role:
Editor
Role:
Editor
Role:
Editor
Publication date:
2012
DOI:
URN:
uuid:7eb8d909-18eb-434e-9707-6c1bc879ce51
Local pid:
cs:6440

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP