Class with universal quantification constraint on property I

Ontology(<http://nomagic.com/ontology/example-case/case-06>
      Declaration(
             Class(:Dog)
      )
      Declaration(
             Class(:DogOwner)
      )
      Declaration(
             Class(:Person)
      )
      Declaration(
             Class(:Pet)
      )
      Declaration(
             ObjectProperty(:has)
      )
      AnnotationAssertion(rdfs:label :Dog "Dog"@en)
      SubClassOf(:Dog :Pet)
      AnnotationAssertion(rdfs:label :DogOwner "Dog Owner"@en)
      SubClassOf(:DogOwner :Person)
      SubClassOf(
             :DogOwner 
             ObjectIntersectionOf(
                   ObjectMinCardinality(1 :has :Dog)
                   ObjectAllValuesFrom(:has :Dog)
             )
      )
      AnnotationAssertion(rdfs:label :Person "Person"@en)
      AnnotationAssertion(rdfs:label :Pet "Pet"@en)
      AnnotationAssertion(rdfs:label :has "has"@en)
      ObjectPropertyDomain(:has :Person)
      ObjectPropertyRange(:has :Pet)
)