问题标签 [owl]

我有以下类：B、C 和 D 类是 A 的子类。

此外，我有一个对象属性hasObjectProperty和其他一些类 X、Y、Z， 其中 X、Y、Z 是不相交的类。

然后我对 B、C 和 D 类设置限制如下：（这里我也使用 Protege 中使用的曼彻斯特 OWL 语法http://www.co-ode.org/resources/reference/manchester_syntax/）

现在的问题是，我如何描述一个 E 类，它应该是 B 类和 C 类的并集？我如何描述一个既可以是 B 类又可以是 C 类（但不是 D 类）的类？

有可能吗？

我试图像这样定义 E 类的限制。但是推理者会确定它是无效的。

多谢！

我在一个项目中工作，我必须以 .owl 语言加载任何本体（由用户选择）并将其图形显示为树形菜单。这意味着本体可以是任意大小。

目标是展示一个分类法能够对学习对象进行分类。

目前，使用jena我可以加载本体，但我想知道如何以正确的方式显示图形来构建树形菜单。

谢谢

我们处理基于文本的消息（非 XML）。我们的目标是验证消息，如果内容正确，则消息有效。我们开发了我们自己的用 XML 定义的语言来表达消息的规则。我们需要添加更复杂的规则，我们认为现在是时候寻找其他替代方案并使用真正的规则引擎了。我们支持以下类型的规则：

• 值列表或正则表达式中的名称，例如 {SMITH, MOORE, A*}
• 消息中存在名称-
• 消息中不存在名称
• if condition then name = John else name = Jane 请注意，条件很简单，不包含任何逻辑运算符。

我们需要支持这些类型的规则：

• if then else 但条件包含逻辑运算符
• for ...循环：
  • 对于消息中的所有客户，我们希望至少一位来自美国，至少一位来自法国
  • 对于消息中的所有客户，我们希望至少有五个来自美国并且每年购买超过 1000 美元
  • 对于姓名为 John 的任何客户，姓氏必须是 Doe
• 姓名为 John < 15 的客户总数
• 公司名称等于消息中其他位置的公司名称

规则将取决于我们处理的消息类型。因此，我们正在研究几种现有的解决方案，例如：

• 杰斯
• OWL（一致性检查）
• Schematron（通过在 XML 中转换消息）

考虑到我们用 Java 开发，最好的选择是什么？要考虑的另一件事是我们应该能够进行错误报告，如错误描述、错误位置（行号和列号）。

我正在使用耶拿。如何获得属性的 minCardinality？

我有instance1ofclass1和instance2of class2。HasName(object property)我也在我的本体中定义了。现在，如何instance1 HasName instance2通过 jena 将三元组 ( ) 添加到我的本体中？

我通过 Protege 创建了我的本体。我的本体有一些类和实例。现在我将通过 jena 添加其他类和实例，这就是为什么我编写下面的代码来在这个类中创建一个新类和一个实例。新类的名称是“person”，新实例的名称是“base”。当我在 java 中运行此代码时，它可以正常工作并创建类和实例。但是当我回到 protege 时，我看不到新课程和新实例。你有什么想法可以帮助我。谢谢

在我的数据库中，我有字符串属性的东西。某些属性值与数字字符串匹配（仅包含数字）。我想给这些东西一个特殊的类型（它们的子类型）。在OWL中这样的事情可能吗？

我正在阅读OWL2 入门书的一半，并且在理解通用量化时遇到了问题

给出的例子是

它说，如果一个人的所有孩子都是快乐的人，他就是一个快乐的人。但是，如果 John Doe 没有孩子，他能成为 HappyPerson 的一个实例吗？他的父母呢？

我也觉得这部分很混乱，它说：

因此，根据我们上面的陈述，每个没有孩子的人都可以称得上是幸福的。

但它不会违反 ObjectAllValuesFrom() 构造函数吗？

EquivalentClass 和 SubClass 有什么区别？在阅读 OWL 入门时，我发现教程使用 SubClassOf 来声明一个新类，如下

我可以写吗

反而？