Extending SPARQL with regular expression patterns (for querying RDF), Web Semantics: Science, Services and Agents on the World Wide Web, vol.7, issue.2, pp.57-73, 2009. ,
DOI : 10.1016/j.websem.2009.02.002
URL : https://hal.archives-ouvertes.fr/lirmm-00410132
The Expressive Power of SPARQL. The Semantic Web-ISWC, pp.114-129, 2008. ,
Expressive languages for path queries over graph-structured data, PODS'10, pp.3-14, 2010. ,
The Complexity of Enriched µ-calculi, Automata, Languages and Programming, pp.540-551, 2006. ,
Conjunctive query containment and answering under description logic constraints, ACM Transactions on Computational Logic, vol.9, issue.3, pp.22-23, 2008. ,
DOI : 10.1145/1352582.1352590
Containment of regular path queries under description logic constraints, Proc. of the 22nd Int. Joint Conf. on Artificial Intelligence, 2011. ,
Answering Recursive Queries under Keys and Foreign Keys is Undecidable, Proc. of the 10th Int. Workshop on Knowledge Representation meets Databases, pp.3-14, 2003. ,
Optimal Implementation of Conjunctive Queries in Relational Data Bases, Proceedings of the ninth annual ACM symposium on Theory of computing, pp.77-90, 1977. ,
Semantics preserving sparql-to-sql query translation for optional graph patterns, 2006. ,
A relational algebra for SPARQL, 2005. ,
Efficient Static Analysis of XML Paths and Types, PLDI '07, pp.342-351, 2007. ,
Using SPARQL with RDFS and OWL entailment. Reasoning Web. Semantic Technologies for the Web of Data, pp.137-201, 2011. ,
The even more irresistible SROIQ, Proc. of KR 2006, pp.57-67, 2006. ,
Practical Reasoning for Expressive Description Logics, Logic for Programming and Automated Reasoning, pp.161-180, 1999. ,
DOI : 10.1007/3-540-48242-3_11
Results on the Propositional ??-Calculus, DAIMI Report Series, vol.11, issue.146, pp.333-354, 1983. ,
DOI : 10.7146/dpb.v11i146.7420
Semantics and complexity of SPARQL, ACM Transactions on Database Systems (TODS), vol.34, issue.3, p.16, 2009. ,
From SPARQL to rules (and back), Proceedings of the 16th international conference on World Wide Web , WWW '07, pp.787-796, 2007. ,
DOI : 10.1145/1242572.1242679
SPARQL Query Language for RDF, W3C Rec, 2008. ,
A Decision Procedure for Alternation-Free Modal µ-calculi, Advances in Modal Logic, pp.341-362, 2008. ,
A Decision Procedure for the Alternation-Free Two-Way Modal ??-Calculus, TABLEAUX, pp.277-291, 2005. ,
DOI : 10.1007/11554554_21