?. Icext, y) ssi x, y ? IEXT (I(rdf:type)) (assimilation types et classes)

S. , ?. Ic-alors-x, and I. ?. Iext, rdfs:subClassOf))

R. Toute-interprétation and . Devra-Être-un-modèle, au sens RDF) pour les triplets axiomatiques de RDFS (voir liste complète dans [HAY 03]) tels que : rdf:type rdfs:domain rdfs:Resource. rdfs:domain rdfs:domain rdf:Property. rdfs:range rdfs:domain rdf:Property. rdfs:subPropertyOf rdfs:domain rdf:Property. rdfs:subClassOf rdfs:domain rdfs:Class. rdf:subject rdfs:domain rdf:Statement. rdf:predicate rdfs:domain rdf:Statement. rdf:object rdfs:domain rdf:Statement. rdfs:member rdfs:domain rdfs:Resource. rdf:first rdfs:domain rdf:List

M. Baget-j.-f, « Extensions of Simple Conceptual Graphs : the Complexity of Rules and Constraints, Journal of Artificial Intelligence Research, vol.16, pp.425-465, 2002.

. Baget-j.-f, Simple Conceptual Graphs Revisited: Hypergraphs and Conjunctive Types for Efficient Projection Algorithms, Lecture Notes in Artificial Intelligence, vol.2746, pp.229-242, 2003.
DOI : 10.1007/978-3-540-45091-7_16

M. M. Chein, Conceptual Graphs Are Also Graphs, pp.81-97, 1995.
DOI : 10.1007/978-3-319-08389-6_1
URL : https://hal.archives-ouvertes.fr/lirmm-01090141

G. D. Éric-salvat and «. A. , Platform Allowing Typed Nested Graphs : How CoGITo Became CoGITaNT, Lecture Notes in Computer Science, vol.1453, pp.154-161, 1998.

L. G. Gottlob and . Scarcello-f, A comparison of structural CSP decomposition methods, Artificial Intelligence, vol.124, issue.2, pp.394-399, 1999.
DOI : 10.1016/S0004-3702(00)00078-3

G. Klyne and C. J. , « Resource Description Framework (RDF) : Concepts and Abstract Syntax W3C Proposed Recommendation 15, World Wide Web Consortium (W3C), 2003.

. U. Montanari, Networks of constraints: Fundamental properties and applications to picture processing, Information Sciences, vol.7, issue.2, pp.95-132, 1974.
DOI : 10.1016/0020-0255(74)90008-5

É. Salvat and M. , Sound and complete forward and backward chainings of graph rules, Sound and Complete Forward and Backward Chainings of Graphs Rules, pp.248-262, 1996.
DOI : 10.1007/3-540-61534-2_16