@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix : <foo://bla/meta#>.      @prefix p: <foo://bla/persons/>.
:HasTwoChildrenOneMale owl:equivalentClass
 [ owl:intersectionOf (:Person
   [ a owl:Restriction; owl:onProperty :hasChild; owl:someValuesFrom :Male]
   [ a owl:Restriction; owl:onProperty :hasChild; owl:minCardinality 2] ) ].
:name a owl:FunctionalProperty.
:Male rdfs:subClassOf :Person; owl:disjointWith :Female.
:Female rdfs:subClassOf :Person.
p:kate a :Female; :name "Kate"; :hasChild p:john.
p:john a :Male; :name "John";
  :hasChild [a :Female; :name "Alice"], [a :Male; :name "Bob"].
p:sue a :Female; :name "Sue";
  :hasChild [a :Female; :name "Anne"], [a :Female; :name "Barbara"].
