Datalog+/-: A Family of Languages for Ontology Querying.
In ontology-based data access, an extensional database is enhanced by an ontology that generates new intensional knowledge which has to be considered when answering queries. In this setting, tractable data complexity (i.e., complexity w.r.t. the data only) of query answering is crucial, given the ne...
| Main Authors: | , , , |
|---|---|
| Other Authors: | |
| Format: | Journal article |
| Language: | English |
| Published: |
Springer
2010
|
| _version_ | 1826303188378058752 |
|---|---|
| author | Calì, A Gottlob, G Lukasiewicz, T Pieris, A |
| author2 | Moor, O |
| author_facet | Moor, O Calì, A Gottlob, G Lukasiewicz, T Pieris, A |
| author_sort | Calì, A |
| collection | OXFORD |
| description | In ontology-based data access, an extensional database is enhanced by an ontology that generates new intensional knowledge which has to be considered when answering queries. In this setting, tractable data complexity (i.e., complexity w.r.t. the data only) of query answering is crucial, given the need to deal with large data sets. This paper summarizes results on a recently introduced family of Datalog-based languages, called Datalog+/-, which is a new framework for tractable ontology querying. Plain Datalog is extended by allowing existential quantifiers, the equality predicate, and the truth constant false to appear in rule heads. At the same time, the resulting language is syntactically restricted, so as to achieve decidability and even tractability. © 2011 Springer-Verlag. |
| first_indexed | 2024-03-07T05:58:52Z |
| format | Journal article |
| id | oxford-uuid:eb7b14c7-12fa-4d25-88c7-8b1d5f52dd56 |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-07T05:58:52Z |
| publishDate | 2010 |
| publisher | Springer |
| record_format | dspace |
| spelling | oxford-uuid:eb7b14c7-12fa-4d25-88c7-8b1d5f52dd562022-03-27T11:09:58ZDatalog+/-: A Family of Languages for Ontology Querying.Journal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:eb7b14c7-12fa-4d25-88c7-8b1d5f52dd56EnglishSymplectic Elements at OxfordSpringer2010Calì, AGottlob, GLukasiewicz, TPieris, AMoor, OGottlob, GFurche, TSellers, AIn ontology-based data access, an extensional database is enhanced by an ontology that generates new intensional knowledge which has to be considered when answering queries. In this setting, tractable data complexity (i.e., complexity w.r.t. the data only) of query answering is crucial, given the need to deal with large data sets. This paper summarizes results on a recently introduced family of Datalog-based languages, called Datalog+/-, which is a new framework for tractable ontology querying. Plain Datalog is extended by allowing existential quantifiers, the equality predicate, and the truth constant false to appear in rule heads. At the same time, the resulting language is syntactically restricted, so as to achieve decidability and even tractability. © 2011 Springer-Verlag. |
| spellingShingle | Calì, A Gottlob, G Lukasiewicz, T Pieris, A Datalog+/-: A Family of Languages for Ontology Querying. |
| title | Datalog+/-: A Family of Languages for Ontology Querying. |
| title_full | Datalog+/-: A Family of Languages for Ontology Querying. |
| title_fullStr | Datalog+/-: A Family of Languages for Ontology Querying. |
| title_full_unstemmed | Datalog+/-: A Family of Languages for Ontology Querying. |
| title_short | Datalog+/-: A Family of Languages for Ontology Querying. |
| title_sort | datalog a family of languages for ontology querying |
| work_keys_str_mv | AT calia datalogafamilyoflanguagesforontologyquerying AT gottlobg datalogafamilyoflanguagesforontologyquerying AT lukasiewiczt datalogafamilyoflanguagesforontologyquerying AT pierisa datalogafamilyoflanguagesforontologyquerying |