@prefix : . @prefix owl: . @prefix rdf: . @prefix rex: . @prefix xml: . @prefix xsd: . @prefix rdfs: . @base . rdf:type owl:Ontology ; owl:versionIRI :RoyalFamily-Test1 . ################################################################# # Object Properties ################################################################# ### http://www.ex.org/RoyalFamily#hasGender :hasGender rdf:type owl:ObjectProperty ; rdfs:subPropertyOf owl:topObjectProperty ; rdf:type owl:FunctionalProperty , owl:AsymmetricProperty , owl:IrreflexiveProperty ; rdfs:domain :Person ; rdfs:range :Gender . ### http://www.ex.org/RoyalFamily#hasParent :hasParent rdf:type owl:ObjectProperty , owl:AsymmetricProperty , owl:IrreflexiveProperty ; rdfs:domain :Person ; rdfs:range :Person . ################################################################# # Classes ################################################################# ### http://www.ex.org/RoyalFamily#Female :Female rdf:type owl:Class ; owl:equivalentClass [ rdf:type owl:Restriction ; owl:onProperty :hasGender ; owl:hasValue :FemaleGender ] ; rdfs:subClassOf :Person ; owl:disjointWith :Male . ### http://www.ex.org/RoyalFamily#Gender :Gender rdf:type owl:Class . ### http://www.ex.org/RoyalFamily#Male :Male rdf:type owl:Class ; owl:equivalentClass [ rdf:type owl:Restriction ; owl:onProperty :hasGender ; owl:hasValue :MaleGender ] . ### http://www.ex.org/RoyalFamily#Parent :Parent rdf:type owl:Class ; owl:equivalentClass [ rdf:type owl:Restriction ; owl:onProperty [ owl:inverseOf :hasParent ] ; owl:someValuesFrom :Person ] . ### http://www.ex.org/RoyalFamily#Person :Person rdf:type owl:Class . ################################################################# # Individuals ################################################################# ### http://www.ex.org/RoyalFamily#FemaleGender :FemaleGender rdf:type owl:NamedIndividual , :Gender . ### http://www.ex.org/RoyalFamily#Haakon :Haakon rdf:type owl:NamedIndividual , :Person ; :hasGender :MaleGender . ### http://www.ex.org/RoyalFamily#HaakonMagnus :HaakonMagnus rdf:type owl:NamedIndividual , :Person ; :hasGender :MaleGender ; :hasParent :Harald . ### http://www.ex.org/RoyalFamily#Harald :Harald rdf:type owl:NamedIndividual , :Person ; :hasGender :MaleGender ; :hasParent :Olav . ### http://www.ex.org/RoyalFamily#MaleGender :MaleGender rdf:type owl:NamedIndividual , :Gender . ### http://www.ex.org/RoyalFamily#MetteMarit :MetteMarit rdf:type owl:NamedIndividual , :Male ; :hasGender :FemaleGender . ### http://www.ex.org/RoyalFamily#Olav :Olav rdf:type owl:NamedIndividual , :Person ; :hasGender :MaleGender ; :hasParent :Haakon . ### Generated by the OWL API (version 4.2.8.20170104-2310) https://github.com/owlcs/owlapi