保护不一致的本体警告
按照下面的介绍youtube.com/playlist?list=plea0wjq13cnafcc0azrcyqucn_tpeljn1创建本体。它稍微缩小了http://prntscr.com/bo4l3w，我自己添加了canBeTutor（意思是某人可以成为某人的导师）对象属性。据我理解，我可以添加SWRL规则，然后启动reasoner来创建新的知识。所以我添加了prntscr.com/bo4lk7。我启动了隐士推理器prntscr.com/bo4lqx。但获得不一致的本体警告prntscr.com/bo4lu0。单击Explain按钮，得到以下解释http://prntscr.com/bo4lyg。我的目标在这里synoparser.ru/onto/protege.owl1。你能告诉我那是什么意思吗？2.只是为了一般的了解。我读到推理器可以创造新知识。这是指关系，还是个人和阶级？3.我在哪里可以找到Protege 5中的阅读器添加的知识？
共有1个答案
您提供的其中一个数字中的解释解释了这种不一致。本体论说
- 班级的学生和讲师是不相交的（即任何个人都不能既是学生又是讲师）
- 学习的领域是学生，这意味着如果x学习y，那么x是学生
- 第一名的域是讲师，这意味着如果x的第一名是y，那么x是讲师
现在，由于Student1的名字是Andrew，所以Student1必须是一名讲师。既然Student1学习cs101，那么Student1必须是学生。但学生和讲师是不相联系的；任何个人都不能两者兼得。但Student1两者兼而有之。这是不一致的。
-
//在guard语句中首先执行let，然后执行bool检查，会导致编译错误 //先执行布尔检查，然后让它工作 上面的两种说法似乎与我的说法相同。为什么在第一种情况下它不起作用？
-
我试图在不一致的本体上运行一致性检查，Pellet和Hermit Reasoner没有给出不一致性。然而，Protege成功地标记了不一致的类。具体来说，我正在将SBVR规则更改为OWL2.0。所以我的规则是租车必须至少用3张信用卡投保；租车必须由至少5张信用卡投保； 相应的本体是 Hermit和Pellet将本体论标记为一致的，而AsProtege将这两个类标记为不一致的。 现在，如果我把我的S
-
我想我快疯了！我已经学习了Owl和Protege的各种教程，但仍然无法找到答案。用例很简单。我定义了一个叫‘人’的类。我定义了一个名为HasFirstName的数据属性。我给Person添加了一个'subclass of'restriction',如下所示：'has firstname确切1 string'。我还添加了Person类型的名为Alex的个人，但没有添加hasFirstName属性。我
-
对于我的实验，我需要具体化一个由TBox/模式和ABox/数据组成的dbpedia本体论。 为此，我将dbpedia本体论/TBox/模式（http://downloads.dbpedia.org/2016-04/dbpedia_2016-04.owl）与DBPedia知识图中的ABox/data部分合并（我在http://downloads.dbpedia.org/2016-04/core-i1
-
我为家庭作业设计了一个OWL本体论，使用关于生物（生物分类）的蛋白质4.1，在与隐士或事实进行推理后，我得到了不一致的本体论，坏的个体，但我对OWL本体论非常陌生，不明白如何解决这些不一致的错误和个人。 编辑1： 以下是解释框中“热点”选项卡中的公理： > skydrive：http://sdrv.ms/11DdHao drive.google：https://docs.google.com/fo
-
我在一些代码上运行PyLint，并收到警告：“要么函数中的所有返回语句都应该返回表达式，要么它们都不应该返回表达式。（返回语句不一致）。” 以下是我的代码： 这里的“OP_FORM”和“OP_COUNT”是代码前面定义的枚举。 对我来说，这段代码非常可读，我想我很好奇派林的警告在抱怨什么。在我拥有的每个条件中，都会返回一个“OP\u COUNT”类型。事实上，如果这些条件中的任何一个没有返回OP\