How to represent this sentence in description logic? [closed]

Question

How to describe this in description logic?

"every human is either male or female"

Thanks

Hibernaculum

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)

Convulse

-1 this & John's answer: Predicate logic is not description logic. In particular, there is no such thing as unbounded quantification in description logic: quantification is over roles, which is Not The Same Thing. – Quern

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 an online LaTeX equation editor, e.g. this to render this expression.

Cowpea

+1 for general rightness in the pursuit of rightitude. – Quern

using UTF-8 symbols, Human ⊑ (Male ⊔ Female) ⊓ ¬(Male ⊓ Female). See paulbrownmagic.com/blog/dl_cheat_sheet. – Hartley

Answer 3

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 ;)

Fanion