Created
February 23, 2018 16:37
-
-
Save levand/24fab04c6da4ce662cf2d0f7214d44fb to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ("[ -> tableAll() ]" | |
| "[ -> (rdf:type rdfs:range rdfs:Class) ]" | |
| "[ -> (rdfs:Resource rdf:type rdfs:Class) ]" | |
| "[ -> (rdfs:Literal rdf:type rdfs:Class) ]" | |
| "[ -> (rdf:Statement rdf:type rdfs:Class) ]" | |
| "[ -> (rdf:nil rdf:type rdf:List) ]" | |
| "[ -> (rdf:subject rdf:type rdf:Property) ]" | |
| "[ -> (rdf:object rdf:type rdf:Property) ]" | |
| "[ -> (rdf:predicate rdf:type rdf:Property) ]" | |
| "[ -> (rdf:first rdf:type rdf:Property) ]" | |
| "[ -> (rdf:rest rdf:type rdf:Property) ]" | |
| "[ -> (rdfs:subPropertyOf rdfs:domain rdf:Property) ]" | |
| "[ -> (rdfs:subClassOf rdfs:domain rdfs:Class) ]" | |
| "[ -> (rdfs:domain rdfs:domain rdf:Property) ]" | |
| "[ -> (rdfs:range rdfs:domain rdf:Property) ]" | |
| "[ -> (rdf:subject rdfs:domain rdf:Statement) ]" | |
| "[ -> (rdf:predicate rdfs:domain rdf:Statement) ]" | |
| "[ -> (rdf:object rdfs:domain rdf:Statement) ]" | |
| "[ -> (rdf:first rdfs:domain rdf:List) ]" | |
| "[ -> (rdf:rest rdfs:domain rdf:List) ]" | |
| "[ -> (rdfs:subPropertyOf rdfs:range rdf:Property) ]" | |
| "[ -> (rdfs:subClassOf rdfs:range rdfs:Class) ]" | |
| "[ -> (rdfs:domain rdfs:range rdfs:Class) ]" | |
| "[ -> (rdfs:range rdfs:range rdfs:Class) ]" | |
| "[ -> (rdf:type rdfs:range rdfs:Class) ]" | |
| "[ -> (rdf:rest rdfs:range rdf:List) ]" | |
| "[ -> (rdf:Alt rdfs:subClassOf rdfs:Container) ]" | |
| "[ -> (rdf:Bag rdfs:subClassOf rdfs:Container) ]" | |
| "[ -> (rdf:Seq rdfs:subClassOf rdfs:Container) ]" | |
| "[ -> (rdfs:ContainerMembershipProperty rdfs:subClassOf rdf:Property) ]" | |
| "[ -> (rdfs:isDefinedBy rdfs:subPropertyOf rdfs:seeAlso) ]" | |
| "[ -> (rdf:XMLLiteral rdf:type rdfs:Datatype) ]" | |
| "[ -> (rdfs:Datatype rdfs:subClassOf rdfs:Class) ]" | |
| "[ rdf4: (?x ?p ?y) -> (?p rdf:type rdf:Property) ]" | |
| "[ rdfs7b: (?a rdf:type rdfs:Class) -> (?a rdfs:subClassOf rdfs:Resource) ]" | |
| "[ rdfs2: (?p rdfs:domain ?c) -> [ (?x rdf:type ?c) <- (?x ?p ?y) ] ]" | |
| "[ rdfs3: (?p rdfs:range ?c) -> [ (?y rdf:type ?c) <- (?x ?p ?y) notFunctor(?y) ] ]" | |
| "[ rdfs5a: (?a rdfs:subPropertyOf ?b) (?b rdfs:subPropertyOf ?c) -> (?a rdfs:subPropertyOf ?c) ]" | |
| "[ rdfs5b: (?a rdfs:subPropertyOf ?a) <- (?a rdf:type rdf:Property) ]" | |
| "[ rdfs6: (?p rdfs:subPropertyOf ?q) notEqual(?p ?q) -> [ (?a ?q ?b) <- (?a ?p ?b) ] ]" | |
| "[ rdfs7: (?a rdf:type rdfs:Class) -> (?a rdfs:subClassOf ?a) ]" | |
| "[ rdfs9: (?x rdfs:subClassOf ?y) notEqual(?x ?y) -> [ (?a rdf:type ?y) <- (?a rdf:type ?x) ] ]" | |
| "[ rdfs10: (?x rdf:type rdfs:ContainerMembershipProperty) -> (?x rdfs:subPropertyOf rdfs:member) ]" | |
| "[ rdfs2-partial: (?p rdfs:domain ?c) -> (?c rdf:type rdfs:Class) ]" | |
| "[ rdfs3-partial: (?p rdfs:range ?c) -> (?c rdf:type rdfs:Class) ]" | |
| "[ rdfs2a: (?x rdfs:domain ?z) <- bound(?x) (?x rdfs:domain ?y) (?y rdfs:subClassOf ?z) ]" | |
| "[ rdfs2a: (?x rdfs:domain ?z) <- unbound(?x) (?y rdfs:subClassOf ?z) (?x rdfs:domain ?y) ]" | |
| "[ rdfs3a: (?x rdfs:range ?z) <- bound(?x) (?x rdfs:range ?y) (?y rdfs:subClassOf ?z) ]" | |
| "[ rdfs3a: (?x rdfs:range ?z) <- unbound(?x) (?y rdfs:subClassOf ?z) (?x rdfs:range ?y) ]" | |
| "[ rdfs12a: (rdf:type rdfs:subPropertyOf ?z) (?z rdfs:domain ?y) -> (rdfs:Resource rdfs:subClassOf ?y) ]" | |
| "[ rdfs12a: (rdfs:subClassOf rdfs:subPropertyOf ?z) (?z rdfs:domain ?y) -> (rdfs:Class rdfs:subClassOf ?y) ]" | |
| "[ rdfs12a: (rdfs:subPropertyOf rdfs:subPropertyOf ?z) (?z rdfs:domain ?y) -> (rdf:Property rdfs:subClassOf ?y) ]" | |
| "[ rdfs12b: (rdfs:subClassOf rdfs:subPropertyOf ?z) (?z rdfs:range ?y) -> (rdfs:Class rdfs:subClassOf ?y) ]" | |
| "[ rdfs12b: (rdfs:subPropertyOf rdfs:subPropertyOf ?z) (?z rdfs:range ?y) -> (rdf:Property rdfs:subClassOf ?y) ]" | |
| "[ rdfsder1: (?p rdfs:range ?z) <- (?p rdfs:subPropertyOf ?q) notEqual(?p ?q) (?q rdfs:range ?z) ]" | |
| "[ rdfsder2: (?p rdfs:domain ?z) <- (?p rdfs:subPropertyOf ?q) notEqual(?p ?q) (?q rdfs:domain ?z) ]" | |
| "[ -> (owl:FunctionalProperty rdfs:subClassOf rdf:Property) ]" | |
| "[ -> (owl:ObjectProperty rdfs:subClassOf rdf:Property) ]" | |
| "[ -> (owl:DatatypeProperty rdfs:subClassOf rdf:Property) ]" | |
| "[ -> (owl:InverseFunctionalProperty rdfs:subClassOf owl:ObjectProperty) ]" | |
| "[ -> (owl:TransitiveProperty rdfs:subClassOf owl:ObjectProperty) ]" | |
| "[ -> (owl:SymmetricProperty rdfs:subClassOf owl:ObjectProperty) ]" | |
| "[ -> (rdf:first rdf:type owl:FunctionalProperty) ]" | |
| "[ -> (rdf:rest rdf:type owl:FunctionalProperty) ]" | |
| "[ -> (owl:oneOf rdfs:domain owl:Class) ]" | |
| "[ -> (owl:Class rdfs:subClassOf rdfs:Class) ]" | |
| "[ -> (owl:Restriction rdfs:subClassOf owl:Class) ]" | |
| "[ -> (owl:Thing rdf:type owl:Class) ]" | |
| "[ -> (owl:Nothing rdf:type owl:Class) ]" | |
| "[ -> (owl:equivalentClass rdfs:domain owl:Class) ]" | |
| "[ -> (owl:equivalentClass rdfs:range owl:Class) ]" | |
| "[ -> (owl:disjointWith rdfs:domain owl:Class) ]" | |
| "[ -> (owl:disjointWith rdfs:range owl:Class) ]" | |
| "[ -> (owl:sameAs rdf:type owl:SymmetricProperty) ]" | |
| "[ -> (owl:onProperty rdfs:domain owl:Restriction) ]" | |
| "[ -> (owl:onProperty rdfs:range owl:Property) ]" | |
| "[ -> (owl:OntologyProperty rdfs:subClassOf rdf:Property) ]" | |
| "[ -> (owl:imports rdf:type owl:OntologyProperty) ]" | |
| "[ -> (owl:imports rdfs:domain owl:Ontology) ]" | |
| "[ -> (owl:imports rdfs:range owl:Ontology) ]" | |
| "[ -> (owl:priorVersion rdfs:domain owl:Ontology) ]" | |
| "[ -> (owl:priorVersion rdfs:range owl:Ontology) ]" | |
| "[ -> (owl:backwardCompatibleWith rdfs:domain owl:Ontology) ]" | |
| "[ -> (owl:backwardCompatibleWith rdfs:range owl:Ontology) ]" | |
| "[ -> (owl:incompatibleWith rdfs:domain owl:Ontology) ]" | |
| "[ -> (owl:incompatibleWith rdfs:range owl:Ontology) ]" | |
| "[ -> (owl:versionInfo rdf:type owl:AnnotationProperty) ]" | |
| "[ -> (owl:differentFrom rdf:type owl:SymmetricProperty) ]" | |
| "[ -> (owl:disjointWith rdf:type owl:SymmetricProperty) ]" | |
| "[ -> (owl:intersectionOf rdfs:domain owl:Class) ]" | |
| "[ thing1: (?C rdf:type owl:Class) -> (?C rdfs:subClassOf owl:Thing) ]" | |
| "[ unionOf1: (?C owl:unionOf ?L) -> listMapAsSubject(?L rdfs:subClassOf ?C) ]" | |
| "[ earlyTypeProp1: (?C rdf:type owl:Restriction) -> (?C rdf:type owl:Class) ]" | |
| "[ earlyTypeProp2: (?C owl:intersectionOf ?X) -> (?C rdf:type owl:Class) ]" | |
| "[ earlyTypeProp3: (?C rdf:type owl:Class) -> (?C rdf:type rdfs:Class) ]" | |
| "[ prototype1: (?c rdf:type owl:Class) noValue(?c rb:prototype) notEqual(?c owl:Nothing) makeTemp(?t) hide(?t) -> (?c rb:prototype ?t) (?t rdf:type ?c) ]" | |
| "[ prototype2: (?c rb:prototype ?p) -> [ prototype2b: (?c rdfs:subClassOf ?d) <- (?p rdf:type ?d) ] ]" | |
| "[ restriction1: (?C owl:onProperty ?P) (?C owl:someValuesFrom ?D) -> (?C owl:equivalentClass 'some(?P ?D)'^^urn:x-hp-jena:Functor) ]" | |
| "[ restriction2: (?C owl:onProperty ?P) (?C owl:allValuesFrom ?D) -> (?C owl:equivalentClass 'all(?P ?D)'^^urn:x-hp-jena:Functor) ]" | |
| "[ restriction3: (?C owl:onProperty ?P) (?C owl:minCardinality ?X) -> (?C owl:equivalentClass 'min(?P ?X)'^^urn:x-hp-jena:Functor) ]" | |
| "[ restriction4: (?C owl:onProperty ?P) (?C owl:maxCardinality ?X) -> (?C owl:equivalentClass 'max(?P ?X)'^^urn:x-hp-jena:Functor) ]" | |
| "[ restriction5: (?C owl:onProperty ?P) (?C owl:cardinality ?X) -> (?C owl:equivalentClass 'card(?P ?X)'^^urn:x-hp-jena:Functor) (?C rdfs:subClassOf 'min(?P ?X)'^^urn:x-hp-jena:Functor) (?C rdfs:subClassOf 'max(?P ?X)'^^urn:x-hp-jena:Functor) ]" | |
| "[ restriction6: (?C rdfs:subClassOf 'min(?P ?X)'^^urn:x-hp-jena:Functor) (?C rdfs:subClassOf 'max(?P ?X)'^^urn:x-hp-jena:Functor) -> (?C rdfs:subClassOf 'card(?P ?X)'^^urn:x-hp-jena:Functor) ]" | |
| "[ restrictionPropagate1: (?C owl:equivalentClass ?R) (?D rdfs:subClassOf ?C) -> (?D rdfs:subClassOf ?R) ]" | |
| "[ restrictionPropagate2: (?C owl:equivalentClass ?R) (?D owl:equivalentClass ?C) -> (?D owl:equivalentClass ?R) ]" | |
| "[ restrictionSubclass1: (?D owl:equivalentClass ?R) isFunctor(?R) -> [ restrictionSubclass1b: (?X rdf:type ?D) <- (?X rdf:type ?R) ] ]" | |
| "[ minRec: (?C owl:equivalentClass 'min(?P '1'^^http://www.w3.org/2001/XMLSchema#int)'^^urn:x-hp-jena:Functor) notEqual(?P rdf:type) -> [ min2b: (?X rdf:type ?C) <- (?X ?P ?Y) ] ]" | |
| "[ restriction-inter-MnS: (?P rdfs:range ?D) (?C rdfs:subClassOf 'min(?P '1'^^http://www.w3.org/2001/XMLSchema#int)'^^urn:x-hp-jena:Functor) -> (?C rdfs:subClassOf 'some(?P ?D)'^^urn:x-hp-jena:Functor) ]" | |
| "[ maxRec: (?C owl:equivalentClass 'max(?P '1'^^http://www.w3.org/2001/XMLSchema#int)'^^urn:x-hp-jena:Functor) (?P rdf:type owl:FunctionalProperty) -> [ (?X rdf:type ?C) <- (?X rdf:type owl:Thing) ] ]" | |
| "[ maxRec2: (?C owl:equivalentClass 'max(?P '0'^^http://www.w3.org/2001/XMLSchema#int)'^^urn:x-hp-jena:Functor) (?P rdfs:domain ?D) (?E owl:disjointWith ?D) -> (?E rdfs:subClassOf ?C) ]" | |
| "[ cardRec1: (?C owl:equivalentClass 'card(?P '0'^^http://www.w3.org/2001/XMLSchema#int)'^^urn:x-hp-jena:Functor) (?P rdfs:domain ?D) (?E owl:disjointWith ?D) -> (?E rdfs:subClassOf ?C) ]" | |
| "[ cardRec3: (?C owl:equivalentClass 'card(?P '0'^^http://www.w3.org/2001/XMLSchema#int)'^^urn:x-hp-jena:Functor) -> [ cardRec2b: (?X rdf:type ?C) <- (?X rdf:type 'max(?P '0'^^http://www.w3.org/2001/XMLSchema#int)'^^urn:x-hp-jena:Functor) ] ]" | |
| "[ restriction-inter-CFP: (?C owl:equivalentClass 'card(?P '1'^^http://www.w3.org/2001/XMLSchema#int)'^^urn:x-hp-jena:Functor) (?P rdf:type owl:FunctionalProperty) -> (?C owl:equivalentClass 'min(?P '1'^^http://www.w3.org/2001/XMLSchema#int)'^^urn:x-hp-jena:Functor) ]" | |
| "[ cardRec2: (?C owl:equivalentClass 'card(?P '1'^^http://www.w3.org/2001/XMLSchema#int)'^^urn:x-hp-jena:Functor) -> [ cardRec2b: (?X rdf:type ?C) <- (?X rdf:type 'min(?P '1'^^http://www.w3.org/2001/XMLSchema#int)'^^urn:x-hp-jena:Functor) (?X rdf:type 'max(?P '1'^^http://www.w3.org/2001/XMLSchema#int)'^^urn:x-hp-jena:Functor) ] ]" | |
| "[ someRec2: (?C owl:equivalentClass 'some(?P ?D)'^^urn:x-hp-jena:Functor) -> [ someRec2b: (?X rdf:type ?C) <- (?X ?P ?A) (?A rdf:type ?D) ] ]" | |
| "[ someRec2b: (?C owl:equivalentClass 'some(?P ?D)'^^urn:x-hp-jena:Functor) (?D rdf:type rdfs:Datatype) -> [ someRec2b: (?X rdf:type ?C) <- (?X ?P ?A) isDType(?A ?D) ] ]" | |
| "[ all1: (?C rdfs:subClassOf 'all(?P ?D)'^^urn:x-hp-jena:Functor) notEqual(?P rdf:type) notEqual(?C ?D) -> [ all1b: (?Y rdf:type ?D) <- (?X ?P ?Y) (?X rdf:type ?C) ] ]" | |
| "[ allRec1: (?C rdfs:subClassOf 'max(?P '1'^^http://www.w3.org/2001/XMLSchema#int)'^^urn:x-hp-jena:Functor) (?C rdfs:subClassOf 'some(?P ?D)'^^urn:x-hp-jena:Functor) -> (?C rdfs:subClassOf 'all(?P ?D)'^^urn:x-hp-jena:Functor) ]" | |
| "[ allRec2: (?P rdf:type owl:FunctionalProperty) (?C rdfs:subClassOf 'some(?P ?C)'^^urn:x-hp-jena:Functor) -> (?C rdfs:subClassOf 'all(?P ?C)'^^urn:x-hp-jena:Functor) ]" | |
| "[ allRec3: (?C owl:equivalentClass 'all(?P ?D)'^^urn:x-hp-jena:Functor) (?P rdfs:range ?D) -> [ (?X rdf:type ?C) <- (?X rdf:type owl:Thing) ] ]" | |
| "[ allRec4: (?P rdf:type owl:FunctionalProperty) (?C owl:equivalentClass 'all(?P ?D)'^^urn:x-hp-jena:Functor) -> [ (?X rdf:type ?C) <- (?X ?P ?Y) (?Y rdf:type ?D) ] ]" | |
| "[ allRec5: (?C rdfs:subClassOf 'max(?P '1'^^http://www.w3.org/2001/XMLSchema#int)'^^urn:x-hp-jena:Functor) (?C owl:equivalentClass 'all(?P ?D)'^^urn:x-hp-jena:Functor) -> [ (?X rdf:type ?C) <- (?X ?P ?Y) (?Y rdf:type ?D) ] ]" | |
| "[ restriction-inter-RA-T: (?P rdfs:range ?C) (?D owl:equivalentClass 'all(?P ?C)'^^urn:x-hp-jena:Functor) -> (owl:Thing rdfs:subClassOf ?D) ]" | |
| "[ restriction-inter-AT-R: (owl:Thing rdfs:subClassOf 'all(?P ?C)'^^urn:x-hp-jena:Functor) -> (?P rdfs:range ?C) (?P rdf:type owl:ObjectProperty) ]" | |
| "[ nothing1: (?C rdfs:subClassOf 'min(?P ?n)'^^urn:x-hp-jena:Functor) (?C rdfs:subClassOf 'max(?P ?x)'^^urn:x-hp-jena:Functor) lessThan(?x ?n) -> (?C owl:equivalentClass owl:Nothing) ]" | |
| "[ nothing2: (?C rdfs:subClassOf ?D) (?C rdfs:subClassOf ?E) (?D owl:disjointWith ?E) -> (?C owl:equivalentClass owl:Nothing) ]" | |
| "[ nothing3: (?C rdfs:subClassOf owl:Nothing) -> (?C owl:equivalentClass owl:Nothing) ]" | |
| "[ nothing4: (?C owl:oneOf rdf:nil) -> (?C owl:equivalentClass owl:Nothing) ]" | |
| "[ distinct1: (?X owl:differentFrom ?Y) <- (?C owl:disjointWith ?D) (?X rdf:type ?C) (?Y rdf:type ?D) ]" | |
| "[ distinct2: (?w owl:distinctMembers ?L) -> assertDisjointPairs(?L) ]" | |
| "[ equivalentClass1: (?P owl:equivalentClass ?Q) -> (?P rdfs:subClassOf ?Q) (?Q rdfs:subClassOf ?P) ]" | |
| "[ equivalentClass2: (?P owl:equivalentClass ?Q) <- (?P rdfs:subClassOf ?Q) (?Q rdfs:subClassOf ?P) ]" | |
| "[ equivalentClass3: (?P owl:sameAs ?Q) (?P rdf:type rdfs:Class) (?Q rdf:type rdfs:Class) -> (?P owl:equivalentClass ?Q) ]" | |
| "[ fp1: (?P rdf:type owl:FunctionalProperty) (?A ?P ?B) notLiteral(?B) (?A ?P ?C) notLiteral(?C) notEqual(?B ?C) -> (?B owl:sameAs ?C) ]" | |
| "[ ifp1: (?P rdf:type owl:InverseFunctionalProperty) (?A ?P ?B) (?C ?P ?B) notEqual(?A ?C) -> (?A owl:sameAs ?C) ]" | |
| "[ fp1: (?P rdf:type owl:FunctionalProperty) (?A ?P ?B) notLiteral(?B) (?A ?Q ?C) notLiteral(?C) notEqual(?B ?C) (?Q rdfs:subPropertyOf ?P) -> (?B owl:sameAs ?C) ]" | |
| "[ ifp1: (?P rdf:type owl:InverseFunctionalProperty) (?A ?P ?B) (?C ?Q ?B) notEqual(?A ?C) (?Q rdfs:subPropertyOf ?P) -> (?A owl:sameAs ?C) ]" | |
| "[ fpEarlyProp: (?P rdf:type owl:FunctionalProperty) (?Q rdfs:subPropertyOf ?P) -> (?Q rdf:type owl:FunctionalProperty) ]" | |
| "[ ifpEarlyProp: (?P rdf:type owl:InverseFunctionalProperty) (?Q rdfs:subPropertyOf ?P) -> (?Q rdf:type owl:InverseFunctionalProperty) ]" | |
| "[ max1: (?C rdfs:subClassOf 'max(?P '1'^^http://www.w3.org/2001/XMLSchema#int)'^^urn:x-hp-jena:Functor) (?X ?P ?Y1) notLiteral(?Y1) (?X rdf:type ?C) (?X ?P ?Y2) notLiteral(?Y2) notEqual(?Y1 ?Y2) -> (?Y1 owl:sameAs ?Y2) ]" | |
| "[ subClassTemp: (?C rdfs:subClassOf ?R) isFunctor(?R) (?B rdfs:subClassOf ?C) -> (?B rdfs:subClassOf ?R) ]" | |
| "[ sameAs1: (?A owl:sameAs ?B) -> (?B owl:sameAs ?A) ]" | |
| "[ sameAs2: (?A owl:sameAs ?B) (?B owl:sameAs ?C) -> (?A owl:sameAs ?C) ]" | |
| "[ sameAs6: (?X rdf:type owl:Thing) <- (?X owl:sameAs ?Y) ]" | |
| "[ sameAs7: (?X owl:sameAs ?X) <- (?X rdf:type owl:Thing) ]" | |
| "[ equality1: (?X owl:sameAs ?Y) notEqual(?X ?Y) -> [ (?X ?P ?V) <- (?Y ?P ?V) ] [ (?V ?P ?X) <- (?V ?P ?Y) ] ]" | |
| "[ equality2: (?X owl:sameAs ?Y) (?X rdf:type owl:Class) -> (?X owl:equivalentClass ?Y) ]" | |
| "[ equality3: (?X owl:sameAs ?Y) (?X rdf:type rdf:Property) -> (?X owl:equivalentProperty ?Y) ]" | |
| "[ equivalentProperty1: (?P owl:equivalentProperty ?Q) -> (?P rdfs:subPropertyOf ?Q) (?Q rdfs:subPropertyOf ?P) ]" | |
| "[ equivalentProperty2: (?P rdfs:subPropertyOf ?Q) (?Q rdfs:subPropertyOf ?P) -> (?P owl:equivalentProperty ?Q) ]" | |
| "[ equivalentProperty3: (?P owl:sameAs ?Q) (?P rdf:type rdfs:Property) (?Q rdf:type rdfs:Property) -> (?P owl:equivalentProperty ?Q) ]" | |
| "[ symmetricProperty1: (?P rdf:type owl:SymmetricProperty) -> [ symmetricProperty1b: (?X ?P ?Y) <- (?Y ?P ?X) ] ]" | |
| "[ inverseOf1: (?P owl:inverseOf ?Q) -> (?Q owl:inverseOf ?P) ]" | |
| "[ inverseOf2: (?P owl:inverseOf ?Q) -> [ inverseOf2b: (?X ?P ?Y) <- (?Y ?Q ?X) ] ]" | |
| "[ inverseOf3: (?P owl:inverseOf ?Q) (?P rdf:type owl:FunctionalProperty) -> (?Q rdf:type owl:InverseFunctionalProperty) ]" | |
| "[ inverseOf4: (?P owl:inverseOf ?Q) (?P rdf:type owl:InverseFunctionalProperty) -> (?Q rdf:type owl:FunctionalProperty) ]" | |
| "[ inverseof5: (?P owl:inverseOf ?Q) (?P rdfs:range ?C) -> (?Q rdfs:domain ?C) ]" | |
| "[ inverseof6: (?P owl:inverseOf ?Q) (?P rdfs:domain ?C) -> (?Q rdfs:range ?C) ]" | |
| "[ transitiveProperty1: (?P rdf:type owl:TransitiveProperty) -> [ transitiveProperty1b: (?A ?P ?C) <- bound(?C) (?B ?P ?C) (?A ?P ?B) ] [ transitiveProperty1b: (?A ?P ?C) <- unbound(?C) (?A ?P ?B) (?B ?P ?C) ] ]" | |
| "[ objectProperty: (?P rdf:type owl:ObjectProperty) -> (?P rdfs:domain owl:Thing) (?P rdfs:range owl:Thing) ]" | |
| "[ hasValueRec: (?C rdf:type owl:Restriction) (?C owl:onProperty ?P) (?C owl:hasValue ?V) -> (?C owl:equivalentClass 'hasValue(?P ?V)'^^urn:x-hp-jena:Functor) ]" | |
| "[ hasValueIF: (?C owl:equivalentClass 'hasValue(?P ?V)'^^urn:x-hp-jena:Functor) -> [ (?x ?P ?V) <- (?x rdf:type ?C) ] [ (?x rdf:type ?C) <- (?x ?P ?V) ] ]" | |
| "[ hasValueProp: (?P rdf:type owl:FunctionalProperty) (?Q rdf:type owl:FunctionalProperty) (?P rdfs:domain ?D) (?Q rdfs:domain ?D) (?D owl:equivalentClass 'hasValue(?P ?V)'^^urn:x-hp-jena:Functor) (?D owl:equivalentClass 'hasValue(?Q ?V)'^^urn:x-hp-jena:Functor) -> (?P owl:equivalentProperty ?Q) ]" | |
| "[ oneOfFP: (?P rdfs:range ?C) (?C owl:oneOf ?l) (?l rdf:first ?x) (?l rdf:rest rdf:nil) -> (?P rdf:type owl:FunctionalProperty) ]" | |
| "[ oneOfIFP: (?P rdfs:domain ?C) (?C owl:oneOf ?l) (?l rdf:first ?x) (?l rdf:rest rdf:nil) -> (?P rdf:type owl:InverseFunctionalProperty) ]" | |
| "[ oneOf1: (?C owl:oneOf ?l) -> listMapAsSubject(?l rdf:type ?C) ]" | |
| "[ oneOf2: (?C owl:oneOf ?l1) (?D owl:oneOf ?l2) notEqual(?l1 ?l2) listEqual(?l1 ?l2) -> (?C owl:equivalentClass ?D) ]" | |
| "[ oneOf3: (?C owl:oneOf ?l) (?l rdf:first ?x) (?l rdf:rest rdf:nil) -> [ (?Y ?P ?x) <- (?Y ?P ?I) (?I rdf:type ?C) ] ]" | |
| "[ -> (xsd:float rdf:type rdfs:Datatype) ]" | |
| "[ -> (xsd:double rdf:type rdfs:Datatype) ]" | |
| "[ -> (xsd:int rdf:type rdfs:Datatype) ]" | |
| "[ -> (xsd:long rdf:type rdfs:Datatype) ]" | |
| "[ -> (xsd:short rdf:type rdfs:Datatype) ]" | |
| "[ -> (xsd:byte rdf:type rdfs:Datatype) ]" | |
| "[ -> (xsd:unsignedByte rdf:type rdfs:Datatype) ]" | |
| "[ -> (xsd:unsignedShort rdf:type rdfs:Datatype) ]" | |
| "[ -> (xsd:unsignedInt rdf:type rdfs:Datatype) ]" | |
| "[ -> (xsd:unsignedLong rdf:type rdfs:Datatype) ]" | |
| "[ -> (xsd:decimal rdf:type rdfs:Datatype) ]" | |
| "[ -> (xsd:integer rdf:type rdfs:Datatype) ]" | |
| "[ -> (xsd:nonPositiveInteger rdf:type rdfs:Datatype) ]" | |
| "[ -> (xsd:nonNegativeInteger rdf:type rdfs:Datatype) ]" | |
| "[ -> (xsd:positiveInteger rdf:type rdfs:Datatype) ]" | |
| "[ -> (xsd:negativeInteger rdf:type rdfs:Datatype) ]" | |
| "[ -> (xsd:boolean rdf:type rdfs:Datatype) ]" | |
| "[ -> (xsd:string rdf:type rdfs:Datatype) ]" | |
| "[ -> (xsd:anyURI rdf:type rdfs:Datatype) ]" | |
| "[ -> (xsd:hexBinary rdf:type rdfs:Datatype) ]" | |
| "[ -> (xsd:base64Binary rdf:type rdfs:Datatype) ]" | |
| "[ -> (xsd:date rdf:type rdfs:Datatype) ]" | |
| "[ -> (xsd:time rdf:type rdfs:Datatype) ]" | |
| "[ -> (xsd:dateTime rdf:type rdfs:Datatype) ]" | |
| "[ -> (xsd:duration rdf:type rdfs:Datatype) ]" | |
| "[ -> (xsd:gDay rdf:type rdfs:Datatype) ]" | |
| "[ -> (xsd:gMonth rdf:type rdfs:Datatype) ]" | |
| "[ -> (xsd:gYear rdf:type rdfs:Datatype) ]" | |
| "[ -> (xsd:gYearMonth rdf:type rdfs:Datatype) ]" | |
| "[ -> (xsd:gMonthDay rdf:type rdfs:Datatype) ]" | |
| "[ -> (xsd:integer rdfs:subClassOf xsd:decimal) ]" | |
| "[ -> hide(rb:xsdBase) ]" | |
| "[ -> hide(rb:xsdRange) ]" | |
| "[ -> hide(rb:prototype) ]" | |
| "[ -> (xsd:byte rb:xsdBase xsd:decimal) ]" | |
| "[ -> (xsd:short rb:xsdBase xsd:decimal) ]" | |
| "[ -> (xsd:int rb:xsdBase xsd:decimal) ]" | |
| "[ -> (xsd:long rb:xsdBase xsd:decimal) ]" | |
| "[ -> (xsd:unsignedByte rb:xsdBase xsd:decimal) ]" | |
| "[ -> (xsd:unsignedShort rb:xsdBase xsd:decimal) ]" | |
| "[ -> (xsd:unsignedInt rb:xsdBase xsd:decimal) ]" | |
| "[ -> (xsd:unsignedLong rb:xsdBase xsd:decimal) ]" | |
| "[ -> (xsd:integer rb:xsdBase xsd:decimal) ]" | |
| "[ -> (xsd:nonNegativeInteger rb:xsdBase xsd:decimal) ]" | |
| "[ -> (xsd:nonPositiveInteger rb:xsdBase xsd:decimal) ]" | |
| "[ -> (xsd:byte rb:xsdBase xsd:decimal) ]" | |
| "[ -> (xsd:float rb:xsdBase xsd:float) ]" | |
| "[ -> (xsd:decimal rb:xsdBase xsd:decimal) ]" | |
| "[ -> (xsd:string rb:xsdBase xsd:string) ]" | |
| "[ -> (xsd:boolean rb:xsdBase xsd:boolean) ]" | |
| "[ -> (xsd:date rb:xsdBase xsd:date) ]" | |
| "[ -> (xsd:time rb:xsdBase xsd:time) ]" | |
| "[ -> (xsd:dateTime rb:xsdBase xsd:dateTime) ]" | |
| "[ -> (xsd:duration rb:xsdBase xsd:duration) ]" | |
| "[ -> (xsd:byte rb:xsdRange 'xsd(xsd:integer '1'^^http://www.w3.org/2001/XMLSchema#int '8'^^http://www.w3.org/2001/XMLSchema#int)'^^urn:x-hp-jena:Functor) ]" | |
| "[ -> (xsd:short rb:xsdRange 'xsd(xsd:integer '1'^^http://www.w3.org/2001/XMLSchema#int '16'^^http://www.w3.org/2001/XMLSchema#int)'^^urn:x-hp-jena:Functor) ]" | |
| "[ -> (xsd:int rb:xsdRange 'xsd(xsd:integer '1'^^http://www.w3.org/2001/XMLSchema#int '32'^^http://www.w3.org/2001/XMLSchema#int)'^^urn:x-hp-jena:Functor) ]" | |
| "[ -> (xsd:long rb:xsdRange 'xsd(xsd:integer '1'^^http://www.w3.org/2001/XMLSchema#int '64'^^http://www.w3.org/2001/XMLSchema#int)'^^urn:x-hp-jena:Functor) ]" | |
| "[ -> (xsd:integer rb:xsdRange 'xsd(xsd:integer '1'^^http://www.w3.org/2001/XMLSchema#int '65'^^http://www.w3.org/2001/XMLSchema#int)'^^urn:x-hp-jena:Functor) ]" | |
| "[ -> (xsd:unsignedByte rb:xsdRange 'xsd(xsd:integer '0'^^http://www.w3.org/2001/XMLSchema#int '8'^^http://www.w3.org/2001/XMLSchema#int)'^^urn:x-hp-jena:Functor) ]" | |
| "[ -> (xsd:unsignedShort rb:xsdRange 'xsd(xsd:integer '0'^^http://www.w3.org/2001/XMLSchema#int '16'^^http://www.w3.org/2001/XMLSchema#int)'^^urn:x-hp-jena:Functor) ]" | |
| "[ -> (xsd:unsignedInt rb:xsdRange 'xsd(xsd:integer '0'^^http://www.w3.org/2001/XMLSchema#int '32'^^http://www.w3.org/2001/XMLSchema#int)'^^urn:x-hp-jena:Functor) ]" | |
| "[ -> (xsd:unsignedLong rb:xsdRange 'xsd(xsd:integer '0'^^http://www.w3.org/2001/XMLSchema#int '64'^^http://www.w3.org/2001/XMLSchema#int)'^^urn:x-hp-jena:Functor) ]" | |
| "[ -> (xsd:nonNegativeInteger rb:xsdRange 'xsd(xsd:integer '0'^^http://www.w3.org/2001/XMLSchema#int '65'^^http://www.w3.org/2001/XMLSchema#int)'^^urn:x-hp-jena:Functor) ]" | |
| "[ xsd1: (?X rdfs:subClassOf ?Y) <- (?X rb:xsdRange 'xsd(?B '0'^^http://www.w3.org/2001/XMLSchema#int ?L)'^^urn:x-hp-jena:Functor) (?Y rb:xsdRange 'xsd(?B ?S ?L2)'^^urn:x-hp-jena:Functor) le(?L ?L2) ]" | |
| "[ xsd2: (?X rdfs:subClassOf ?Y) <- (?X rb:xsdRange 'xsd(?B '1'^^http://www.w3.org/2001/XMLSchema#int ?L)'^^urn:x-hp-jena:Functor) (?Y rb:xsdRange 'xsd(?B '1'^^http://www.w3.org/2001/XMLSchema#int ?L2)'^^urn:x-hp-jena:Functor) le(?L ?L2) ]" | |
| "[ range2: (?P rdfs:range xsd:byte) <- (?P rdfs:range xsd:nonNegativeInteger) (?P rdfs:range xsd:nonPositiveInteger) ]" | |
| "[ range3: (?P rdfs:range owl:Nothing) <- (?P rdfs:range ?C) (?P rdfs:range ?D) notEqual(?C ?D) (?C owl:disjointWith ?D) ]" | |
| "[ xsd3: (?C owl:disjointWith ?D) <- (?C rb:xsdBase ?BC) (?D rb:xsdBase ?BD) notEqual(?BC ?BD) ]" | |
| "[ range4: (?P rdfs:subPropertyOf ?Q) <- (?P rdfs:range owl:Nothing) (?Q rdf:type rdf:Property) ]" | |
| "[ validationDomainMax0: (?v rb:validation 'on()'^^urn:x-hp-jena:Functor) (?C rdfs:subClassOf 'max(?P '0'^^http://www.w3.org/2001/XMLSchema#int)'^^urn:x-hp-jena:Functor) (?P rdfs:domain ?C) -> (?P rb:violation 'error('inconsistent property definition' 'Property defined with domain which has a max(0) restriction for that property (domain)' ?C)'^^urn:x-hp-jena:Functor) ]" | |
| "[ validationMax0: (?v rb:validation 'on()'^^urn:x-hp-jena:Functor) (?C rdfs:subClassOf 'max(?P '0'^^http://www.w3.org/2001/XMLSchema#int)'^^urn:x-hp-jena:Functor) -> [ max2b: (?X rb:violation 'error('too many values' 'Value for max-0 property (prop, class)' ?P ?C)'^^urn:x-hp-jena:Functor) <- (?X rdf:type ?C) (?X ?P ?Y) ] ]" | |
| "[ validationMaxN: (?v rb:validation 'on()'^^urn:x-hp-jena:Functor) (?C rdfs:subClassOf 'max(?P ?N)'^^urn:x-hp-jena:Functor) -> [ max2b: (?X rb:violation 'error('too many values' 'Too many values on max-N property (prop, class)' ?P ?C)'^^urn:x-hp-jena:Functor) <- (?X rdf:type ?C) countLiteralValues(?X ?P ?M) lessThan(?N ?M) ] ]" | |
| "[ validationFP: (?v rb:validation 'on()'^^urn:x-hp-jena:Functor) (?P rdf:type owl:FunctionalProperty) -> [ fpb: (?X rb:violation 'error('too many values' 'Clashing literal values for functional property' ?P ?V ?U)'^^urn:x-hp-jena:Functor) <- (?X ?P ?V) countLiteralValues(?X ?P ?M) greaterThan(?M '1'^^http://www.w3.org/2001/XMLSchema#int) ] ]" | |
| "[ validationMax1I: (?v rb:validation 'on()'^^urn:x-hp-jena:Functor) (?C rdfs:subClassOf 'max(?P '1'^^http://www.w3.org/2001/XMLSchema#int)'^^urn:x-hp-jena:Functor) (?P rdf:type owl:ObjectProperty) -> [ fpb: (?X rb:violation 'error('too many values' 'Clashing individual values for card1 property' ?P ?V ?U)'^^urn:x-hp-jena:Functor) <- (?X rdf:type ?C) (?X ?P ?V) (?X ?P ?U) notEqual(?V ?U) (?U owl:differentFrom ?V) ] ]" | |
| "[ validationFPI: (?v rb:validation 'on()'^^urn:x-hp-jena:Functor) (?P rdf:type owl:FunctionalProperty) (?P rdf:type owl:ObjectProperty) -> [ fpb: (?X rb:violation 'error('too many values' 'Clashing individual values for functional property' ?P ?V ?U)'^^urn:x-hp-jena:Functor) <- (?X ?P ?V) (?X ?P ?U) notEqual(?V ?U) (?U owl:differentFrom ?V) ] ]" | |
| "[ validationIndiv: (?v rb:validation 'on()'^^urn:x-hp-jena:Functor) -> [ validationIndiv: (?X rb:violation 'error('conflict' 'Two individuals both same and different, may be due to disjoint classes or functional properties' ?Y)'^^urn:x-hp-jena:Functor) <- (?X owl:differentFrom ?Y) (?X owl:sameAs ?Y) noValue(?T rb:prototype ?X) ] ]" | |
| "[ validationIndiv2: (?v rb:validation 'on()'^^urn:x-hp-jena:Functor) (?X owl:disjointWith ?Y) -> [ validationIndiv: (?I rb:violation 'error('conflict' 'Individual a member of disjoint classes' ?X ?Y)'^^urn:x-hp-jena:Functor) <- (?I rdf:type ?X) (?I rdf:type ?Y) noValue(?T rb:prototype ?I) ] ]" | |
| "[ validationIndiv3: (?v rb:validation 'on()'^^urn:x-hp-jena:Functor) -> [ validationIndiv: (?I rb:violation 'error('conflict' 'Individual a member of Nothing' ?I)'^^urn:x-hp-jena:Functor) <- (?I rdf:type owl:Nothing) noValue(?T rb:prototype ?I) ] ]" | |
| "[ validationDisjoint: (?v rb:validation 'on()'^^urn:x-hp-jena:Functor) (?X owl:disjointWith ?Y) -> [ validationIndiv: (?X rb:violation 'warn('Inconsistent class' 'Two classes related by both subclass and disjoint relations' ?Y)'^^urn:x-hp-jena:Functor) <- (?X owl:disjointWith ?Y) (?X rdfs:subClassOf ?Y) ] ]" | |
| "[ validationDisjoint2: (?v rb:validation 'on()'^^urn:x-hp-jena:Functor) (?X owl:disjointWith ?Y) -> [ validationIndiv: (?C rb:violation 'warn('Inconsistent class' 'subclass of two disjoint classes' ?X ?Y)'^^urn:x-hp-jena:Functor) <- (?X owl:disjointWith ?Y) (?C rdfs:subClassOf ?X) (?C rdfs:subClassOf ?Y) notEqual(?C owl:Nothing) ] ]" | |
| "[ validationDTP: (?v rb:validation 'on()'^^urn:x-hp-jena:Functor) (?P rdf:type owl:DatatypeProperty) -> [ validationDTP: (?X rb:violation 'error('range check' 'Object value for datatype property (prop, value)' ?P ?V)'^^urn:x-hp-jena:Functor) <- (?X ?P ?V) notLiteral(?V) notBNode(?V) ] ]" | |
| "[ validationOP: (?v rb:validation 'on()'^^urn:x-hp-jena:Functor) (?P rdf:type owl:ObjectProperty) -> [ validationDTP: (?X rb:violation 'warn('range check' 'Literal value for object property (prop, value)' ?P ?V)'^^urn:x-hp-jena:Functor) <- (?X ?P ?V) isLiteral(?V) ] ]" | |
| "[ validationDTRange: (?v rb:validation 'on()'^^urn:x-hp-jena:Functor) (?P rdfs:range ?R) (?R rdf:type rdfs:Datatype) -> [ validationDTRange: (?X rb:violation 'error('range check' 'Incorrectly typed literal due to range (prop, value)' ?P ?V)'^^urn:x-hp-jena:Functor) <- (?X ?P ?V) notDType(?V ?R) ] ]" | |
| "[ validationDTRange: (?v rb:validation 'on()'^^urn:x-hp-jena:Functor) (?P rdfs:range rdfs:Literal) -> [ validationDTRange: (?X rb:violation 'error('range check' 'Incorrectly typed literal due to range rdsf:Literal (prop, value)' ?P ?V)'^^urn:x-hp-jena:Functor) <- (?X ?P ?V) notLiteral(?V) notBNode(?V) ] ]" | |
| "[ validationAllFrom: (?v rb:validation 'on()'^^urn:x-hp-jena:Functor) (?C rdfs:subClassOf 'all(?P ?R)'^^urn:x-hp-jena:Functor) (?R rdf:type rdfs:Datatype) -> [ validationDTRange: (?X rb:violation 'error('range check' 'Incorrectly typed literal due to allValuesFrom (prop, value)' ?P ?V)'^^urn:x-hp-jena:Functor) <- (?X ?P ?V) (?X rdf:type ?C) notDType(?V ?R) ] ]" | |
| "[ validationAllFrom: (?v rb:validation 'on()'^^urn:x-hp-jena:Functor) (?C owl:equivalentClass 'all(?P rdfs:Literal)'^^urn:x-hp-jena:Functor) -> [ validationDTRange: (?X rb:violation 'error('range check' 'Incorrectly typed literal due to allValuesFrom rdfs:Literal (prop, value)' ?P ?V)'^^urn:x-hp-jena:Functor) <- (?X ?P ?V) (?X rdf:type ?C) notDType(?V rdfs:Literal) ] ]" | |
| "[ validationNothing: (?v rb:validation 'on()'^^urn:x-hp-jena:Functor) (?C owl:equivalentClass owl:Nothing) notEqual(?C owl:Nothing) -> (?C rb:violation 'warn('Inconsistent class' 'Class cannot be instantiated, probably subclass of a disjoint classes or of an empty restriction')'^^urn:x-hp-jena:Functor) ]" | |
| "[ validationRangeNothing: (?v rb:validation 'on()'^^urn:x-hp-jena:Functor) (?P rdfs:range owl:Nothing) -> (?C rb:violation 'warn('Inconsistent property' 'Property cannot be instantiated, probably due to multiple disjoint range declarations')'^^urn:x-hp-jena:Functor) ]" | |
| "[ validationOneOf: (?v rb:validation 'on()'^^urn:x-hp-jena:Functor) (?C owl:oneOf ?L) -> [ validationIndiv: (?X rb:violation 'warn('possible oneof violation' 'Culprit is deduced to be of enumerated type (implicicated class) but is not one of the enumerationsn This may be due to aliasing.' ?Y)'^^urn:x-hp-jena:Functor) <- (?X rdf:type ?C) notBNode(?X) listNotContains(?L ?X) ] ]") |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment