prefix rs: <http://www.w3.org/2001/sw/DataAccess/tests/result-set#>
prefix owl: <http://www.w3.org/2002/07/owl#>
prefix xsd: <http://www.w3.org/2001/XMLSchema#>
prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>
prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>

[a owl:Axiom ;
  rdfs:comment "States that every man is a person." ;
  owl:annotatedProperty rdfs:subClassOf ;
  owl:annotatedSource <http://example.com/owl/families/Man> ;
  owl:annotatedTarget <http://example.com/owl/families/Person>] .

[a owl:Class ;
  rdfs:subClassOf [a owl:Class ;
    owl:intersectionOf (<http://example.com/owl/families/Parent>
    [a owl:Restriction ;
      owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
      owl:onProperty <http://example.com/owl/families/hasChild>]
    [a owl:Restriction ;
      owl:allValuesFrom <http://example.com/owl/families/Female> ;
      owl:onProperty <http://example.com/owl/families/hasChild>])] ;
  owl:intersectionOf ([a owl:Class ;
    owl:oneOf (<http://example.com/owl/families/Mary>
    <http://example.com/owl/families/Bill>
    <http://example.com/owl/families/Meg>)]
    OWL EL: Enumeration with more than one individual or literal
    
    <http://example.com/owl/families/Female>)] .
    OWL: Expression E in: unionOf, intersectionOf, complementOf, oneOf require: subClassOf E, equivalentClass E, etc.
OWL QL: Statement not supported in a Sub Class Expression.
    

[a owl:AllDisjointClasses ;
  owl:members (<http://example.com/owl/families/Woman>
  <http://example.com/owl/families/Man>)] .

[a owl:AllDisjointClasses ;
  owl:members (<http://example.com/owl/families/Mother>
  <http://example.com/owl/families/Father>
  <http://example.com/owl/families/YoungChild>)] .

[a owl:NegativePropertyAssertion ;
  owl:assertionProperty <http://example.com/owl/families/hasWife> ;
  owl:sourceIndividual <http://example.com/owl/families/Bill> ;
  owl:targetIndividual <http://example.com/owl/families/Mary>] .

[a owl:NegativePropertyAssertion ;
  owl:assertionProperty <http://example.com/owl/families/hasAge> ;
  owl:sourceIndividual <http://example.com/owl/families/Jack> ;
  owl:targetValue 53] .

[a owl:NegativePropertyAssertion ;
  owl:assertionProperty <http://example.com/owl/families/hasDaughter> ;
  owl:sourceIndividual <http://example.com/owl/families/Bill> ;
  owl:targetIndividual <http://example.com/owl/families/Susan>] .

<http://example.com/owl/families>
  a owl:Ontology .

<http://example.com/owl/families/Adult>
  a owl:Class ;
  owl:equivalentClass <http://example.org/otherOntologies/families/Grownup> .

<http://example.com/owl/families/ChildlessPerson>
  a owl:Class ;
  rdfs:subClassOf [a owl:Class ;
    owl:intersectionOf (<http://example.com/owl/families/Person>
    [a owl:Class ;
      owl:complementOf [a owl:Restriction ;
        owl:onProperty [a owl:ObjectProperty ;
          owl:inverseOf <http://example.com/owl/families/hasParent>] ;
        owl:someValuesFrom owl:Thing]]
    OWL EL: Statement not supported in a Class Expression.
    )] ;
  owl:equivalentClass [a owl:Class ;
    owl:intersectionOf ([a owl:Class ;
      owl:complementOf <http://example.com/owl/families/Parent>]
    OWL RL: Statement not supported in an Equivalent Class Expression.
OWL EL: Statement not supported in a Class Expression.
    
    <http://example.com/owl/families/Person>)]
    OWL RL: Class Expression not supported with owl:equivalentClass or owl:intersectionOf.
OWL QL: Statement not supported in a Sub Class Expression.
     .

<http://example.com/owl/families/Father>
  a <http://example.com/owl/families/SocialRole> ;
  a owl:Class ;
  rdfs:subClassOf [a owl:Class ;
    owl:intersectionOf (<http://example.com/owl/families/Man>
    <http://example.com/owl/families/Parent>)] .

<http://example.com/owl/families/Female>
  a owl:Class .

<http://example.com/owl/families/Grandfather>
  a owl:Class ;
  rdfs:subClassOf [a owl:Class ;
    owl:intersectionOf (<http://example.com/owl/families/Parent>
    <http://example.com/owl/families/Man>)] .

<http://example.com/owl/families/HappyPerson>
  a owl:Class ;
  owl:equivalentClass [a owl:Class ;
    owl:intersectionOf (<http://example.com/owl/families/Person>
    [a owl:Restriction ;
      owl:allValuesFrom <http://example.com/owl/families/HappyPerson> ;
      owl:onProperty <http://example.com/owl/families/hasChild>]
    OWL RL: Statement not supported in an Equivalent Class Expression.
OWL EL: Statement not supported in a Class Expression.
    
    [a owl:Restriction ;
      owl:onProperty <http://example.com/owl/families/hasChild> ;
      owl:someValuesFrom <http://example.com/owl/families/HappyPerson>]
    OWL RL: Statement not supported in an Equivalent Class Expression.
    )]
    OWL RL: Class Expression not supported with owl:equivalentClass or owl:intersectionOf.
OWL QL: Statement not supported in a Sub Class Expression.
     .

<http://example.com/owl/families/Jack>
  a [a owl:Class ;
    owl:intersectionOf (<http://example.com/owl/families/Person>
    [a owl:Class ;
      owl:complementOf <http://example.com/owl/families/Parent>])] .

<http://example.com/owl/families/James>
  a owl:NamedIndividual ;
  owl:sameAs <http://example.com/owl/families/Jim> .

<http://example.com/owl/families/John>
  a [a owl:Restriction ;
    owl:maxQualifiedCardinality "4"^^xsd:nonNegativeInteger ;
    owl:onClass <http://example.com/owl/families/Parent> ;
    owl:onProperty <http://example.com/owl/families/hasChild>]
    OWL RL: Statement not supported in a Super Class Expression.
     ;
  a [a owl:Restriction ;
    owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger ;
    owl:onClass <http://example.com/owl/families/Parent> ;
    owl:onProperty <http://example.com/owl/families/hasChild>]
    OWL RL: Statement not supported in a Super Class Expression.
     ;
  a [a owl:Restriction ;
    owl:onClass <http://example.com/owl/families/Parent> ;
    owl:onProperty <http://example.com/owl/families/hasChild> ;
    owl:qualifiedCardinality "3"^^xsd:nonNegativeInteger]
    OWL RL: Statement not supported in a Super Class Expression.
     ;
  a [a owl:Restriction ;
    owl:cardinality "5"^^xsd:nonNegativeInteger ;
    owl:onProperty <http://example.com/owl/families/hasChild>]
    OWL RL: Statement not supported in a Super Class Expression.
     ;
  a <http://example.com/owl/families/Father> ;
  a owl:NamedIndividual ;
  <http://example.com/owl/families/hasAge> 51 ;
  <http://example.com/owl/families/hasWife> <http://example.com/owl/families/Mary> ;
  owl:differentFrom <http://example.com/owl/families/Bill> ;
  owl:sameAs <http://example.org/otherOntologies/families/JohnBrown> .

<http://example.com/owl/families/JohnsChildren>
  a owl:Class ;
  owl:equivalentClass [a owl:Restriction ;
    owl:hasValue <http://example.com/owl/families/John> ;
    owl:onProperty <http://example.com/owl/families/hasParent>]
    OWL QL: Statement not supported in a Sub Class Expression.
     .

<http://example.com/owl/families/Man>
  a owl:Class ;
  rdfs:subClassOf <http://example.com/owl/families/Person> .

<http://example.com/owl/families/Mary>
  a <http://example.com/owl/families/Person> ;
  a <http://example.com/owl/families/Woman> ;
  owl:sameAs <http://example.org/otherOntologies/families/MaryBrown> .

<http://example.com/owl/families/Mother>
  a owl:Class ;
  rdfs:subClassOf <http://example.com/owl/families/Woman> ;
  owl:equivalentClass [a owl:Class ;
    owl:intersectionOf (<http://example.com/owl/families/Woman>
    <http://example.com/owl/families/Parent>)]
    OWL QL: Statement not supported in a Sub Class Expression.
     .

<http://example.com/owl/families/MyBirthdayGuests>
  a owl:Class ;
  owl:equivalentClass [a owl:Class ;
    owl:oneOf (<http://example.com/owl/families/Bill>
    <http://example.com/owl/families/John>
    <http://example.com/owl/families/Mary>)]
    OWL RL: Statement not supported in an Equivalent Class Expression.
OWL QL: Statement not supported in a Sub Class Expression.
OWL EL: Enumeration with more than one individual or literal
     .

<http://example.com/owl/families/NarcisticPerson>
  a owl:Class ;
  owl:equivalentClass [a owl:Restriction ;
    owl:hasSelf true ;
    owl:onProperty <http://example.com/owl/families/loves>]
    OWL RL: Statement not supported in an Equivalent Class Expression.
OWL QL: Statement not supported in a Sub Class Expression.
     .

<http://example.com/owl/families/Orphan>
  a owl:Class ;
  owl:equivalentClass [a owl:Restriction ;
    owl:allValuesFrom <http://example.com/owl/families/Dead> ;
    owl:onProperty [a owl:ObjectProperty ;
      owl:inverseOf <http://example.com/owl/families/hasChild>]]
    OWL RL: Statement not supported in an Equivalent Class Expression.
OWL QL: Statement not supported in a Sub Class Expression.
OWL EL: Statement not supported in a Class Expression.
     .

<http://example.com/owl/families/Parent>
  a owl:Class ;
  owl:equivalentClass [a owl:Class ;
    owl:unionOf (<http://example.com/owl/families/Mother>
    <http://example.com/owl/families/Father>)]
    OWL RL: Statement not supported in an Equivalent Class Expression.
OWL QL: Statement not supported in a Sub Class Expression.
OWL EL: Statement not supported in a Class Expression.
     ;
  owl:equivalentClass [a owl:Restriction ;
    owl:onProperty <http://example.com/owl/families/hasChild> ;
    owl:someValuesFrom <http://example.com/owl/families/Person>]
    OWL RL: Statement not supported in an Equivalent Class Expression.
     .

<http://example.com/owl/families/Person>
  a owl:Class ;
  rdfs:comment "Represents the set of all people." ;
  owl:equivalentClass <http://example.com/owl/families/Human> ;
  owl:hasKey (<http://example.com/owl/families/hasSSN>) .

<http://example.com/owl/families/Teenager>
  a owl:Class ;
  rdfs:subClassOf [a owl:Restriction ;
    owl:onProperty <http://example.com/owl/families/hasAge> ;
    owl:someValuesFrom [a rdfs:Datatype ;
      owl:onDatatype xsd:integer ;
      owl:withRestrictions ([xsd:minExclusive 12]
    OWL QL: Anonymous individuals are not supported.
OWL EL: Anonymous individuals are not supported.
    
      [xsd:maxInclusive 19]
    OWL QL: Anonymous individuals are not supported.
OWL EL: Anonymous individuals are not supported.
    )]
    OWL EL: Statement not supported in a Class Expression.
    ]
    OWL RL: Statement not supported in a Super Class Expression.
OWL QL: Statement not supported in a Super Class Expression.
     .

<http://example.com/owl/families/Woman>
  a owl:Class ;
  rdfs:subClassOf <http://example.com/owl/families/Person> .

<http://example.com/owl/families/YoungChild>
  a owl:Class .

<http://example.com/owl/families/hasAge>
  a owl:DatatypeProperty ;
  a owl:FunctionalProperty ;
  rdfs:domain <http://example.com/owl/families/Person> ;
  rdfs:range xsd:nonNegativeInteger ;
  owl:equivalentProperty <http://example.org/otherOntologies/families/age> .

<http://example.com/owl/families/hasAncestor>
  a owl:TransitiveProperty .

<http://example.com/owl/families/hasBrother>
  a owl:ObjectProperty .

<http://example.com/owl/families/hasChild>
  a owl:AsymmetricProperty ;
  a owl:ObjectProperty ;
  owl:equivalentProperty <http://example.org/otherOntologies/families/child> .

<http://example.com/owl/families/hasFather>
  a owl:ObjectProperty ;
  rdfs:subPropertyOf <http://example.com/owl/families/hasParent> .

<http://example.com/owl/families/hasGrandparent>
  owl:propertyChainAxiom (<http://example.com/owl/families/hasParent>
  <http://example.com/owl/families/hasParent>) .

<http://example.com/owl/families/hasHusband>
  a owl:FunctionalProperty ;
  a owl:InverseFunctionalProperty .

<http://example.com/owl/families/hasParent>
  a owl:ObjectProperty ;
  owl:inverseOf <http://example.com/owl/families/hasChild> ;
  owl:propertyDisjointWith <http://example.com/owl/families/hasSpouse> .

<http://example.com/owl/families/hasRelative>
  a owl:ReflexiveProperty .

<http://example.com/owl/families/hasSSN>
  a owl:DatatypeProperty .

<http://example.com/owl/families/hasSon>
  a owl:ObjectProperty ;
  owl:propertyDisjointWith <http://example.com/owl/families/hasDaughter> .

<http://example.com/owl/families/hasSpouse>
  a owl:SymmetricProperty .

<http://example.com/owl/families/hasUncle>
  owl:propertyChainAxiom (<http://example.com/owl/families/hasFather>
  <http://example.com/owl/families/hasBrother>) .

<http://example.com/owl/families/hasWife>
  a owl:ObjectProperty ;
  rdfs:domain <http://example.com/owl/families/Man> ;
  rdfs:range <http://example.com/owl/families/Woman> ;
  rdfs:subPropertyOf <http://example.com/owl/families/hasSpouse> .

<http://example.com/owl/families/majorAge>
  owl:equivalentClass [a rdfs:Datatype ;
    owl:intersectionOf (<http://example.com/owl/families/personAge>
    [a rdfs:Datatype ;
      owl:datatypeComplementOf <http://example.com/owl/families/minorAge>]
    OWL RL: Statement not supported in an Equivalent Class Expression.
OWL EL: Statement not supported in a Class Expression.
    )]
    OWL RL: Class Expression not supported with owl:equivalentClass or owl:intersectionOf.
OWL QL: Statement not supported in a Sub Class Expression.
     .

<http://example.com/owl/families/minorAge>
  owl:equivalentClass [a rdfs:Datatype ;
    owl:onDatatype xsd:integer ;
    owl:withRestrictions ([xsd:minInclusive 0]
    OWL QL: Anonymous individuals are not supported.
OWL EL: Anonymous individuals are not supported.
    
    [xsd:maxInclusive 18]
    OWL QL: Anonymous individuals are not supported.
OWL EL: Anonymous individuals are not supported.
    )]
    OWL RL: Statement not supported in an Equivalent Class Expression.
OWL QL: Statement not supported in a Sub Class Expression.
OWL EL: Statement not supported in a Class Expression.
     .

<http://example.com/owl/families/parentOf>
  a owl:IrreflexiveProperty .

<http://example.com/owl/families/personAge>
  owl:equivalentClass [a rdfs:Datatype ;
    owl:onDatatype xsd:integer ;
    owl:withRestrictions ([xsd:minInclusive 0]
    OWL QL: Anonymous individuals are not supported.
OWL EL: Anonymous individuals are not supported.
    
    [xsd:maxInclusive 150]
    OWL QL: Anonymous individuals are not supported.
OWL EL: Anonymous individuals are not supported.
    )]
    OWL RL: Statement not supported in an Equivalent Class Expression.
OWL QL: Statement not supported in a Sub Class Expression.
OWL EL: Statement not supported in a Class Expression.
     .

<http://example.com/owl/families/toddlerAge>
  owl:equivalentClass [a rdfs:Datatype ;
    owl:oneOf (1
    2)]
    OWL RL: Statement not supported in an Equivalent Class Expression.
OWL QL: Statement not supported in a Sub Class Expression.
OWL EL: Enumeration with more than one individual or literal
     .