SPARQL Query Containment under RDFS Entailment Regime - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 2012

SPARQL Query Containment under RDFS Entailment Regime

(1) , (1) , (2) , (2)


The problem of SPARQL query containment is defined as determining if the result of one query is included in the result of another for any RDF graph. Query containment is important in many areas, including information integration, query optimization, and reasoning about Entity-Relationship diagrams. We encode this problem into an expressive logic called mu-calculus: where RDF graphs become transition systems, queries and schema axioms become formulas. Thus, the containment problem is reduced to formula satisfiability test. Beyond the logic's expressive power, satisfiability solvers are available for it. Hence, this study allows to exploit these advantages.
Fichier principal
Vignette du fichier
RR-7942.pdf (945.6 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00691610 , version 1 (26-04-2012)


  • HAL Id : hal-00691610 , version 1


Melisachew Wudagae Chekol, Jérôme Euzenat, Pierre Genevès, Nabil Layaïda. SPARQL Query Containment under RDFS Entailment Regime. [Research Report] RR-7942, Inria - Sophia Antipolis. 2012, pp.25. ⟨hal-00691610⟩
496 View
379 Download


Gmail Facebook Twitter LinkedIn More