问题标签 [manchester-syntax]

我在 Protege 5 中有一个OWL 本体。当尝试询问一些 DL 查询时

这应该返回通过 objectProperty DropOff 精确到一基数相关的所有类。

使用Pellet推理器，异常会引发“此推理器不支持命名类”。使用Hermit推理器时，一切正常。

我知道命名类是具有引用 URL 的类。以下是我的观点：

• 使用未命名类的语义是什么？
• 为什么 Pellet 不支持命名类？
• 我的查询可以用 Pellet 可以接受的方式表达吗？

谢谢。

在 OWL-DL 本体中，考虑具有域D和范围R的属性p ，其中D对p有一个限制，使其基数正好为 1：

D SubClassOf p 正好是1 件事

• (D ⊑ =1 p.东西)

然后我们可以推断p是一个函数属性，因为每个D类型的d都将有一个p的值吗？如果这是正确的，推理者可以推断出这些知识吗？

我有没有个人的 OWL 本体。给定两个类

和

查询看起来像什么类型的推理器可用于查找所有属性链，例如：

其中 Cs 是 PropertyP 的域，Cd 是它的范围。链意味着这个推理必须是传递的，即如果

那么，{PropertyP1, PropertyP2} 必须被认为是 Cs 和 Cd 之间的一个属性链。

请注意，我不是在谈论 OWL2 中的属性链，因为在 OWL2 的情况下，我必须事先定义这个链，而在我的情况下我不能这样做。

I have a data properties hasCode that can assume one of this values:

• "1i"
• "2i"
• "3i"
• "4i"

What is the expression that I have to write for get this restriction?

Thank you so much

我有一个本体，其中Person是一个类并且hasDeathYear是一个数据属性。我必须在DL 查询中表达标题。

我可以这样问：

Person 和 hasDeathYear 值 2016

但我不能这样问：

Person 和 hasDeathYear 最小 2016

min我实际上想表达“小于”的地方。

怎么做？有可能吗？一个否定的答案对我来说也足够了。

我有包含一些公理的 owl 文件：

对于以上两个公理，protege 将可读字符串显示为：

问题是 protege 如何从 OWL 文件中生成这些可读字符串？

另外，如果我想从这些字符串中创建新的公理，该怎么做？（将公理转换为可读字符串，然后将可读字符串转换回公理）

OWL AXIOM 表达式：

给定：猫头鹰：类运动

输出：除了现有的 owl:object 属性之外，我还想将值为 Peter的 owl:object 属性player添加到来自 owl:class sport 类型的每个实例。这意味着来自 owl:class sport 类型的每个人都应该继承这个对象属性，并使用值 Peter。

我的第一个想法是用一般的阶级公理来表达它。在这里，我不确定这是否a)可能和b)更好地使用 SPARQL 更新查询来获取 Jena 中的实例。你会推荐我做什么？以及这样一个通用的类公理会是什么样子，例如猫头鹰曼彻斯特语法

我想将新的公理添加到本体中，为此我创建了将String[在Manchester OWL Syntax中的] 转换为OWLClassExpressionusingManchesterOWLSyntaxParser并随后形成新的OWLAxiom并添加到本体的方法。

但我得到以下异常（org.semanticweb.owlapi.manchestersyntax.renderer.ParserException）： -

以下是我的本体：-

我的JAVA代码是：-

但是，如果我将字符串从 更改为name max 1 owl:real，name max 1 xsd:string则代码不会引发异常。有什么问题 ？如何避免呢？

我想确定一个对象何时包含两个属性的交集，而不是任何一个属性。

例子：

对象属性作为has_disposition其object域和disposition范围。

Protege 中使用 HermiT 的以下 DL 查询不会产生任何结果：

以下查询给出了正确答案：

以下操作没有帮助：

• 更改表达式中的括号EquivalentTo。
• 声明没有什么脱节的。
• EquivalentTo分别声明表达式的每个部分。

我无法找到将倾向定义为 OGMS、传染病本体或心血管疾病本体中其他倾向的交集的示例。

我正在尝试为 protege 项目（曼彻斯特猫头鹰格式）建模一个 4x4 网格，我有一个 Row 类来表示网格的行，我想以某种方式指定 Row 类必须有 4 个单元格（我也有细胞类）。有没有可能做到这一点？通过对象属性或公理？

编辑：我已经指定一个行必须有单元格