Querying RDF (S) with regular expressions, 2008. ,
URL : https://hal.archives-ouvertes.fr/tel-00293206
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
Expressive languages for path queries over graph-structured data, pp.3-14, 2010. ,
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 Conjunctive Regular Path Queries with Inverse, Proc. of the 7th Int. Conf. on the Principles of Knowledge Representation and Reasoning, pp.176-185, 2000. ,
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 ,
Optimal implementation of conjunctive queries in relational data bases, Proceedings of the ninth annual ACM symposium on Theory of computing , STOC '77, pp.77-90, 1977. ,
DOI : 10.1145/800105.803397
PSPARQL query containment, Research report, vol.7641, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00598819
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, PLDI '07, pp.342-351, 2007. ,
Optimization of SPARQL by using coreSPARQL, ICEIS (1), pp.107-112, 2009. ,
Results on the Propositional ??-Calculus, DAIMI Report Series, vol.11, issue.146, pp.333-354, 1983. ,
DOI : 10.7146/dpb.v11i146.7420
Minimal Deductive Systems for RDF, LNCS, vol.4519, pp.53-67, 2007. ,
SPARQL Query Language for RDF, W3C Rec, 2008. ,
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, The Semantic Web ISWC 2005, pp.607-623, 2005. ,
DOI : 10.1007/11574620_44
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.504
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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.401.557
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