;;; Declaring the triple template --------------------------------- (deftemplate triple "Template representing a triple" (slot predicate (default "")) (slot subject (default "")) (slot object (default "")) ) ;;; ------------------- RDF axiomatic triples ----------------------- (deffacts RDF_axiomatic_triples ;;; rdf:type rdf:type rdf:Property . (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Property") ) ;;; rdf:subject rdf:type rdf:Property . (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#subject") (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Property") ) ;;; rdf:predicate rdf:type rdf:Property . (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate") (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Property") ) ;;; rdf:object rdf:type rdf:Property . (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#object") (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Property") ) ;;; rdf:value rdf:type rdf:Property . (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#value") (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Property") ) ;;; rdf:_1 rdf:type rdf:Property . (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#_1") (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Property") ) ;;; rdf:_2 rdf:type rdf:Property . (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#_2") (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Property") ) ;;; ... ;;; rdf:nil rdf:type rdf:List . (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil") (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#List") ) ) ;;; ------------------------ RDF semantic conditions ----------------------------- ;;; x is in IP if and only if is in IEXT(I(rdf:type)) (defrule RDF_semantic_conditions_property (triple (predicate ?p) (subject ?s) (object ?o)) => (assert (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject ?s) (object "http://www.w3.org/2000/01/rdf-schema#Resource") ) ) (assert (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject ?p) (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Property") ) ) (assert (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject ?o) (object "http://www.w3.org/2000/01/rdf-schema#Resource") ) ) ) ;;; ------------------------ RDFS semantic conditions -------------------------------- ;;; x is in ICEXT(y) if and only if is in IEXT(I(rdf:type)) (defrule RDFS_semantic_conditions_type (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject ?s) (object ?o)) => (assert (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject ?o) (object "http://www.w3.org/2000/01/rdf-schema#Class") ) ) ) ;;; IC = ICEXT(I(rdfs:Class)) ;;; IR = ICEXT(I(rdfs:Resource)) ;;; LV = ICEXT(I(rdfs:Literal)) ;;; If is in IEXT(I(rdfs:domain)) and is in IEXT(x) then u is in ICEXT(y) (defrule RDFS_semantic_conditions_domain (triple (predicate "http://www.w3.org/2000/01/rdf-schema#domain") (subject ?x) (object ?y)) (triple (predicate ?x) (subject ?u) (object ?v)) => (assert(triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject ?u) (object ?y))) ) ;;; If is in IEXT(I(rdfs:range)) and is in IEXT(x) then v is in ICEXT(y) (defrule RDFS_semantic_conditions_range (triple (predicate "http://www.w3.org/2000/01/rdf-schema#range") (subject ?x) (object ?y)) (triple (predicate ?x) (subject ?u) (object ?v)) => (assert(triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject ?v) (object ?y))) ) ;;; IEXT(I(rdfs:subPropertyOf)) is transitive and reflexive on IP (defrule RDFS_semantic_conditions_subPropertyOf_transitive (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subPropertyOf") (subject ?x) (object ?y)) (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subPropertyOf") (subject ?y) (object ?z)) => (assert (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subPropertyOf") (subject ?x) (object ?z))) ) (defrule RDFS_semantic_conditions_subPropertyOf_reflexive (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject ?p) (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Property") ) => (assert (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subPropertyOf") (subject ?p) (object ?p))) ) ;;; If is in IEXT(I(rdfs:subPropertyOf)) then x and y are in IP and IEXT(x) is a subset of IEXT(y) (defrule RDFS_semantic_conditions_subPropertyOf (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subPropertyOf") (subject ?x) (object ?y)) (triple (predicate ?x) (subject ?a) (object ?b)) => (assert (triple (predicate ?y) (subject ?a) (object ?b))) ) ;;; If x is in IC then is in IEXT(I(rdfs:subClassOf)) (defrule RDFS_semantic_conditions_subClassOf_Resource (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject ?x) (object "http://www.w3.org/2000/01/rdf-schema#Class") ) => (assert (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subClassOf") (subject ?x) (object "http://www.w3.org/2000/01/rdf-schema#Resource") ) ) ) ;;; If is in IEXT(I(rdfs:subClassOf)) then x and y are in IC and ICEXT(x) is a subset of ICEXT(y) (defrule RDFS_semantic_conditions_subClassOf (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subClassOf") (subject ?x) (object ?y)) (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject ?o) (object ?x)) => (assert (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject ?o) (object ?y))) ) ;;; IEXT(I(rdfs:subClassOf)) is transitive and reflexive on IC (defrule RDFS_semantic_conditions_subClassOf_transitive (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subClassOf") (subject ?x) (object ?y)) (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subClassOf") (subject ?y) (object ?z)) => (assert (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subClassOf") (subject ?x) (object ?z))) ) (defrule RDFS_semantic_conditions_subClassOf_reflexive (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject ?c) (object "http://www.w3.org/2000/01/rdf-schema#Class") ) => (assert (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subClassOf") (subject ?c) (object ?c))) ) ;;; If x is in ICEXT(I(rdfs:ContainerMembershipProperty)) then < x, I(rdfs:member)> is in IEXT(I(rdfs:subPropertyOf)) (defrule RDFS_semantic_conditions_member (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject ?m) (object "http://www.w3.org/2000/01/rdf-schema#ContainerMembershipProperty") ) => (assert (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subPropertyOf") (subject ?m) (object "http://www.w3.org/2000/01/rdf-schema#member") ) ) ) ;;; If x is in ICEXT(I(rdfs:Datatype)) then is in IEXT(I(rdfs:subClassOf)) (defrule RDFS_semantic_conditions_datatype (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject ?d) (object "http://www.w3.org/2000/01/rdf-schema#Datatype") ) => (assert (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subClassOf") (subject ?d) (object "http://www.w3.org/2000/01/rdf-schema#Literal") ) ) ) ;;; --------------------------- RDFS axiomatic triples ----------------------------------- (deffacts RDFS_axiomatic_triples ;;; ----------------domain------------------ ;;; rdf:type rdfs:domain rdfs:Resource . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#domain") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (object "http://www.w3.org/2000/01/rdf-schema#Resource") ) ;;; rdfs:domain rdfs:domain rdf:Property . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#domain") (subject "http://www.w3.org/2000/01/rdf-schema#domain") (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Property") ) ;;; rdfs:range rdfs:domain rdf:Property . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#domain") (subject "http://www.w3.org/2000/01/rdf-schema#range") (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Property") ) ;;; rdfs:subPropertyOf rdfs:domain rdf:Property . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#domain") (subject "http://www.w3.org/2000/01/rdf-schema#subPropertyOf") (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Property") ) ;;; rdfs:subClassOf rdfs:domain rdfs:Class . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#domain") (subject "http://www.w3.org/2000/01/rdf-schema#subClassOf") (object "http://www.w3.org/2000/01/rdf-schema#Class") ) ;;; rdf:subject rdfs:domain rdf:Statement . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#domain") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#subject") (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement") ) ;;; rdf:predicate rdfs:domain rdf:Statement . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#domain") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate") (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement") ) ;;; rdf:object rdfs:domain rdf:Statement . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#domain") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#object") (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement") ) ;;; rdfs:member rdfs:domain rdfs:Resource . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#domain") (subject "http://www.w3.org/2000/01/rdf-schema#member") (object "http://www.w3.org/2000/01/rdf-schema#Resource") ) ;;; rdf:first rdfs:domain rdf:List . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#domain") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#first") (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#List") ) ;;; rdf:rest rdfs:domain rdf:List . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#domain") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest") (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#List") ) ;;; rdfs:seeAlso rdfs:domain rdfs:Resource . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#domain") (subject "http://www.w3.org/2000/01/rdf-schema#seeAlso") (object "http://www.w3.org/2000/01/rdf-schema#Resource") ) ;;; rdfs:isDefinedBy rdfs:domain rdfs:Resource . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#domain") (subject "http://www.w3.org/2000/01/rdf-schema#isDefinedBy") (object "http://www.w3.org/2000/01/rdf-schema#Resource") ) ;;; rdfs:comment rdfs:domain rdfs:Resource . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#domain") (subject "http://www.w3.org/2000/01/rdf-schema#comment") (object "http://www.w3.org/2000/01/rdf-schema#Resource") ) ;;; rdfs:label rdfs:domain rdfs:Resource . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#domain") (subject "http://www.w3.org/2000/01/rdf-schema#label") (object "http://www.w3.org/2000/01/rdf-schema#Resource") ) ;;; rdf:value rdfs:domain rdfs:Resource . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#domain") (subject "http://www.w3.org/2000/01/rdf-schema#value") (object "http://www.w3.org/2000/01/rdf-schema#Resource") ) ;;; -------------range----------------- ;;; rdf:type rdfs:range rdfs:Class . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#range") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (object "http://www.w3.org/2000/01/rdf-schema#Class") ) ;;; rdfs:domain rdfs:range rdfs:Class . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#range") (subject "http://www.w3.org/2000/01/rdf-schema#domain") (object "http://www.w3.org/2000/01/rdf-schema#Class") ) ;;; rdfs:range rdfs:range rdfs:Class . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#range") (subject "http://www.w3.org/2000/01/rdf-schema#range") (object "http://www.w3.org/2000/01/rdf-schema#Class") ) ;;; rdfs:subPropertyOf rdfs:range rdf:Property . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#range") (subject "http://www.w3.org/2000/01/rdf-schema#subPropertyOf") (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Property") ) ;;; rdfs:subClassOf rdfs:range rdfs:Class . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#range") (subject "http://www.w3.org/2000/01/rdf-schema#subClassOf") (object "http://www.w3.org/2000/01/rdf-schema#Class") ) ;;; rdf:subject rdfs:range rdfs:Resource . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#range") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#subject") (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Resource") ) ;;; rdf:predicate rdfs:range rdfs:Resource . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#range") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate") (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Resource") ) ;;; rdf:object rdfs:range rdf:Resource . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#range") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#object") (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Resource") ) ;;; rdfs:member rdfs:range rdfs:Resource . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#range") (subject "http://www.w3.org/2000/01/rdf-schema#member") (object "http://www.w3.org/2000/01/rdf-schema#Resource") ) ;;; rdf:first rdfs:range rdf:Resource . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#range") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#first") (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Resource") ) ;;; rdf:rest rdfs:range rdf:List . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#range") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest") (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#List") ) ;;; rdfs:seeAlso rdfs:range rdfs:Resource . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#range") (subject "http://www.w3.org/2000/01/rdf-schema#seeAlso") (object "http://www.w3.org/2000/01/rdf-schema#Resource") ) ;;; rdfs:isDefinedBy rdfs:range rdfs:Resource . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#range") (subject "http://www.w3.org/2000/01/rdf-schema#isDefinedBy") (object "http://www.w3.org/2000/01/rdf-schema#Resource") ) ;;; rdfs:comment rdfs:range rdfs:Literal . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#range") (subject "http://www.w3.org/2000/01/rdf-schema#comment") (object "http://www.w3.org/2000/01/rdf-schema#Literal") ) ;;; rdfs:label rdfs:range rdfs:Literal . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#range") (subject "http://www.w3.org/2000/01/rdf-schema#label") (object "http://www.w3.org/2000/01/rdf-schema#Literal") ) ;;; rdf:value rdfs:range rdfs:Resource . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#range") (subject "http://www.w3.org/2000/01/rdf-schema#value") (object "http://www.w3.org/2000/01/rdf-schema#Resource") ) ;;; -----------------subClassOf----------------- ;;; rdf:Alt rdfs:subClassOf rdfs:Container . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subClassOf") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#Alt") (object "http://www.w3.org/2000/01/rdf-schema#Container") ) ;;; rdf:Bag rdfs:subClassOf rdfs:Container . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subClassOf") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#Bag") (object "http://www.w3.org/2000/01/rdf-schema#Container") ) ;;; rdf:Seq rdfs:subClassOf rdfs:Container . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subClassOf") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#Seq") (object "http://www.w3.org/2000/01/rdf-schema#Container") ) ;;; rdfs:ContainerMembershipProperty rdfs:subClassOf rdf:Property . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subClassOf") (subject "http://www.w3.org/2000/01/rdf-schema#ContainerMembershipProperty") (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Property") ) ;;; ---------------subPropertyOf-------------------- ;;; rdfs:isDefinedBy rdfs:subPropertyOf rdfs:seeAlso . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subPropertyOf") (subject "http://www.w3.org/2000/01/rdf-schema#isDefinedBy") (object "http://www.w3.org/2000/01/rdf-schema#seeAlso") ) ;;; ---------------datatype--------------------------- ;;; rdf:XMLLiteral rdf:type rdfs:Datatype . (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#XMLLiteral") (object "http://www.w3.org/2000/01/rdf-schema#Datatype") ) ;;; rdf:XMLLiteral rdfs:subClassOf rdfs:Literal . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subClassOf") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#XMLLiteral") (object "http://www.w3.org/2000/01/rdf-schema#Literal") ) ;;; rdfs:Datatype rdfs:subClassOf rdfs:Class . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#subClassOf") (subject "http://www.w3.org/2000/01/rdf-schema#Datatype") (object "http://www.w3.org/2000/01/rdf-schema#Class") ) ;;; --------------------List--------------------------- ;;; rdf:_1 rdf:type rdfs:ContainerMembershipProperty . (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#_1") (object "http://www.w3.org/2000/01/rdf-schema#ContainerMembershipProperty") ) ;;; rdf:_1 rdfs:domain rdfs:Resource . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#domain") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#_1") (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Resource") ) ;;; rdf:_1 rdfs:range rdfs:Resource . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#range") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#_1") (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Resource") ) ;;; rdf:_2 rdf:type rdfs:ContainerMembershipProperty . (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#_2") (object "http://www.w3.org/2000/01/rdf-schema#ContainerMembershipProperty") ) ;;; rdf:_2 rdfs:domain rdfs:Resource . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#domain") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#_2") (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Resource") ) ;;; rdf:_2 rdfs:range rdfs:Resource . (triple (predicate "http://www.w3.org/2000/01/rdf-schema#range") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#_2") (object "http://www.w3.org/1999/02/22-rdf-syntax-ns#Resource") ) ;;; .... ) ;;; RDFS valid triples (deffacts RDFS_valid_triples ;;; rdfs:Resource rdf:type rdfs:Class . (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject "http://www.w3.org/2000/01/rdf-schema#Resource") (object "http://www.w3.org/2000/01/rdf-schema#Class") ) ;;; rdfs:Class rdf:type rdfs:Class . (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject "http://www.w3.org/2000/01/rdf-schema#Class") (object "http://www.w3.org/2000/01/rdf-schema#Class") ) ;;; rdfs:Literal rdf:type rdfs:Class . (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject "http://www.w3.org/2000/01/rdf-schema#Literal") (object "http://www.w3.org/2000/01/rdf-schema#Class") ) ;;; rdf:XMLLiteral rdf:type rdfs:Class . (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#XMLLiteral") (object "http://www.w3.org/2000/01/rdf-schema#Class") ) ;;; rdfs:Datatype rdf:type rdfs:Class . (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject "http://www.w3.org/2000/01/rdf-schema#Datatype") (object "http://www.w3.org/2000/01/rdf-schema#Class") ) ;;; rdf:Seq rdf:type rdfs:Class . (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#Seq") (object "http://www.w3.org/2000/01/rdf-schema#Class") ) ;;; rdf:Bag rdf:type rdfs:Class . (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#Bag") (object "http://www.w3.org/2000/01/rdf-schema#Class") ) ;;; rdf:Alt rdf:type rdfs:Class . (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#Alt") (object "http://www.w3.org/2000/01/rdf-schema#Class") ) ;;; rdfs:Container rdf:type rdfs:Class . (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject "http://www.w3.org/2000/01/rdf-schema#Container") (object "http://www.w3.org/2000/01/rdf-schema#Class") ) ;;; rdf:List rdf:type rdfs:Class . (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#List") (object "http://www.w3.org/2000/01/rdf-schema#Class") ) ;;; rdfs:ContainerMembershipProperty rdf:type rdfs:Class . (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#ContainerMembershipProperty") (object "http://www.w3.org/2000/01/rdf-schema#Class") ) ;;; rdf:Property rdf:type rdfs:Class . (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#Property") (object "http://www.w3.org/2000/01/rdf-schema#Class") ) ;;; rdf:Statement rdf:type rdfs:Class . (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement") (object "http://www.w3.org/2000/01/rdf-schema#Class") ) ;;; rdfs:domain rdf:type rdf:Property . (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#domain") (object "http://www.w3.org/2000/01/rdf-schema#Property") ) ;;; rdfs:range rdf:type rdf:Property . (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#range") (object "http://www.w3.org/2000/01/rdf-schema#Property") ) ;;; rdfs:subPropertyOf rdf:type rdf:Property . (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#subPropertyOf") (object "http://www.w3.org/2000/01/rdf-schema#Property") ) ;;; rdfs:subClassOf rdf:type rdf:Property . (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#subClassOf") (object "http://www.w3.org/2000/01/rdf-schema#Property") ) ;;; rdfs:member rdf:type rdf:Property . (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#member") (object "http://www.w3.org/2000/01/rdf-schema#Property") ) ;;; rdfs:seeAlso rdf:type rdf:Property . (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#seeAlso") (object "http://www.w3.org/2000/01/rdf-schema#Property") ) ;;; rdfs:isDefinedBy rdf:type rdf:Property . (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#isDefinedBy") (object "http://www.w3.org/2000/01/rdf-schema#Property") ) ;;; rdfs:comment rdf:type rdf:Property . (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#comment") (object "http://www.w3.org/2000/01/rdf-schema#Property") ) ;;; rdfs:label rdf:type rdf:Property . (triple (predicate "http://www.w3.org/1999/02/22-rdf-syntax-ns#type") (subject "http://www.w3.org/1999/02/22-rdf-syntax-ns#label") (object "http://www.w3.org/2000/01/rdf-schema#Property") ) ) ;;; ----------- end of predefined RDF(S) facts and rules ----------- (reset) ;;; ------ adding Jess assertions transformed from OWL2Jess -------- ;;; ------------------- Run Jess Rule Engine ----------------------- (run) (save-facts "rdffacts.txt")