Class with existential quantification constraint on property

Ontology(<http://nomagic.com/ontology/example-case/case-08>
      Import(<http://nomagic.com/ontology/example-case/case-06>)
      Declaration(
             Class(<http://nomagic.com/ontology/example-case/case-06#Person>)
      )
      Declaration(
             Class(<http://nomagic.com/ontology/example-case/case-06#Pet>)
      )
      Declaration(
             Class(:Dog)
      )
      Declaration(
             Class(:DogLover)
      )
      Declaration(
             ObjectProperty(<http://nomagic.com/ontology/example-case/case-06#has>)
      )
      AnnotationAssertion(rdfs:label :Dog "Dog"@en)
      SubClassOf( :Dog <http://nomagic.com/ontology/example-case/case-06#Pet>)
      AnnotationAssertion(rdfs:label :DogLover "Dog Lover"@en)
      SubClassOf( :DogLover <http://nomagic.com/ontology/example-case/case-06#Person>)
      SubClassOf( 
             :DogLover 
             ObjectIntersectionOf(
                    ObjectMinCardinality(1 <http://nomagic.com/ontology/example-case/case-06#has> :Dog)
                    ObjectSomeValuesFrom(<http://nomagic.com/ontology/example-case/case-06#has> :Dog)
             )
       )
)