=. String and . Prefix, CONSTRUCT { ?x ex:hasUncle ?z .}" +"WHERE {" +"?x ex:hasParent ?y

. La-richesse-de, Corese nous a permis de mettre en oeuvre notre approche du partage et de la réutilisation de règles sur le

B. Un-traducteur-transforme-un-sous-arbre-de-l-'ast-de, R. Correspondant-au-dialecte-rif-sparql-en-l-'ast-de, S. De-corese, and /. Kgram, http://www.w3.org/TR/rif-in-rdf/ 1, www.w3.org/Submission/SWRLElementEqualityFromListEquality Annexe A. Explication des résultats de l'évaluation de RIF-SPARQL List(ex:a) = List, 2005.

. Le-non-traitement, Individual- Data_Separation_Inconsistency) 13 est lié au fait que le dialecte RIF- SPARQL exclut les faits universels. Group ( Forall ?x (?x[rdf:type -> ex:A])

]. Baader, S. Brand, and C. Lutz, Pushing the EL envelope, Proceedings of IJCAI 2005, pp.364-369, 2005.

J. Baget, Improving the Forward Chaining Algorithm for Conceptual Graphs Rules, Proc. 9th international conference on principles of knowledge representation and reasoning Proc. 9th international conference on principles of knowledge representation and reasoning (KR), pp.407-414, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00918126

]. Baget, M. Leclère, and M. Mugnier, Eric Salvatet al. Extending Decidable Cases for Rules with Existential Variables, IJCAI, pp.677-682, 2009.

L. and D. Connolly, Notation3 (N3): A readable RDF syntax. W3C submission, W3C, 2008.

D. Lee, L. Connolly, Y. Kagal, J. Scharf, and . Hendler, N3Logic: A logical framework for the World Wide Web, Theory and Practice of Logic Programming, vol.8, issue.4, pp.249-269

]. Bizer, T. Heath, and T. Berners-lee, Linked Data - The Story So Far, International Journal on Semantic Web and Information Systems, vol.5, issue.3, 2009.
DOI : 10.4018/jswis.2009081901

C. Bizer and A. Schultz, The R2R framework: Publishing and Discovering Mappings on the Web, Proceedings of the 1st Int. Workshop on Consuming Linked Data, COLD 2010, pp.2010-2045, 2010.

]. Boley, S. Tabet, and G. Wagner, Design Rationale for RuleML : A Markup Language for Semantic Web Rules, SWWS, pp.381-401, 2001.

]. Boley, Are Your Rules Online? Four Web Rule Essentials, 2007.
DOI : 10.1007/978-3-540-75975-1_2

M. Harold-boley, . Kifer, P. Paula-lavinia, A. Atrânjan, and . Polleres, Rule Interchange on the Web, Grigoris Antoniou, pp.269-309, 2007.
DOI : 10.1007/978-3-540-74615-7_5

G. Harold-boley, M. Hallmark, A. P. Kifer, A. Polleres, and D. Reynolds, RIF Core Dialect, W3C Recommendation, vol.3, 2010.

H. Boley and M. Kifer, A Guide to the Basic Logic Dialect for Rule Interchange on the Web. the IEEE Computer Society, RIF Basic Logic Dialect. W3C Recommendation, W3C, p.1593, 2010.

H. Boley and M. Kifer, RIF Framework for Logic Dialects, W3C Recommendation, vol.3, 2010.

J. Ronald, . Brachman, J. Hector, and . Levesque, The Tractability of Subsumption in Frame-Based Description Languages, Proceedings of AAAI 1984, pp.34-37, 1984.

D. Calvanese, G. Giacomo, D. Lembo, M. Lenzerini, and R. Rosati, Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family, Journal of Automated Reasoning, vol.104, issue.1,2, pp.385-429, 2007.
DOI : 10.1007/s10817-007-9078-x

A. Olivier-corby, C. Gaignard, J. Faron-zucker, and . Montagnat, KGRAM Versatile Data Graphs Querying and Inference Engine, Proceedings IEEE/WIC/ACM International Conference on Web Intelligence, 2012.

O. Corby and C. Faron-zucker, SPARQL Template : un langage de Pretty Printing pour RDF In Catherine Faron-Zucker, editeur, IC -25èmes Journées francophones d'Ingénierie des Connaissances, pp.213-224, 2014.

. Aquin, N. F. Mathieu-d-'aquin, and . Noy, Where to publish and find ontologies? A survey of ontology libraries, Web Semantics: Science, Services and Agents on the World Wide Web, pp.96-111

C. L. Forgy, Rete: A fast algorithm for the many pattern/many object pattern match problem, Artificial Intelligence, vol.19, issue.1, pp.17-37, 1982.
DOI : 10.1016/0004-3702(82)90020-0

L. Moriyón, D. Polo, C. Berrueta, M. Tejo-alonso, and . Iglesias, Assembling Rule Mashups in the Semantic Web, 9th Extended Semantic Web Conference (ESWC2012), pp.50-67, 2012.

]. Grimm, U. Keller, H. Lausen, and G. Nagypál, A Reasoning Framework for Rule-Based WSML, The Semantic Web: Research and Applications, p.114, 2007.
DOI : 10.1007/978-3-540-72667-8_10

B. Grosof, M. Dean, and M. Kifer, The SILK System: Scalable and Expressive Semantic Rules, 8th International Semantic Web Conference (ISWC2009), pp.175-209, 2009.

R. Thomas and . Gruber, A translation approach to portable ontology specifications Knowledge aquisition, pp.199-220, 1993.

W. Note, http://www.w3.org/TR/2013/ NOTE-rif-in-rdf-20130205, pp.39-42, 2013.

I. Horrocks, F. Peter, H. Patel-schneider, S. Boley, B. Tabet et al., SWRL: A Semantic Web Rule Language Combining OWL and RuleML. W3C member submission , W3C, pp.31-33, 2004.

A. Khandelwal, I. Jacobi, and L. Kagal, Linked Rules: Principles for Rule Reuse on the Web, Web reasoning and Rule Systems, pp.108-123, 2011.
DOI : 10.1007/978-3-540-74615-7_5

M. Kifer, G. Lausen, and J. Wu, Logical foundations of object-oriented and frame-based languages, Journal of the ACM, vol.42, issue.4, pp.741-843, 1995.
DOI : 10.1145/210332.210335

]. Stoilos and G. Stamou, Uncertainty and RuleML Rulebases: A Preliminary Report, Rules and Rule Markup Languages for the Semantic Web, pp.199-203, 2005.
DOI : 10.1007/11580072_17

]. Wagner, A. Giurca, and S. Lukichev, R2ML: A general approach for marking up rules, Principles and Practices of Semantic Web Reasoning, Dagstuhl Seminar Proceedings 05371. Ohlbach, pp.2005-2052, 2005.

X. Wang, Z. Ma, L. Yan, and X. Meng, Vague-SWRL: A Fuzzy Extension of SWRL, Diego Calvanese et Georg Lausen, editeurs, Web Reasoning and Rule Systems, pp.232-233, 2008.
DOI : 10.1007/978-3-540-88737-9_20

]. Wang, Z. Ma, L. Yan, and R. Zhao, RIF-FRD: A RIF dialect based on fuzzy sets, 2010 Seventh International Conference on Fuzzy Systems and Knowledge Discovery, pp.1912-1916, 2010.
DOI : 10.1109/FSKD.2010.5569456

]. Yang, M. Kifer, and C. Zhao, FLORA-2: A Rule- Based Knowledge Representation and Inference Infrastructure for the Semantic Web, ODBASE 2003, 2003.