reasoning

0热度

1回答

在与我的一位同事讨论规则库系统后，我感到困惑。我在Android中开发了一套有规则的程序。我所说的是，为了启动引擎，最初的事实必须符合任何规则，所以我们可以直接开始匹配最初的事实，而不必将它们发送到工作记忆。该家伙说，不，初始事实必须进入工作记忆，然后匹配应该开始，我同意，直到这里，但他还补充说，你只需要从初始事实得到变量，然后匹配规则例如IO有一个规则 a(variable),b(consta

0热度

1回答

OWL中的推断类分层结构的最小示例

在本体编辑器Protegé中，有一个标签类层次结构（推断）。我正在寻找一个最小的例子来创建这样的推断类，例如它主要是那个:RedCar rdfs:subClassOf :Car，这就是全部？ :RedCar a owl:Class ; owl:equivalentClass [ a owl:Class ; owl:intersectionOf

0热度

1回答

Protege中的概率和/或可消除推理？

我发现了一些很有前途的（旧）文章，但是这条线索已经冷了。理想情况下，我正在寻找工作插件/代码，但如果它们根本不可用，那么关于如何构建融合到Protege的概率和/或可消除推理的任何具体方向仍然有用。 RaMP Protege的Defeasible Reasoning插件。似乎是休眠/放弃。也许项目/代码随着http://code.google.com/p/nomor/ PR-OWL http:/

1热度

1回答

Stardog和Protege之间的不同推理结果

我想了解为什么我在Stardog和Protege推理之间获得不同的结果。我有两个工具以下本体：数 Class: Number Number DisjointUnionOf OddNumber,EvenNumber OddNumber OddNumber subClassOf Number EvenNumber EvenNumber subClassOf Number EvenN

0热度

1回答

可以保护使用数据属性的猫头鹰原因？

我试图让Protege 4中的推理者根据数据属性得分来分类个体。健康状况良好的人的数据属性“移动分数”为8.我试图让一个推理者将这样一个人放到一个名为“健康状况良好”的类中。数据属性“步行分数”是1到10之间的整数。个体“爱丽丝”的步行分数为8，这应该等同于“良好健康”，但无论我如何尝试，我都无法让Protege 4推断她进入“健康状况”阶层。

0热度

1回答

合金分析仪：找出给定实例的模型

我在想，是否可以为给定实例生成模型规范。我的目标是检查一个实例是否符合模型。我发现一篇关于实例自动指定的文章。它被称为“使用实例编写合金规格的自动化方法”（http://users.ece.utexas.edu/~khurshid/papers/2006/06isola-aDeryaft.pdf）。如果我没有弄错，这可能是一种检查实例是否符合模型的方法。不幸的是，似乎没有可用的下载实施。你知道

1热度

1回答

为什么在门徒可视推论从导出的推断公理

我有两个主要的类（代码和主体）和一个对象属性的本体不同（受试者获得代码）其中：代码（类）含有所有可用代码（实例）代码的（类）子类对这些代码（实例）进行分类;手动指定主题（类）包含了所有可用的对象（实例）每个主题（例如）曾断言（取得的财产）部分代码（实例）主题的（类）的子类定义的科目组（实例）根据相关联的代码（实例）和码码类别忠诚里森纳为约推断对象实例的特定群体（受试者的子类）当我内的

0热度

1回答

测试一个OWL类是否是一个属性的域/范围

在the examplehasProperty从OWL-API库：要测试一个类的实例是否必须有一个属性，我们创建限制的一些值然后询问该类别的可满足性，以及来自限制的这些一些值的补充。如果交叉点是可满足的，那么类的实例不必拥有该属性，否则就是这样。所以要检查，如果一个类的对象属性的一个领域，我可以用波纹管的片段： OWLDataFactory dataFactory = manager.getO

0热度

1回答

这个本体的结果应该是什么？

我正在学习Web本体和描述逻辑。我碰到过这个问题，并且对于应该回答的问题感到困惑：这是知识库。当家长（X，Y）是指X为Y.的父母 Parent(X,Y). Parent(Y,Z). Parent(X,Z). Parent(Z,M). Manager(Y). ¬Manager(M). 难道这些事实意味着一个事实： X∈(∃Parent.(Manager⊓∃Parent.¬Manag

0热度

1回答

使用推理器获取InverseObjectProperty

如何使用推理器查询对象属性的逆函数？例如，一个人可以有枪，反之亦然： <Declaration> <ObjectProperty IRI="#hasOwner"/> </Declaration> <Declaration> <ObjectProperty IRI="#hasGun"/> </Declaration> <InverseObjectProperties>