Zakharyaschev, Michael (2011) Logic in the time of WWW: an OWL view. In: Beklemishev, L.D. and Queiroz, R.J.G.B. (eds.) Logic, Language, Information and Computation. Lecture Notes In Computer Science 6642. Berlin, Germany: Springer, pp. 6-7. ISBN 9783642209192.
Abstract
This paper analyses the classical automated reasoning problem-given a theory T , a set A of ground atoms and a formula ϕ, decide whether (T,A)⊨φ –in the context of the OWL 2 Web Ontology Language and ontology-based data access (OBDA). In a typical OBDA scenario, T is an OWL 2 ‘ontology’ providing a user-oriented view of raw data A and ϕ(x) is a query with answer variables x. Unlike classical automated reasoning, an important requirement for OBDA is that it should scale to large amounts of data and preferably be as efficient as standard relational database management systems. There are various ways of formalising this requirement, which give rise to different fragments of firstorder logic suitable for OBDA. For example, according to the query-rewriting approach of [1], given T,A and ϕ(x), one has to compute a new query ϕ′(x), independently of A , such that, for any tuple a, (T,A)⊨φ(a) iff A⊨φ′(a) . As a result, this approach can only be applicable to the languages for which query-answering belongs to the class AC0 for data complexity (that is, if only A is regarded as input, whereas both T and ϕ are regarded as fixed). In the combined approach to OBDA [4,2], given T , A and ϕ(x), one has to compute new (i) A′⊇A in polynomial time in T and A , and (ii) ϕ′(x) in polynomial tome in T and ϕ such that, for any tuple a, (T,A)⊨φ(a) iff A′⊨φ′(a) . The combined approach can be used for languages with polynomial queryanswering.
Metadata
| Item Type: | Book Section |
|---|---|
| Additional Information: | 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings |
| School: | Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences |
| Depositing User: | Administrator |
| Date Deposited: | 30 May 2013 13:49 |
| Last Modified: | 09 Aug 2023 12:33 |
| URI: | https://eprints.bbk.ac.uk/id/eprint/7110 |
Statistics
Additional statistics are available via IRStats2.
Archive Staff Only (login required)
