human \sqsubseteq (male \sqcup female) \sqcap \neg (male \sqcap female)
它是用 LaTeX 编写的，您可以使用在线 LaTeX 方程编辑器，例如 this 来呈现此表达式。
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.
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 ;)
发布评论
评论（3）
到目前为止，此处提供的答案不使用描述逻辑语法（无变量）。
假设您想要有关描述逻辑的科学论文中使用的实际描述逻辑语法，请查看以下内容：
它是用 LaTeX 编写的，您可以使用在线 LaTeX 方程编辑器，例如 this 来呈现此表达式。
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:
Its written in LaTeX, you can use an online LaTeX equation editor, e.g. this to render this expression.
对于命题微积分，这将被描述为：
∀xH(x) ⊃ (M(x) ∨ F(x)) ∧ (Ø(M(x) ∧ F(x)))
其中：
在描述逻辑中，它是有点不同：
With propositional calculus, this would be described as:
∀x.H(x) ⊃ (M(x) ∨ F(x)) ∧ (¬(M(x) ∧ F(x)))
where:
In description logic, it's a little bit different:
作为一个新手，还没有能力发表评论，但我相信你会想要使用“独家或”...话又说回来，我想这取决于你的话语范围;)
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 ;)