Schema Query Containment

SPARQL is a schema query language allowing access to the TBox part of a knowledge base. Moreover its entailment regimes enable to take into account knowledge inferred from persistently stored knowledge bases in the query answering process. Thus, the emergence of SPARQL entailment regimes provide a new perspective for the containment problem. As one has to deal with axiomatic triples, datatype reasoning, and blank nodes that result in infinite answers. Of particular interest for us is the union of conjunctive queries that are a core fragment of SPARQL. In this paper, we study the containment of such queries based on the OWL-ALCH Direct and RDF-Based Semantics entailment regimes.

Data and Resources

Additional Info

Field Value
Source https://inria.hal.science/hal-00951201
Author Chekol, Melisachew Wudagae
Maintainer CCSD
Last Updated May 6, 2026, 06:31 (UTC)
Created May 6, 2026, 06:31 (UTC)
Identifier Report N°: RR-8484
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Knowledge representation, reasonning (ORPAILLEUR) ; INRIA Lorraine ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)
creator Chekol, Melisachew Wudagae
date 2014-02-24T00:00:00
harvest_object_id 8aed4705-9a92-425f-975f-14ee71b8994f
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2025-11-04T00:00:00
set_spec type:REPORT