BIROn - Birkbeck Institutional Research Online

    On expressibility of non-monotone operators in SPARQL

    Kontchakov, Roman and Kostylev, E. (2016) On expressibility of non-monotone operators in SPARQL. In: UNSPECIFIED (ed.) Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning. AAAI, pp. 369-379.

    KR_SPARQL_CR.pdf - Updated Version

    Download (305kB) | Preview


    SPARQL, a query language for RDF graphs, is one of the key technologies for the Semantic Web. The expressivity and complexity of various fragments of SPARQL have been studied extensively. It is usually assumed that the optional matching operator OPTIONAL has only two graph patterns as arguments. The specification of SPARQL, however, defines it as a ternary operator, with an additional filter condition. We address the problem of expressibility of the full ternary OPTIONAL via the simplified binary version and show that it is possible, but only with an exponential blowup in the size of the query (under common complexity-theoretic assumptions). We also study expressibility of other non-monotone SPARQL operators via optional matching and each other.


    Item Type: Book Section
    Additional Information: Cape Town International Convention Centre, April 25, 2016 – April 29, 2016
    Keyword(s) / Subject(s): SPARQL, optional graph pattern matching, expressibility, complexity, non-monotone operator
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Roman Kontchakov
    Date Deposited: 29 Apr 2016 14:01
    Last Modified: 09 Aug 2023 12:38


    Activity Overview
    6 month trend
    6 month trend

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item