logic OWL

Class: Person
SubclassOf: Thing

Class: Female
SubclassOf: Thing
DisjointWith: Male

Class: Male
SubclassOf: Thing
DisjointWith: Female

Class: Woman
EquivalentTo: Person and Female

Class: Man
EquivalentTo: Person and Male

ObjectProperty: hasChild
InverseOf: hasParent

Class: Child
SubclassOf: hasParent some Parent

Class: Parent
SubclassOf: Child, hasChild some Child

Class: Mother
EquivalentTo: Parent and Female

Class: Father
EquivalentTo: Parent and Male

Class: Sister
SubclassOf: Female, Child

Class: Grandfather
EquivalentTo: Father and hasChild some Parent