BIROn - Birkbeck Institutional Research Online

    Logic in the time of WWW: an OWL view

    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.

    Full text not available from this repository.

    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

    Activity Overview
    6 month trend
    0Downloads
    6 month trend
    216Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item