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


Contributors

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

Terms of use


Metrics


Views and Downloads






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

TO TOP