文章/答案/技术大牛

发布

社区首页 >问答首页 >这可以用ALCQ语法表示吗？

问这可以用ALCQ语法表示吗？
EN

Stack Overflow用户

提问于 2017-12-25 13:58:35

回答 1查看 62关注 0票数 1

使用ALCQ编写以下内容是否有效：

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

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

此外，书写以下内容是否有效：

Cute(∀Pomeranian)

为了表达每一个波美犬都是可爱的？

回答已采纳

发布于 2018-04-02 23:41:53

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

如果您不必显式地使用dislike：

Dog ⊑ ∃likes.(Colourful ⊓ Toy)

那么，Cute(∀Pomeranian)不是一个有效的ALCQ公式，而只是使用：

Pomeranian ⊑ Cute

票数 1

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/47969299

复制

相似问题

问这可以用ALCQ语法表示吗？EN