Formalize english question into a knowledge base using ALC formulas

Question

I have the following four sentences:

1. Mary is a person.
2. Bulldog is a specie of dog. French bulldog is a specie of bulldog.
3. The only kind of dog that Mary owns is French bulldog.
4. A French is a person who owns only bulldog dogs.

I would like to formalize those into a Knowledge Base KB.

I will right below my approach and will also post some questions.

Concepts = Person, Dog, Bulldog
Individuals = MARY, FRENCHBULLDOG, BULLDOG
Roles = ownsDog

ABox = { Person(MARY), 
         Dog(BULLDOG),
         Bulldog(FRENCHBULLDOG),
         Person ⨅∀ ownsDog.Bulldog{FRENCHBULLDOG}(MARY), (1)
         ownsDog(MARY, FRENCHBULLDOG) (2)
}

TBox = { French ≡ Person⨅∀ownsDog.Bulldog, Bulldog ⊆ Dog }

First I would like to know if the Knowledge Base is correct. And also if I should keep the axiom (1) or (2) or both of them.