Rdf 基于对称属性的OWL-DL查询

我正在尝试组合一个小型本体（HP类、HEWLETT_-PACKARD类通过对称属性链接在一起）。猫头鹰在下面。我要做的是在Protege中查询“仅适用于hp”或“仅适用于hewlett\u-packard”并获得对方公司。基本上，我想得到每个公司名称的同义词

---

如果您有两个类，并且您试图说它们是相同的，那么您可能应该使用一个等价的类公理。在Protégé和RDF/XML中，它将如下所示：

如果使用DL查询，可以看到等效的类：

---

一般来说，StackOverflow并不是一个论坛，所以虽然一开始看起来很奇怪，但我们不需要在电子邮件、留言板等中经常使用的一些“玩笑”，比如签名和感谢。这次我把它们删掉了。类似地，我删除了“任何建议都值得赞赏”，因为StackOverflow的问题往往很好，并且集中在一个特定的问题上；开放式的事情不太顺利。你到底想在这里做什么？如果它们是类，您可以声明HEWLETT_-PACKARD和HP是等效的类。如果你有个人，你可以声明他们是猫头鹰：彼此相同。您对来自限制的AllValues所做的操作不太清楚。所说的是hewlett_-packard类相当于“这样的一类东西，它们对于equal_-symmetric属性的任何值都必须是hp。”我真的看不到那里的实用程序。谢谢Joshua。我现在在正确的轨道上。我的印象是必须通过一个属性来建立等价性，但现在我看到它没有。再次感谢。@mj_u相反；如果您希望两个类是等价的，您通常会断言它们是等价的。如果您最终通过各种公理使两个类等效，这表明您可能遗漏了一些东西。（不总是，但经常。）