A Logical Toolbox for Ontological Reasoning
<p>In ontology-enhanced database systems, an ontology on top of the extensional database expresses intensional knowledge that enhances the database schema. Queries posed to such systems are to be evaluated considering all the knowledge inferred from the data by means of the ontology; in other...
| Main Authors: | , , , |
|---|---|
| Format: | Journal article |
| Published: |
2011
|
| _version_ | 1797065722121158656 |
|---|---|
| author | Calì, A Gottlob, G Lukasiewicz, T Pieris, A |
| author_facet | Calì, A Gottlob, G Lukasiewicz, T Pieris, A |
| author_sort | Calì, A |
| collection | OXFORD |
| description | <p>In ontology-enhanced database systems, an ontology on top of the extensional database expresses intensional knowledge that enhances the database schema. Queries posed to such systems are to be evaluated considering all the knowledge inferred from the data by means of the ontology; in other words, queries are to be evaluated against the logical theory constituted by the data and the ontology. In this context, tractability of query answering is a central issue, given that the data size is normally very large. This paper surveys results on a recently introduced family of Datalog-based languages, called Datalog+/-, which is a useful logical toolbox for ontology modeling and for ontology-based query answering. We present different Datalog+/- languages and related complexity results, showing that Datalog+/- can be successfully adopted due to its clarity, expressiveness and its good computational properties.</p> |
| first_indexed | 2024-03-06T21:32:38Z |
| format | Journal article |
| id | oxford-uuid:452f0566-c6ee-4bda-b457-b9d9b8e0cbcc |
| institution | University of Oxford |
| last_indexed | 2024-03-06T21:32:38Z |
| publishDate | 2011 |
| record_format | dspace |
| spelling | oxford-uuid:452f0566-c6ee-4bda-b457-b9d9b8e0cbcc2022-03-26T15:06:15ZA Logical Toolbox for Ontological ReasoningJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:452f0566-c6ee-4bda-b457-b9d9b8e0cbccDepartment of Computer Science2011Calì, AGottlob, GLukasiewicz, TPieris, A<p>In ontology-enhanced database systems, an ontology on top of the extensional database expresses intensional knowledge that enhances the database schema. Queries posed to such systems are to be evaluated considering all the knowledge inferred from the data by means of the ontology; in other words, queries are to be evaluated against the logical theory constituted by the data and the ontology. In this context, tractability of query answering is a central issue, given that the data size is normally very large. This paper surveys results on a recently introduced family of Datalog-based languages, called Datalog+/-, which is a useful logical toolbox for ontology modeling and for ontology-based query answering. We present different Datalog+/- languages and related complexity results, showing that Datalog+/- can be successfully adopted due to its clarity, expressiveness and its good computational properties.</p> |
| spellingShingle | Calì, A Gottlob, G Lukasiewicz, T Pieris, A A Logical Toolbox for Ontological Reasoning |
| title | A Logical Toolbox for Ontological Reasoning |
| title_full | A Logical Toolbox for Ontological Reasoning |
| title_fullStr | A Logical Toolbox for Ontological Reasoning |
| title_full_unstemmed | A Logical Toolbox for Ontological Reasoning |
| title_short | A Logical Toolbox for Ontological Reasoning |
| title_sort | logical toolbox for ontological reasoning |
| work_keys_str_mv | AT calia alogicaltoolboxforontologicalreasoning AT gottlobg alogicaltoolboxforontologicalreasoning AT lukasiewiczt alogicaltoolboxforontologicalreasoning AT pierisa alogicaltoolboxforontologicalreasoning AT calia logicaltoolboxforontologicalreasoning AT gottlobg logicaltoolboxforontologicalreasoning AT lukasiewiczt logicaltoolboxforontologicalreasoning AT pierisa logicaltoolboxforontologicalreasoning |