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
Containment of conjunctive regular path queries with inverse, Proc. of the 7th Int. Conf. on the Principles of Knowledge Representation and Reasoning, pp.176-185, 2000. ,
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, 2003. ,
Optimal implementation of conjunctive queries in relational databases, Proc. STOC, pp.77-90, 1977. ,
Query containment for conjunctive queries with regular expressions, Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems , PODS '98, pp.139-148, 1998. ,
DOI : 10.1145/275487.275503
Efficient static analysis of XML paths and types, Proc. PLDI, pp.342-351, 2007. ,
Optimization of SPARQL by using coreSPARQL, Proc. ICEIS (1), pp.107-112, 2009. ,
Foundations of semantic web databases, Proc. PODS, pp.95-106, 2004. ,
RDF semantics, W3C Rec, 2004. ,
Query optimization, ACM Computing Surveys, vol.28, issue.1, pp.121-123, 1996. ,
DOI : 10.1145/234313.234367
Results on the Propositional ??-Calculus, DAIMI Report Series, vol.11, issue.146, pp.333-354, 1983. ,
DOI : 10.7146/dpb.v11i146.7420
SPARQL Query Language for RDF, W3C Rec, 2008. ,
The hybrid µ-calculus, IJCAR, pp.76-91, 2001. ,
Foundations of SPARQL query optimization, Proceedings of the 13th International Conference on Database Theory, ICDT '10, pp.4-33, 2010. ,
DOI : 10.1145/1804669.1804675
Containment and Minimization of RDF/S Query Patterns, Proc. ISWC, pp.607-623, 2005. ,
DOI : 10.1007/11574620_44
SPARQL basic graph pattern optimization using selectivity estimation, Proceeding of the 17th international conference on World Wide Web , WWW '08, pp.595-604, 2008. ,
DOI : 10.1145/1367497.1367578
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 mu-calculus, Proc. TABLEAUX, pp.277-291, 2005. ,