问题标签 [protege4]

我知道这可能是一个愚蠢的问题，但我不知道答案:)

我正在使用protege4我构建了我的本体，当我尝试从 protege4 中的 DL 查询点击使用 DL Query 时，它执行得很好并且我得到了结果。

但是，当我单击“添加到本体”将我的查询添加到本体时，它会添加它但没有任何查询结果！！！为什么没有查询结果？怎么看？

谢谢

我正在开发一个本体，但我的 Dl 查询有问题

有一类叫“花”

这个类有一些花名的子类

还有另一类叫做“flowersColor”

它具有这些值（“红色”、“绿色”和“蓝色”）作为个体——而不是子类——

每朵花都有一种或多种颜色

我想寻找一朵红色且只有红色的花

我的 DL 查询是：

“花和有颜色值红色”

这个查询会给我所有红色的花，即使它有其他颜色

但是我想要所有只有红色的花朵

我想写这样的东西

“flower and hasColor only value red” <- 这在语法上是不正确的

我主要是如果颜色是“红色”和“绿色”的组合，那么我不想在我的结果中看到它

我希望你能在我的查询中帮助我

谢谢

如何在我的本体中查询个体，这里是我想要做什么的描述（类似于 SQL 查询）：

我有三个类（组件、功能和极性）。极性值可以是positive_polarity 或negative_polarity，两者都是极性的子类。

• a_component hasFeature a_Feature
• a_Feautre hasPolarity a_Polarity

我想列出所有具有 positive_polarity 值的组件。

如何使用 protege 4 中的 DL Query 选项卡来实现这一点？

我寻找一个明确的 OWL 解决方案来定义一个属性，该属性是另一个属性的限制，类似于等效类。限制基于域或范围的数据属性。受限属性绝对是子属性，并且必须推断。

"kid","mother","father" 是 Person 的父亲.gender = "male" 数据属性 mother.gender = "female"

（男性 subclassOf Person = 等效类“性别值“男性”）

父亲 parentOf child ' 对象关系 母亲 parentOf child ' 对象关系

如何根据parentOf和父亲的性别定义fatherOf属性？显然它是 parentOf 的子属性。

但是，Protégé 中的等效对象属性编辑器不允许设置属性查询，即使我真的不知道这是否可以通过属性链来解决。

将fatherOf 定义为子属性并（手动）设置fatherOf 而不是parentOf 不是一种选择，因为这个家庭示例是更复杂场景的过度简化情况。

我有一些对象限制，例如

其中供应商是一个类。我按照此链接的说明：https ://stackoverflow.com/a/7805455/1138148阅读了限制。我需要使用 Jena 从每个这些限制中获取约束值。在第一种情况下，我能够获得'Vendor'约束，但是对于第 2 和第 3 种情况，我得到了一些类似垃圾的值，例如：

7cbf42c2:137784f42b4:-7d1f和 7cbf42c2:137784f42b4:-7d29相应的。这些价值观是什么？如何检索模式本身以及值 minLength、1995 等。

我需要在 Protégé 4 上将 SWRL 选项卡和 Jess 选项卡添加到我的本体中，但我找不到对 Jess 的任何支持。Protégé 4 是否对 Jess 有任何支持或插件，或者有其他替代品吗？

我需要有类“类”（在命名空间内）和数据属性“类型”（也在命名空间内）。

当我创建 Protege 时，他们的行为很有趣。

• 我创建了一个名为kind的数据属性。
• 我希望它的范围是StateKing。我不知道该怎么做。事实上，在“属性断言视图”、“描述视图”中，当我单击“添加”图标(+)时，会弹出下一个 Ranges，其中包含指定的数据类型，如 int、Boolean、integer...

• 请注意，StateKing是一个枚举类。

  StateKing： 等效类{choise , final , fork , initial , join , junction , state}。

谢谢你的建议。

PS：我现在无法添加图像。

我已经使用 Protege 网站上发布的最新版本 Protege 4.2 构建了我的阿拉伯语本体，但是当我尝试使用 OWL VIZ 选项卡查看 VIZ 图形时，它引发了以下错误

有没有办法克服这个问题？我需要为我的阿拉伯语本体展示 Viz Gaph

注意：GraphViz 2.28 版本

我正在使用 FaCT++ 和一个简单的本体研究 Protege 4 的 OWL 限制概念。假设我有一个foo班级个人Something：

以及从对hasBar属性的限制定义的另一个类：

如果我断言：

为什么我不能从中推断出x是 a SomethingElse（通过事实foo是 a Something）？我可以使它工作的唯一方法是定义rangeof ：hasBar

但我想避免这种情况，因为它限制了可以成为主题的内容hasBar（这给我带来了更多麻烦）。