问题标签 [reasoning]

假设本体中有几个类定义：

如何检索给定类的所有功能。在上面的示例中，对于给定的 A 类，应返回 CapabilityB 和 CapabilityC。

&ontY;CapabilityB 和 &ontY;CapabilityC 是另一个本体中的类。本体不能改变。

OWL API 和推理器可用于查询。

我有以下本体

实际数据存储在关系数据库中。（将来也可能来自对象数据库。）我想将数据与上述本体类相关联并对其进行推理以找出所有驱动程序。

我能够将人和汽车与数据库中的表连接起来。如何将数据与“驱动器”相关联，该驱动器存储在单独的表中，以汽车 ID 和人员 ID 作为外键，以关联人员和车辆的个体？

假设我们有一个列表：

请注意，我说的是可修改列表！还有一个简单的递归长度函数：

自然，它仅在列表非循环时终止：

请注意，这个谓词被实现为递归函数，也不会在循环列表上终止。

通常我会看到使用列表长度作为有界递减因子的列表遍历终止证明。他们认为这Length是非负的。但是，在我看来，这个事实 ( Length l >= 0) 首先是从 of 的终止而来的Length。

你如何证明，在（或等效的，更好定义的谓词）列表Length上终止并且是非负的？NonCircular

我在这里错过了一个重要的概念吗？

我有一个 OWL 文件，其中包含一个分类层次结构，我想编写一个查询，其中答案包括每个个体及其直接的分类父级。这是一个示例（完整的查询相当混乱）。

这个查询做了我想要的。

问题是我宁愿使用 OWL 文件的推理版本，不出所料，其中包含附加语句：

现在查询导致关于 Fido 是哺乳动物等的附加答案。我可以放弃使用文件的合理版本，或者，由于 SPARQL 查询是从 java 调用的，我可以做一堆额外的查询找到出现的包含最少的类型。我的问题是是否有一个合理的纯 SPARQL 解决方案只返回 Dog 解决方案。

我正在尝试运行我在网上找到的用于猫头鹰本体推理的 java 程序的简单示例。它使用owl api和hermit reasoner。所以我添加了 org.semanticweb.HermiT 和 owlapi-osgidistribution-4.0.2 库。我仍然得到以下异常：

我在stackoverflow上的一个类似问题中发现解决方案是

你错过了番石榴罐。对于 OWLAPI 4.0.2，您还需要 maven 依赖项中包含的所有其他 jar。如果您无法使用 Maven 构建代码，则需要确保手动添加所有依赖项。

我在我的项目中添加了番石榴罐，但我没有设法解决问题。另外我真的不知道 maven 依赖项中包含的所有 jar 是什么。你能帮我解决这个问题吗？

我知道，要从给定的绝对路径在 Qt 中创建新路径，您可以使用QDir::makepath()as dir.makepath(path)，正如这个问题中所建议的那样。我使用它没有任何问题，而且效果很好。我的问题是针对为什么开发人员不提供静态函数来以QDir::makepath("/Users/me/somepath/");. 对我来说，需要创建一个新QDir实例似乎没有必要。

我只能想到两个可能的原因：

1.开发人员“懒惰”或没有时间，所以没有添加一个，因为这不是绝对必要的。

2.QDir on which被调用的实例mkpath(path)也将设置path为，以便进一步使用 - 但我似乎找不到任何暗示这是文档中的实际行为。

我知道我在重复自己，但我再次强调，我不需要帮助来了解如何做到这一点，但我对为什么必须这样做很感兴趣。感谢我可能错过的任何原因。

我有一个关于 GitHub 上 Matthew Horridge 的 owlexplanation 项目的问题。

在 README 文件中有以下代码：

请有人解释一下参数的类型到底是什么entailment？我不太明白我们得到什么解释。我正在寻找当我的本体不一致时给我解释的代码。

我创建了这个本体，它包含两个类 Car、Person 和对象属性 hasCar，其中 Person 作为域，Car 作为范围。

我想对 multiCarOwner 和 OnlyCar 人中的个人（Persons）进行分类，这是代表这一点的本体：

但是，当我创建个人时，推理器没有给我想要的结果，我希望“OnlyCar”类具有作为成员：“具有恰好 1 辆汽车的个人”。

推理的结果是部分的，因为 protegé 中的个人选项卡显示以下内容：

上面的图片显示“Bob”个人作为 CarOwner 成员，但我希望“bob”作为“onlyCar”类的成员。

-我面临 OWA 问题？- 有办法完成我想要的吗？

我的逻辑和推理有问题，使用 while 循环，并返回正数 n 的总和和输入总和 n 的平方。请查看我的代码并尽可能提供帮助，谢谢。

练习是： /* 编写一个简短的 Java 方法，它接受一个整数 n 并返回所有小于或等于 n 的正整数的平方和。* */

您好，我是编程新手，我制作了一个简单的 JavaScript，它绘制了简单的 canvas.arc 圆圈，这些圆圈在 2D x,y 坐标中移动。

只是出于好奇，我用 1 个粒子 10、100、1000 等运行动画，并不断增加粒子的数量。

我观察到的是粒子平稳地移动到数百个，但随后变得非常滞后*（对不起，我不知道这种现象的正确术语）

我在想，我的电脑怎么能如此流畅地运行复杂得多的游戏和软件，却难以运行我制作的简单脚本？

我想知道这背后的原因或背后的理论！

ps抱歉，无论如何我对我的英语没有信心，请发布可能有助于我理解这个问题的资源或其他链接。

这是代码。它非常简单，但如果有办法提高性能，请告诉我想知道未来的脚本。

尝试增加粒子数：

作为小提琴：https ://jsfiddle.net/b8xbv7fu/