Consistent Answers in Probabilistic Datalog+⁄− Ontologies
The Datalog+/- family of ontology languages is especially useful for representing and reasoning over lightweight ontologies, and has many applications in the context of query answering and information extraction for the Semantic Web. It is widely accepted that it is necessary to develop a principled...
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
Springer
2012
|
| _version_ | 1797084414702780416 |
|---|---|
| author | Lukasiewicz, T Martinez, M Simari, G |
| author_facet | Lukasiewicz, T Martinez, M Simari, G |
| author_sort | Lukasiewicz, T |
| collection | OXFORD |
| description | The Datalog+/- family of ontology languages is especially useful for representing and reasoning over lightweight ontologies, and has many applications in the context of query answering and information extraction for the Semantic Web. It is widely accepted that it is necessary to develop a principled way to handle uncertainty in this domain. In addition to uncertainty as an inherent aspect of the Web, one must also deal with forms of uncertainty due to inconsistency. In this paper, we take an important step in this direction by developing inconsistency-tolerant semantics for query answering in a probabilistic extension of Datalog+/-. The main contributions of this paper are: (i) extension and generalization to probabilistic ontologies of the well-known concepts of repairs and consistent answers to queries from databases; (ii) complexity analysis for the problems of consistency checking, repair identification, and consistent query answering; and (iii) adaptation of the intersection semantics (a sound heuristic for consistent answers) to probabilistic ontologies, yielding a subset of probabilistic Datalog+/- that is tractable modulo the cost of computing probabilities. |
| first_indexed | 2024-03-07T01:54:59Z |
| format | Conference item |
| id | oxford-uuid:9b690f72-5df2-4871-b60c-d677a5a8c4dc |
| institution | University of Oxford |
| last_indexed | 2024-03-07T01:54:59Z |
| publishDate | 2012 |
| publisher | Springer |
| record_format | dspace |
| spelling | oxford-uuid:9b690f72-5df2-4871-b60c-d677a5a8c4dc2022-03-27T00:28:29ZConsistent Answers in Probabilistic Datalog+⁄− OntologiesConference itemhttp://purl.org/coar/resource_type/c_5794uuid:9b690f72-5df2-4871-b60c-d677a5a8c4dcDepartment of Computer ScienceSpringer2012Lukasiewicz, TMartinez, MSimari, GThe Datalog+/- family of ontology languages is especially useful for representing and reasoning over lightweight ontologies, and has many applications in the context of query answering and information extraction for the Semantic Web. It is widely accepted that it is necessary to develop a principled way to handle uncertainty in this domain. In addition to uncertainty as an inherent aspect of the Web, one must also deal with forms of uncertainty due to inconsistency. In this paper, we take an important step in this direction by developing inconsistency-tolerant semantics for query answering in a probabilistic extension of Datalog+/-. The main contributions of this paper are: (i) extension and generalization to probabilistic ontologies of the well-known concepts of repairs and consistent answers to queries from databases; (ii) complexity analysis for the problems of consistency checking, repair identification, and consistent query answering; and (iii) adaptation of the intersection semantics (a sound heuristic for consistent answers) to probabilistic ontologies, yielding a subset of probabilistic Datalog+/- that is tractable modulo the cost of computing probabilities. |
| spellingShingle | Lukasiewicz, T Martinez, M Simari, G Consistent Answers in Probabilistic Datalog+⁄− Ontologies |
| title | Consistent Answers in Probabilistic Datalog+⁄− Ontologies |
| title_full | Consistent Answers in Probabilistic Datalog+⁄− Ontologies |
| title_fullStr | Consistent Answers in Probabilistic Datalog+⁄− Ontologies |
| title_full_unstemmed | Consistent Answers in Probabilistic Datalog+⁄− Ontologies |
| title_short | Consistent Answers in Probabilistic Datalog+⁄− Ontologies |
| title_sort | consistent answers in probabilistic datalog ontologies |
| work_keys_str_mv | AT lukasiewiczt consistentanswersinprobabilisticdatalogontologies AT martinezm consistentanswersinprobabilisticdatalogontologies AT simarig consistentanswersinprobabilisticdatalogontologies |