rdfs-error1.brules

来自「Jena推理机」· BRULES 代码 · 共 88 行

[ (?a rdf:type rdfs:Datatype) -> (?a rdf:type rdfs:Class) ]
[ (?a rdf:type rdfs:Class) -> (?a rdf:type rdfs:Class) ]
[ (?a rdf:type rdfs:Class) -> (?a rdf:type rdfs:Resource) ]
[ (?a rdf:type rdfs:Datatype) -> (?a rdf:type rdfs:Resource) ]
[ (?a rdf:type rdfs:Datatype) -> (?a rdf:type rdfs:Datatype) ]
[ (?a rdfs:isDefinedBy ?b) -> (?a rdfs:seeAlso ?b) ]
[ (?a rdf:type rdf:Property) -> (?a rdf:type rdf:Property) ]
[ (?a rdf:type rdf:Property) -> (?a rdf:type rdfs:Resource) ]
[ (?a rdf:type rdfs:ContainerMembershipProperty) -> (?a rdf:type rdfs:Resource) ]
[ (?a rdf:type rdfs:ContainerMembershipProperty) -> (?a rdf:type rdfs:ContainerMembershipProperty) ]
[ (?a rdf:type rdfs:ContainerMembershipProperty) -> (?a rdf:type rdf:Property) ]
[ (?a rdf:type rdf:Seq) -> (?a rdf:type rdfs:Container) ]
[ (?a rdf:type rdfs:Container) -> (?a rdf:type rdfs:Container) ]
[ (?a rdf:type rdfs:Container) -> (?a rdf:type rdfs:Resource) ]
[ (?a rdf:type rdf:Seq) -> (?a rdf:type rdfs:Resource) ]
[ (?a rdf:type rdf:Bag) -> (?a rdf:type rdfs:Resource) ]
[ (?a rdf:type rdf:Bag) -> (?a rdf:type rdf:Bag) ]
[ (?a rdf:type rdf:Alt) -> (?a rdf:type rdfs:Resource) ]
[ (?a rdf:type rdf:Alt) -> (?a rdf:type rdf:Alt) ]
[ (?a rdf:type rdf:Seq) -> (?a rdf:type rdf:Seq) ]
[ (?a rdf:type rdf:Bag) -> (?a rdf:type rdfs:Container) ]
[ (?a rdf:type rdf:Alt) -> (?a rdf:type rdfs:Container) ]
[ (?x rdf:rest ?y) -> (?y rdf:type rdf:List) ]
[ (?a rdf:type rdf:List) -> (?a rdf:type rdf:List) ]
[ (?a rdf:type rdf:List) -> (?a rdf:type rdfs:Resource) ]
[ (?x rdfs:label ?y) -> (?y rdf:type rdfs:Literal) ]
[ (?x rdfs:comment ?y) -> (?y rdf:type rdfs:Literal) ]
[ (?x rdf:type ?y) -> (?y rdf:type rdfs:Class) ]
[ (?x rdfs:range ?y) -> (?y rdf:type rdfs:Class) ]
[ (?x rdfs:domain ?y) -> (?y rdf:type rdfs:Class) ]
[ (?a rdf:type http://www.hpl.hp.com/semweb/2003/eg#D) -> (?a rdf:type http://www.hpl.hp.com/semweb/2003/eg#D) ]
[ (?a rdf:type http://www.hpl.hp.com/semweb/2003/eg#D) -> (?a rdf:type rdfs:Resource) ]
[ (?x rdfs:subClassOf ?y) -> (?y rdf:type rdfs:Class) ]
[ (?a rdf:type http://www.hpl.hp.com/semweb/2003/eg#C3) -> (?a rdf:type http://www.hpl.hp.com/semweb/2003/eg#C3) ]
[ (?a rdf:type http://www.hpl.hp.com/semweb/2003/eg#C3) -> (?a rdf:type rdfs:Resource) ]
[ (?a rdf:type http://www.hpl.hp.com/semweb/2003/eg#C2) -> (?a rdf:type rdfs:Resource) ]
[ (?a rdf:type http://www.hpl.hp.com/semweb/2003/eg#C1) -> (?a rdf:type rdfs:Resource) ]
[ (?a rdf:type http://www.hpl.hp.com/semweb/2003/eg#C2) -> (?a rdf:type http://www.hpl.hp.com/semweb/2003/eg#C2) ]
[ (?x rdfs:subPropertyOf ?y) -> (?y rdf:type rdf:Property) ]
[ (?x rdf:rest ?y) -> (?x rdf:type rdf:List) ]
[ (?x rdf:first ?y) -> (?x rdf:type rdf:List) ]
[ (?x rdf:object ?y) -> (?x rdf:type rdf:Statement) ]
[ (?x rdf:predicate ?y) -> (?x rdf:type rdf:Statement) ]
[ (?x rdf:subject ?y) -> (?x rdf:type rdf:Statement) ]
[ (?x rdfs:range ?y) -> (?x rdf:type rdf:Property) ]
[ (?x rdfs:domain ?y) -> (?x rdf:type rdf:Property) ]
[ (?x rdfs:subClassOf ?y) -> (?x rdf:type rdfs:Class) ]
[ (?x rdfs:subPropertyOf ?y) -> (?x rdf:type rdf:Property) ]
[ (?a rdf:type rdf:Statement) -> (?a rdf:type rdf:Statement) ]
[ (?a rdf:type rdf:Statement) -> (?a rdf:type rdfs:Resource) ]
[ (?a rdf:type rdfs:Literal) -> (?a rdf:type rdfs:Literal) ]
[ (?a rdf:type rdfs:Literal) -> (?a rdf:type rdfs:Resource) ]
[ (?a rdf:type rdfs:Resource) -> (?a rdf:type rdfs:Resource) ]
[ (?x rdf:type ?y) -> (?y rdf:type rdfs:Class) ]
[ (?x http://www.hpl.hp.com/semweb/2003/eg#r ?y) -> (?y rdf:type http://www.hpl.hp.com/semweb/2003/eg#C1) ]
[ (?a rdf:type http://www.hpl.hp.com/semweb/2003/eg#C1) -> (?a rdf:type http://www.hpl.hp.com/semweb/2003/eg#C2) ]
[ (?a rdf:type http://www.hpl.hp.com/semweb/2003/eg#C1) -> (?a rdf:type http://www.hpl.hp.com/semweb/2003/eg#C3) ]
[ (?x http://www.hpl.hp.com/semweb/2003/eg#r ?y) -> (?x rdf:type http://www.hpl.hp.com/semweb/2003/eg#D) ]
[ (?a http://www.hpl.hp.com/semweb/2003/eg#q ?b) -> (?a http://www.hpl.hp.com/semweb/2003/eg#r ?b) ]
[ (?a http://www.hpl.hp.com/semweb/2003/eg#p ?b) -> (?a http://www.hpl.hp.com/semweb/2003/eg#q ?b) ]
[ (?a http://www.hpl.hp.com/semweb/2003/eg#p ?b) -> (?a http://www.hpl.hp.com/semweb/2003/eg#r ?b) ]
[ (?a rdf:type http://www.hpl.hp.com/semweb/2003/eg#C1) -> (?a rdf:type http://www.hpl.hp.com/semweb/2003/eg#C1) ]
[ (?a rdf:type http://www.hpl.hp.com/semweb/2003/eg#C2) -> (?a rdf:type http://www.hpl.hp.com/semweb/2003/eg#C3) ]
[ (?a rdf:type rdfs:Datatype) -> (?a rdf:type rdfs:Class) ]
[ (?a rdfs:isDefinedBy ?b) -> (?a rdfs:seeAlso ?b) ]
[ (?a rdf:type rdfs:ContainerMembershipProperty) -> (?a rdf:type rdf:Property) ]
[ (?a rdf:type rdf:Seq) -> (?a rdf:type rdfs:Container) ]
[ (?a rdf:type rdf:Bag) -> (?a rdf:type rdfs:Container) ]
[ (?a rdf:type rdf:Alt) -> (?a rdf:type rdfs:Container) ]
[ (?x rdf:rest ?y) -> (?y rdf:type rdf:List) ]
[ (?x rdfs:label ?y) -> (?y rdf:type rdfs:Literal) ]
[ (?x rdfs:comment ?y) -> (?y rdf:type rdfs:Literal) ]
[ (?x rdf:type ?y) -> (?y rdf:type rdfs:Class) ]
[ (?x rdfs:range ?y) -> (?y rdf:type rdfs:Class) ]
[ (?x rdfs:domain ?y) -> (?y rdf:type rdfs:Class) ]
[ (?x rdfs:subClassOf ?y) -> (?y rdf:type rdfs:Class) ]
[ (?x rdfs:subPropertyOf ?y) -> (?y rdf:type rdf:Property) ]
[ (?x rdf:rest ?y) -> (?x rdf:type rdf:List) ]
[ (?x rdf:first ?y) -> (?x rdf:type rdf:List) ]
[ (?x rdf:object ?y) -> (?x rdf:type rdf:Statement) ]
[ (?x rdf:predicate ?y) -> (?x rdf:type rdf:Statement) ]
[ (?x rdf:subject ?y) -> (?x rdf:type rdf:Statement) ]
[ (?x rdfs:range ?y) -> (?x rdf:type rdf:Property) ]
[ (?x rdfs:domain ?y) -> (?x rdf:type rdf:Property) ]
[ (?x rdfs:subClassOf ?y) -> (?x rdf:type rdfs:Class) ]
[ (?x rdfs:subPropertyOf ?y) -> (?x rdf:type rdf:Property) ]
[ (?x rdf:type ?y) -> (?y rdf:type rdfs:Class) ]