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

don't have the ability to comment yet as a newbie but i believe you would want to use an "exclusive or"... then again, i guess it depends on your universe of discourse ;)

Answer 2

The answers provided here so far do not use Description Logic syntax (which is variable-free). Assuming you want the actual Description Logic syntax that is used in scientific papers about Description Logics, check out this:

human \sqsubseteq (male \sqcup female) \sqcap \neg (male \sqcap female)

Its written in LaTex, you can use the Online LaTeX Equation Editor to render this expression.