How to represent this sentence in description logic?

Question

How to describe this in description logic?

"every human is either male or female"

Thanks

Answer 1

With propositional calculus, this would be described as:

∀x.H(x) ⊃ (M(x) ∨ F(x)) ∧ (¬(M(x) ∧ F(x)))

where:

H(x) = x is human
M(x) = x is male
F(x) = x is female

In description logic, it's a little bit different:

human ⊆ (male ∪ female) ∩ ¬(male ∩ female)