semantic-web - 这可以使用 ALCQ 语法来表达吗？

Question

使用 ALCQ 编写是否有效：

likes ≡ ¬dislikes   
¬∃(Dog ⊓ dislikes.(Colourful ⊓ Toy))

为了表达每只狗都喜欢五颜六色的玩具？

另外，这样写是否有效：

Cute(∀Pomeranian)

为了表达每只博美犬都很可爱？

Answer 1

不，公式likes ≡ ¬dislikes不属于 ALCQ，因为它缺少角色层次结构（名称中的 H）。

如果您不必dislike明确使用：

Dog ⊑ ∃likes.(Colourful ⊓ Toy)

thenCute(∀Pomeranian)不是有效的 ALCQ 公式，而是简单地使用：

Pomeranian ⊑ Cute