Jena Rules from OwlMicro Reasoner + OWL ontology

data.owl

<?xml version="1.0"?>
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:univ-bench="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
    xmlns="http://example.org/unnamed0#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
  xml:base="http://example.org/unnamed0">
  <Uncle rdf:ID="UncleSam">
    <age rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">235</age>
  </Uncle>
</rdf:RDF>

<!-- Created with TopBraid -->

genRules.txt

[ -> table(rdf:type) ]
[ -> table(rdfs:subClassOf) ]
[ -> table(rdfs:range) ]
[ -> table(rdfs:domain) ]
[ -> table(owl:equivalentClass) ]
[ -> (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) ]
[ -> (rdfs:comment rdfs:range rdfs:Literal) ]
[ -> (rdfs:label rdfs:range rdfs:Literal) ]
[ -> (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) ]
[ rdf1and4: (?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) ] ]
[ rdfs5b: (?a rdf:type rdf:Property) -> (?a rdfs:subPropertyOf ?a) ]
[ rdfs6: (?p rdfs:subPropertyOf ?q) notEqual(?p ?q) -> table(?p ?q) [ (?a ?q ?b) <- (?a ?p ?b) ] ]
[ rdfs7: (?a rdf:type rdfs:Class) -> (?a rdfs:subClassOf ?a) ]
[ 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) ]
[ rdfs9-alt: (?a rdf:type ?y) <- bound(?y) (?x rdfs:subClassOf ?y) (?a rdf:type ?x) ]
[ rdfs9-alt: (?a rdf:type ?y) <- unbound(?y) (?a rdf:type ?x) (?x rdfs:subClassOf ?y) ]
[ 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) (owl:Nothing rdfs:subClassOf ?C) ]
[ 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 owl:Class) (?Q rdf:type owl:Class) -> (?P owl:equivalentClass ?Q) ]
[ 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 rdf:Property) (?Q rdf:type rdf:Property) -> (?P owl:equivalentProperty ?Q) ]
[ symmetricProperty1: (?P rdf:type owl:SymmetricProperty) -> table(?P) [ symmetricProperty1b: (?X ?P ?Y) <- (?Y ?P ?X) ] ]
[ inverseOf1: (?P owl:inverseOf ?Q) -> (?Q owl:inverseOf ?P) ]
[ inverseOf2: (?P owl:inverseOf ?Q) -> table(?P) table(?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) -> table(?P) [ 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) ]
[ -> (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) ]
[ -> 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) ]
[ 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) ]
[ hasValueRec: (?C owl:onProperty ?P) (?C owl:hasValue ?V) -> (?C owl:equivalentClass 'hasValue(?P ?V)'^^urn:x-hp-jena:Functor) ]
[ restrictionEq1: (?R1 owl:equivalentClass 'some(?P ?C)'^^urn:x-hp-jena:Functor) (?R2 owl:equivalentClass 'some(?P ?C)'^^urn:x-hp-jena:Functor) notEqual(?R1 ?R2) -> (?R1 owl:equivalentClass ?R2) ]
[ restrictionEq2: (?R1 owl:equivalentClass 'all(?P ?C)'^^urn:x-hp-jena:Functor) (?R2 owl:equivalentClass 'all(?P ?C)'^^urn:x-hp-jena:Functor) notEqual(?R1 ?R2) -> (?R1 owl:equivalentClass ?R2) ]
[ restrictionEq3: (?R1 owl:equivalentClass 'min(?P ?C)'^^urn:x-hp-jena:Functor) (?R2 owl:equivalentClass 'min(?P ?C)'^^urn:x-hp-jena:Functor) notEqual(?R1 ?R2) -> (?R1 owl:equivalentClass ?R2) ]
[ restrictionEq4: (?R1 owl:equivalentClass 'max(?P ?C)'^^urn:x-hp-jena:Functor) (?R2 owl:equivalentClass 'max(?P ?C)'^^urn:x-hp-jena:Functor) notEqual(?R1 ?R2) -> (?R1 owl:equivalentClass ?R2) ]
[ restrictionEq5: (?R1 owl:equivalentClass 'card(?P ?C)'^^urn:x-hp-jena:Functor) (?R2 owl:equivalentClass 'card(?P ?C)'^^urn:x-hp-jena:Functor) notEqual(?R1 ?R2) -> (?R1 owl:equivalentClass ?R2) ]
[ restrictionEq6: (?R1 owl:equivalentClass 'hasValue(?P ?C)'^^urn:x-hp-jena:Functor) (?R2 owl:equivalentClass 'hasValue(?P ?C)'^^urn:x-hp-jena:Functor) notEqual(?R1 ?R2) -> (?R1 owl:equivalentClass ?R2) ]
[ unionOf1: (?C owl:unionOf ?L) -> listMapAsSubject(?L rdfs:subClassOf ?C) ]
[ intersectionOf1: (?C owl:intersectionOf ?L) -> listMapAsObject(?C rdfs:subClassOf ?L) ]
[ 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) ] ]
[ 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) ]
[ 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) ]
[ 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) ]
[ 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) ] ]
[ 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) ]
[ 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) ]
[ 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) ] ]
[ maxRec: (?C owl:equivalentClass 'max(?P '1'^^http://www.w3.org/2001/XMLSchema#int)'^^urn:x-hp-jena:Functor) (?P rdf:type owl:FunctionalProperty) -> (owl:Thing rdfs:subClassOf ?C) ]
[ 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 owl:equivalentClass ?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 owl:equivalentClass ?C) ]
[ 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) ]
[ restriction6: (?C owl:equivalentClass 'min(?P ?X)'^^urn:x-hp-jena:Functor) (?C owl:equivalentClass 'max(?P ?X)'^^urn:x-hp-jena:Functor) -> (?C owl:equivalentClass 'card(?P ?X)'^^urn:x-hp-jena:Functor) ]
[ 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) ] ]
[ 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) ] ]
[ 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) ] ]
[ 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) ] ]
[ 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) ] ]
[ -> (:-30ce02f1:12e3b566eab:-7fe6 owl:intersectionOf :-30ce02f1:12e3b566eab:-7fe5) ]
[ -> (:-30ce02f1:12e3b566eab:-7fe6 rdf:type owl:Class) ]
[ -> (:-30ce02f1:12e3b566eab:-7fe4 rdf:rest rdf:nil) ]
[ -> (:-30ce02f1:12e3b566eab:-7fe4 rdf:first http://example.org/unnamed0#Parent) ]
[ -> (http://example.org/unnamed0#Brother rdfs:subClassOf http://example.org/unnamed0#Person) ]
[ -> (http://example.org/unnamed0#Brother rdf:type owl:Class) ]
[ -> (http://example.org/unnamed0#age rdfs:domain http://example.org/unnamed0#Person) ]
[ -> (http://example.org/unnamed0#age rdfs:range xsd:integer) ]
[ -> (http://example.org/unnamed0#age rdf:type owl:DatatypeProperty) ]
[ -> (http://example.org/unnamed0 owl:versionInfo 'Created with TopBraid Composer'^^http://www.w3.org/2001/XMLSchema#string) ]
[ -> (http://example.org/unnamed0 rdf:type owl:Ontology) ]
[ -> (http://example.org/unnamed0#Uncle rdfs:subClassOf http://example.org/unnamed0#Person) ]
[ -> (http://example.org/unnamed0#Uncle owl:equivalentClass :-30ce02f1:12e3b566eab:-7fe6) ]
[ -> (http://example.org/unnamed0#Uncle rdf:type owl:Class) ]
[ -> (:-30ce02f1:12e3b566eab:-7fe5 rdf:rest :-30ce02f1:12e3b566eab:-7fe4) ]
[ -> (:-30ce02f1:12e3b566eab:-7fe5 rdf:first http://example.org/unnamed0#Brother) ]
[ -> (http://example.org/unnamed0#Person rdfs:subClassOf owl:Thing) ]
[ -> (http://example.org/unnamed0#Person rdf:type owl:Class) ]
[ -> (http://example.org/unnamed0#Parent rdfs:subClassOf http://example.org/unnamed0#Person) ]
[ -> (http://example.org/unnamed0#Parent rdf:type owl:Class) ]

schema.owl

<?xml version="1.0"?>
<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:univ-bench="http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
    xmlns="http://example.org/unnamed0#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
  xml:base="http://example.org/unnamed0">
  <owl:Ontology rdf:about="">
    <owl:versionInfo rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >Created with TopBraid Composer</owl:versionInfo>
  </owl:Ontology>
  <owl:Class rdf:ID="Uncle">
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Class rdf:ID="Brother"/>
          <owl:Class rdf:ID="Parent"/>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
    <rdfs:subClassOf>
      <owl:Class rdf:ID="Person"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:about="#Parent">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Person"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:about="#Person">
    <rdfs:subClassOf rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
  </owl:Class>
  <owl:Class rdf:about="#Brother">
    <rdfs:subClassOf rdf:resource="#Person"/>
  </owl:Class>
  <owl:DatatypeProperty rdf:ID="age">
    <rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#integer"/>
    <rdfs:domain rdf:resource="#Person"/>
  </owl:DatatypeProperty>
</rdf:RDF>

<!-- Created with TopBraid -->