问题标签 [protege4]

我正在尝试使用 Sparql 将 Protege 中的数据属性映射到 owl:Class，但它不起作用。如果有人有例子，请不要犹豫给我一个答案。

当我运行它时，我收到了这条消息。请帮我解决这个问题。

我只是想澄清为什么子类中的个人/成员不显示为超类中的成员？

例如

如果 Male 有两个成员/个人，即“John”和“Shawn”，他们不应该也出现在超类中吗？

据我了解，“约翰”和“肖恩”是男性，因此是人类

或者我是否应该明确说明一些事情才能做到这一点

编辑：

好的，所以我刚刚测试了一些东西，如果我使用 DL-QUERY 来查询超类，Individual 确实会出现在超类中……</p>

这很奇怪。这是一个错误吗？

我正在使用 Protégé 5.2。

我正在攻读硕士学位，我的教授希望我为整个基于物联网的室内传感器网络系统创建一个本体。有很多事情我不确定，比如如何为传感器驱动程序和中间件类创建实例。我正在使用 Protege。我想问我是否有可能每天通过一些网络服务向我的本体提供新的温度光或湿度值，以便能够对其进行推理。我真的对这个想法感到困惑。给我一些建议，请不要让我自己去谷歌，我当然在做，但我想从在这个领域工作的人那里得到一些建议。谢谢

我设计了一个本体。有一个基于某些属性的定义类。当我运行 protege reasoner 时，它向我展示了属于该已定义类的个人。但我无法在 protege 中使用 sparql 检索该定义类的成员。任何身体都可以帮忙吗？我附上屏幕截图。

我正在使用 Protege5.0，我想实现 SWRL 规则，即

这意味着“如果用户正在开会，则 familycontact 的状态为“拒绝”。

此语法应该可以工作并且 protege 不会显示任何错误。但是，它不起作用。当我写

这种语法完美地工作，但当我以这种格式编写复杂的规则时它没有用。谁能解释一下这两种格式的区别并给我一个完美的解决方案？

更多解释：

我有一个主类People和 People 的子类是Contact 和 User。Contact的子类是 FamilyContact、EmployeeContact 等。** User 和 Contact通过对象属性关联 isContactOf(People,Contact)。在我的本体中，应该只有一个User类。现在，我要实施 SWRL 规则，即如果 **用户正在开会，则 FamilyContact hasStatus "Reject"。** 此拒绝仅意味着家庭成员无法呼叫用户。其他规则是如果用户正在开会，那么 EmployeeContact 的状态为“通过”。hasStatus(Contact,String) 是一个函数属性。

第二个规则语法完美地工作，但是当我想为那些同时是EmployeeContact 和 FamilyContact的实例实施规则时，我遇到了问题。例如，如果我写一个规则，即

User(?u), isInActivity(?u, ?cm), ContextMeeting(?cm), FamilyContact(?f), EmployeeContact(?e), DifferentFrom(?f,?e)-> hasStatus(?f, "Reject").

它以某种方式工作，但我遇到了问题。它使 EmployeeContact 的其他实例也成为 FamilyContact 的实例，反之亦然。

我需要为我的查询返回个人：

但它只适用于子类。我应该更换rdfs:subClassOf不同的运营商吗？

在我的本体中，我有一个 Worker 类，它具有一些属性，例如 first name 。名字是一个功能属性，但我想确保它存在于每个工人个体中。

我在 for Worker 中添加了一个与 part 等效的限制， First_Name some string只是为了测试我在 part 的子类中添加了另一个First_Name exactly 1 string

当我添加一个没有名字的新人时，推理器（HermiT）没有任何错误。

有什么错误还是我误解了什么？

嗨，我是新手。

我下载了 protege 4.0.2 并在其中制作了一个本体，但似乎我没有任何理由来检查它的一致性。

它还显示了一个推理选项卡，但在选择 fact++ 后，我没有看到任何变化。

如果我没有正确完成它，那么我可以从哪里下载 fact++ 或任何其他用于 protege 的推理器，以及如何安装它。

我浏览了很多，但没有找到关于如何安装推理器的东西。

提前致谢。

我在 Protege 4 中使用了“规则”视图

我认为如果 protege 支持定义规则名称。

我这样定义规则

我试图定义规则名称..但我不知道如何使用规则名称

出现语法错误！

如何在 Protege 4 中定义 SWRL 规则名称？

请帮助列出 wine Ontology 中的所有 Mealcourse 或很高兴收到这样的有用链接：Sparql query on constraint list (Equivalent To) in protégé

MealCourse and (hasFood value Pizza) and (hasDrink value Wine)

谢谢