Prefix(myns:=<http://www.dis.uniroma1.it/%7Erosati/semanticweb/>)
Prefix(owl:=<http://www.w3.org/2002/07/owl#>)
Prefix(xml:=<http://www.w3.org/XML/1998/namespace>)
Prefix(rdf:=<http://www.w3.org/1999/02/22-rdf-syntax-ns#>)
Prefix(rdfs:=<http://www.w3.org/2000/01/rdf-schema#>)

Ontology(

Declaration(Class(myns:person))
Declaration(Class(myns:woman))
Declaration(Class(myns:man))

Declaration(ObjectProperty(myns:hasParent))
Declaration(ObjectProperty(myns:hasMother))
Declaration(ObjectProperty(myns:hasFather))

SubClassOf(myns:man myns:person)
SubClassOf(myns:woman myns:person)

SubObjectPropertyOf(myns:hasMother myns:hasParent)
SubObjectPropertyOf(myns:hasFather myns:hasParent)

SubClassOf(
  ObjectSomeValuesFrom(
    ObjectInverseOf(myns:hasMother) 
    owl:Thing)
  myns:woman)

SubClassOf(
  ObjectSomeValuesFrom(
    ObjectInverseOf(myns:hasFather) 
    owl:Thing)
  myns:man)

ClassAssertion(myns:man myns:Joe)

ObjectPropertyAssertion(myns:hasMother myns:Joe myns:Ann)

DisjointClasses(myns:man myns:woman)

SubClassOf(
  myns:person 
  ObjectSomeValuesFrom(myns:hasMother owl:Thing))

SubClassOf(
  myns:person 
  ObjectSomeValuesFrom(myns:hasFather owl:Thing))

SubClassOf(
  myns:person 
  ObjectExactCardinality(2 myns:hasParent))

SubClassOf(
  myns:person 
  ObjectSomeValuesFrom(myns:hasFather myns:man))

SubClassOf(
  myns:person 
  ObjectSomeValuesFrom(myns:hasMother myns:woman))

SubClassOf(
  myns:person 
  ObjectIntersectionOf(
    ObjectSomeValuesFrom(myns:hasMother owl:Thing)
    ObjectSomeValuesFrom(myns:hasFather owl:Thing)))

)