A General Datalog−Based Framework for Tractable Query Answering over Ontologies
<p>In this paper, we introduce a family of expressive extensions of Datalog, called Datalog+/-, as a new paradigm for query answering over ontologies. The Datalog+/- family admits existentially quantified variables in rule heads, and has suitable restrictions to ensure highly efficient ontolog...
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
ACM Press
2009
|
| _version_ | 1826263528630124544 |
|---|---|
| author | Calì, A Gottlob, G Lukasiewicz, T |
| author_facet | Calì, A Gottlob, G Lukasiewicz, T |
| author_sort | Calì, A |
| collection | OXFORD |
| description | <p>In this paper, we introduce a family of expressive extensions of Datalog, called Datalog+/-, as a new paradigm for query answering over ontologies. The Datalog+/- family admits existentially quantified variables in rule heads, and has suitable restrictions to ensure highly efficient ontology querying. We show in particular that Datalog+/- generalizes the DL-Lite family of tractable description logics, which are the most common tractable ontology languages in the context of the Semantic Web and databases. We also show how stratified negation can be added to Datalog+/- while keeping ontology querying tractable. Furthermore, the Datalog+/- family is of interest in its own right and can, moreover, be used in various contexts such as data integration and data exchange.</p> |
| first_indexed | 2024-03-06T19:53:12Z |
| format | Conference item |
| id | oxford-uuid:24aae3a9-deea-49fa-93eb-cee0c0f497c2 |
| institution | University of Oxford |
| last_indexed | 2024-03-06T19:53:12Z |
| publishDate | 2009 |
| publisher | ACM Press |
| record_format | dspace |
| spelling | oxford-uuid:24aae3a9-deea-49fa-93eb-cee0c0f497c22022-03-26T11:51:14ZA General Datalog−Based Framework for Tractable Query Answering over OntologiesConference itemhttp://purl.org/coar/resource_type/c_5794uuid:24aae3a9-deea-49fa-93eb-cee0c0f497c2Department of Computer ScienceACM Press2009Calì, AGottlob, GLukasiewicz, T<p>In this paper, we introduce a family of expressive extensions of Datalog, called Datalog+/-, as a new paradigm for query answering over ontologies. The Datalog+/- family admits existentially quantified variables in rule heads, and has suitable restrictions to ensure highly efficient ontology querying. We show in particular that Datalog+/- generalizes the DL-Lite family of tractable description logics, which are the most common tractable ontology languages in the context of the Semantic Web and databases. We also show how stratified negation can be added to Datalog+/- while keeping ontology querying tractable. Furthermore, the Datalog+/- family is of interest in its own right and can, moreover, be used in various contexts such as data integration and data exchange.</p> |
| spellingShingle | Calì, A Gottlob, G Lukasiewicz, T A General Datalog−Based Framework for Tractable Query Answering over Ontologies |
| title | A General Datalog−Based Framework for Tractable Query Answering over Ontologies |
| title_full | A General Datalog−Based Framework for Tractable Query Answering over Ontologies |
| title_fullStr | A General Datalog−Based Framework for Tractable Query Answering over Ontologies |
| title_full_unstemmed | A General Datalog−Based Framework for Tractable Query Answering over Ontologies |
| title_short | A General Datalog−Based Framework for Tractable Query Answering over Ontologies |
| title_sort | general datalog based framework for tractable query answering over ontologies |
| work_keys_str_mv | AT calia ageneraldatalogbasedframeworkfortractablequeryansweringoverontologies AT gottlobg ageneraldatalogbasedframeworkfortractablequeryansweringoverontologies AT lukasiewiczt ageneraldatalogbasedframeworkfortractablequeryansweringoverontologies AT calia generaldatalogbasedframeworkfortractablequeryansweringoverontologies AT gottlobg generaldatalogbasedframeworkfortractablequeryansweringoverontologies AT lukasiewiczt generaldatalogbasedframeworkfortractablequeryansweringoverontologies |