On the Interaction of Existential Rules and Equality Constraints in Ontology Querying
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 at...
| Main Authors: | , , , |
|---|---|
| Other Authors: | |
| Format: | Book |
| Published: |
2012
|
| _version_ | 1797078107779235840 |
|---|---|
| author | Calì, A Gottlob, G Orsi, G Pieris, A |
| author2 | Erdem, E |
| author_facet | Erdem, E Calì, A Gottlob, G Orsi, G Pieris, A |
| author_sort | Calì, A |
| collection | OXFORD |
| description | 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 introduction to the problem of query answering under existential and equality constraints. We survey the most notable (semantic and syntactic) restrictions to such constraints ensuring decidability of query answering, and we discuss their practical application to conceptual modelling. |
| first_indexed | 2024-03-07T00:27:45Z |
| format | Book |
| id | oxford-uuid:7eb8d909-18eb-434e-9707-6c1bc879ce51 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T00:27:45Z |
| publishDate | 2012 |
| record_format | dspace |
| spelling | oxford-uuid:7eb8d909-18eb-434e-9707-6c1bc879ce512022-03-26T21:11:52ZOn the Interaction of Existential Rules and Equality Constraints in Ontology QueryingBookhttp://purl.org/coar/resource_type/c_2f33uuid:7eb8d909-18eb-434e-9707-6c1bc879ce51Department of Computer Science2012Calì, AGottlob, GOrsi, GPieris, AErdem, ELee, JLierler, YPearce, DOntological 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 introduction to the problem of query answering under existential and equality constraints. We survey the most notable (semantic and syntactic) restrictions to such constraints ensuring decidability of query answering, and we discuss their practical application to conceptual modelling. |
| spellingShingle | Calì, A Gottlob, G Orsi, G Pieris, A On the Interaction of Existential Rules and Equality Constraints in Ontology Querying |
| title | On the Interaction of Existential Rules and Equality Constraints in Ontology Querying |
| title_full | On the Interaction of Existential Rules and Equality Constraints in Ontology Querying |
| title_fullStr | On the Interaction of Existential Rules and Equality Constraints in Ontology Querying |
| title_full_unstemmed | On the Interaction of Existential Rules and Equality Constraints in Ontology Querying |
| title_short | On the Interaction of Existential Rules and Equality Constraints in Ontology Querying |
| title_sort | on the interaction of existential rules and equality constraints in ontology querying |
| work_keys_str_mv | AT calia ontheinteractionofexistentialrulesandequalityconstraintsinontologyquerying AT gottlobg ontheinteractionofexistentialrulesandequalityconstraintsinontologyquerying AT orsig ontheinteractionofexistentialrulesandequalityconstraintsinontologyquerying AT pierisa ontheinteractionofexistentialrulesandequalityconstraintsinontologyquerying |