Inconsistency−Tolerant Query Rewriting for Linear Datalog+⁄−
<p>Inconsistency management in knowledge bases is an important problem that has been studied for a long time. During the recent years, additional interest in this topic has been sparked with the advent of the Semantic Web, which has made this problem even more relevant, since inconsistencies a...
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
Springer
2012
|
| _version_ | 1797105198042185728 |
|---|---|
| author | Lukasiewicz, T Martinez, M Simari, G |
| author_facet | Lukasiewicz, T Martinez, M Simari, G |
| author_sort | Lukasiewicz, T |
| collection | OXFORD |
| description | <p>Inconsistency management in knowledge bases is an important problem that has been studied for a long time. During the recent years, additional interest in this topic has been sparked with the advent of the Semantic Web, which has made this problem even more relevant, since inconsistencies are very likely to occur in open environments such as the Web. Inconsistency-tolerant semantics to query answering have therefore become of special interest for representation and reasoning formalisms for the Semantic Web. Datalog+/- is a family of ontology languages that is in particular useful for representing and reasoning over lightweight ontologies in the Semantic Web. In this paper, we focus on inconsistency-tolerant query answering under the intersection semantics in linear Datalog+/-, a sublanguage of Datalog+/- that generalizes the DL-Lite family of tractable description logics (DLs). In particular, we show that query answering in linear Datalog+/- is first-order rewritable under this inconsistency-tolerant semantics, and therefore very efficiently computable in the data complexity.</p> |
| first_indexed | 2024-03-07T06:44:03Z |
| format | Conference item |
| id | oxford-uuid:fa44c53d-c55e-4750-abce-6b44c84b4f88 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T06:44:03Z |
| publishDate | 2012 |
| publisher | Springer |
| record_format | dspace |
| spelling | oxford-uuid:fa44c53d-c55e-4750-abce-6b44c84b4f882022-03-27T13:04:26ZInconsistency−Tolerant Query Rewriting for Linear Datalog+⁄−Conference itemhttp://purl.org/coar/resource_type/c_5794uuid:fa44c53d-c55e-4750-abce-6b44c84b4f88Department of Computer ScienceSpringer2012Lukasiewicz, TMartinez, MSimari, G<p>Inconsistency management in knowledge bases is an important problem that has been studied for a long time. During the recent years, additional interest in this topic has been sparked with the advent of the Semantic Web, which has made this problem even more relevant, since inconsistencies are very likely to occur in open environments such as the Web. Inconsistency-tolerant semantics to query answering have therefore become of special interest for representation and reasoning formalisms for the Semantic Web. Datalog+/- is a family of ontology languages that is in particular useful for representing and reasoning over lightweight ontologies in the Semantic Web. In this paper, we focus on inconsistency-tolerant query answering under the intersection semantics in linear Datalog+/-, a sublanguage of Datalog+/- that generalizes the DL-Lite family of tractable description logics (DLs). In particular, we show that query answering in linear Datalog+/- is first-order rewritable under this inconsistency-tolerant semantics, and therefore very efficiently computable in the data complexity.</p> |
| spellingShingle | Lukasiewicz, T Martinez, M Simari, G Inconsistency−Tolerant Query Rewriting for Linear Datalog+⁄− |
| title | Inconsistency−Tolerant Query Rewriting for Linear Datalog+⁄− |
| title_full | Inconsistency−Tolerant Query Rewriting for Linear Datalog+⁄− |
| title_fullStr | Inconsistency−Tolerant Query Rewriting for Linear Datalog+⁄− |
| title_full_unstemmed | Inconsistency−Tolerant Query Rewriting for Linear Datalog+⁄− |
| title_short | Inconsistency−Tolerant Query Rewriting for Linear Datalog+⁄− |
| title_sort | inconsistency tolerant query rewriting for linear datalog |
| work_keys_str_mv | AT lukasiewiczt inconsistencytolerantqueryrewritingforlineardatalog AT martinezm inconsistencytolerantqueryrewritingforlineardatalog AT simarig inconsistencytolerantqueryrewritingforlineardatalog |