How to describe this in description logic?
"every human is either male or female"
Thanks
Asked
Active
Viewed 1,101 times
3 Answers
6
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.
Kaarel
- 10,554
- 4
- 56
- 78
-
+1 for general rightness in the pursuit of rightitude. – Charles Stewart Feb 24 '10 at 13:09
-
using UTF-8 symbols, `Human ⊑ (Male ⊔ Female) ⊓ ¬(Male ⊓ Female)`. See http://www.paulbrownmagic.com/blog/dl_cheat_sheet. – jgran May 04 '20 at 08:23
3
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)
paxdiablo
- 854,327
- 234
- 1,573
- 1,953
-
-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. – Charles Stewart Feb 24 '10 at 13:08
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 ;)
nategood
- 11,807
- 4
- 36
- 44