蛋白质4.1中不一致的OWL本体论和坏个体
我为家庭作业设计了一个OWL本体论，使用关于生物（生物分类）的蛋白质4.1，在与隐士或事实进行推理后，我得到了不一致的本体论，坏的个体，但我对OWL本体论非常陌生，不明白如何解决这些不一致的错误和个人。
编辑1：
Thing
Plante
Vietuitoare
VietuitoareDenumireStiintifica
Specii
Vertebrate
Reptile
Pesti
Pasari
Mamifere
Nevertebrate
Moluste
Interertebrate
Insecte
Hrana
Ierbivor
Carnivor
Omnivor
Deplasare
Inot
Taratoare
Picioare
Biped
Patruped
Poliped
Aripi
Habitat
Acvatic
Campie
Padure
Munte
PartiAnatomice
SiraSpinarii
Aripa
InvelisExterior
Cochilie
Solzi
Blana
Pene
RelatieAsociere
RelatieCuOm
Domestice
Salbatice
RelatieCuAlteAnimale
Singuratate
GrupuriMici
Haite
Carduri
GrupuriMari
Stoluri
Colonii
以下是解释框中“热点”选项卡中的公理：
Carnivor EquivalentTo (Mananca only Vietuitoare) or (Mananca only (faceParteDin some Vietuitoare))
Ierbivor EquivalentTo (Mananca only Plante) or (Mananca only (faceParteDin some Plante))
>
skydrive：http://sdrv.ms/11DdHao
drive.google：https://docs.google.com/folder/d/0B4IUN70RC09nelI3MU1jdHhlWEE/edit
提前感谢，我们非常欢迎您的建议和/或提示！
共有3个答案
查看Kaarel发布的理由，我们可以得出结论，Interertebrate是一个空类，因此它不能有实例。
原因如下：一个Interertebrate也是一个Vietuitoare（来自axiomInterertebrate子类Vietuitoare）AresRaspinaRii是功能性的，因此，一个人要么恰好有一个涉及属性的关系，要么根本没有关系（即恰好为0）。因此，Vietuitoare是一种脊椎动物或一种Nevertebrate，根据两个公理Vietuitoare和（areSiraSpinarii正好是1个Vietuitoare）脊椎动物子类和Vietuitoare和（areSiraSpinarii正好是0个Vietuitoare）Nevertebrate子类。但是脊椎动物和无脊椎都与椎体间分离。所以我们说椎体间期不能是脊椎动物也不能是无椎体，同时我们声明椎体间期必须是脊椎动物或无椎体。
很明显，一定是出了什么问题（但我无能为力，我不知道这些术语是什么意思）。
如果您使用Protege 4.1，您可以在解释框（实验Protege解释启发式）中看到不一致的个体和公理。“热点”选项卡下的公理很可能是导致问题的原因，因此您应该首先修改它们。
我不确定以下说法是否正确：
Vietuitoare
and (areSiraSpinarii exactly 1 Vietuitoare)
使用Protege 4.2，您可以通过各种形式的解释（如“简洁”）探究不一致的原因。也许这个截图有助于：
如果从本体论中删除所有个体，则可以保证删除任何不一致的原因，例如将个体放入单独的模块中，以便轻松插入和退出。这不会解决您的建模错误，但会帮助您更快地找到它。另外，您确定要将动物作为个体建模吗？
-
我刚刚开始使用OWL API，以便生成一些使用其他本体的示例。情况是这样的：我有两个本体A和B，它们有很多元素，从其他本体导入。这两个本体是一个标准的一部分，因此它们是密切相关的。我需要生成一个标准的元素示例，它涉及导入这两个本体，并使用和组合来自这两个本体的类和元素，但我不知道如何开始。我尝试过使用API，但我唯一实现的是加载一个本体，获取一些类和属性，并将它们组合成一个新的本体。我也不知道如何
-
使用基本材质（BasicMaterial）的物体，渲染后物体的颜色始终为该材质的颜色，而不会由于光照产生明暗、阴影效果。如果没有指定材质的颜色，则颜色是随机的。其构造函数是： THREE.MeshBasicMaterial(opt) 其中，opt可以缺省，或者为包含各属性的值。如新建一个不透明度为0.75的黄色材质： 例4.1.1 new THREE.MeshBasicMaterial({
-
GreatNewUpperOntology正确导入,但显示的名称如下： Untitle-Ontology-93(http://www.semanticweb.org/myname/ontologies/2014/9/Untitle-Ontology-93) 问题：有没有一种方法让我把我的本体保存到SemanticWeb.org站点，使用我在自己的计算机上给文件起的描述性名称，例如“GreatNew
-
我试图在不一致的本体上运行一致性检查，Pellet和Hermit Reasoner没有给出不一致性。然而，Protege成功地标记了不一致的类。具体来说，我正在将SBVR规则更改为OWL2.0。所以我的规则是租车必须至少用3张信用卡投保；租车必须由至少5张信用卡投保； 相应的本体是 Hermit和Pellet将本体论标记为一致的，而AsProtege将这两个类标记为不一致的。 现在，如果我把我的S
-
我正在学习这门基于数据的知识课，我试图弄清楚如何安装第一个OWL API。首先，我在Protege中创建一个.owl文件。我的老师告诉我们，我们必须编写一个小的Java程序来读取我们的.owl文件。他告诉我们包括猫头鹰的API；他没有就OWL API进行任何指示和任何讲座。你知道我如何安装OWL API是非常混乱的吗？如果有什么好的教程可以解释如何将.owl文件实现到Java程序中呢？ 谢谢