Protege中对象属性本体的限制
我已经在Protege5.2中创建了一个本体，现在我正在尝试正确地创建相应类的对象属性。下面是我的UML图的一个片段，我根据它构建了我的本体：我的本体的一个片段
关于isLocated对象属性，它们以以下方式表征：如果一个节点X有一个站点值Z，而同一个值Z出现在一个位置Y的SITEIST中，那么节点X位于位置Y中。
我应该看看SWRL规则，还是有什么方法可以在不需要去那里的情况下对其进行编码？
提前谢谢你们！
共有1个答案
在SWRL中,您可以直接实现：
locationHasSiteIst(?l, ?s) ^ nodeHasSite(?n, ?s) -> nodeLocatedInLocation(?n, ?l)
如果希望在OWL中创建，则需要将LocationHassiteIST和NodeHassite作为对象属性，将Site作为类而不是数据类型，然后可以在Protege中使用对象属性链接和包含，如下所示：
nodeHasSite o inverse(locationHasSiteIst) SubPropertyOf nodeLocatedInLocation
最后一行表示，如果节点n1位于site1中，并且位置l1也位于s1中，则n1位于l1中。
-
如果我对本体中“class1”的所有实例都有相同的对象属性值“val1”，我如何推断该“class1”的对象属性值为“val1”
-
我想建立一个本体模型，在那里我可以表示一个实体的缺失，可以这么说。例如，我希望有Rain和No_Rain，我将它们定义为不相交类。在此之后，我有了object属性has_rain。我想以某种方式能够推理出，对于同一个人来说，不可能同时拥有has_rain（雨）和has_rain（无雨）我已经搜索了很多，但是没有找到我问题的答案。也许我在什么地方错过了。对不起，如果我没有解释好一切，这是我的第一个问
-
GreatNewUpperOntology正确导入,但显示的名称如下： Untitle-Ontology-93(http://www.semanticweb.org/myname/ontologies/2014/9/Untitle-Ontology-93) 问题：有没有一种方法让我把我的本体保存到SemanticWeb.org站点，使用我在自己的计算机上给文件起的描述性名称，例如“GreatNew
-
http://imgur.com/yq6ef3i 对于给定的本体，我创建了类OperatingGrange、OperatingPowerRange和ValueRange。此外，还会创建属性hasOperatingProperty、hasValue和其他属性。我面临的问题如下： 对于ssn:hasOperatingProperty，我将opertingGrange类用作域，而ssn：operatin
-
我对使用Protege还不熟悉。我正在使用两个小的owl文件，都包含一个超级类和两个子类。除了类名之外，这两个本体完全相同。我将这两个文件导入到一个新文件中，并使用refactor菜单将一个本体合并到另一个本体。我使用“等效”来映射本体的相应类，并对属性进行了同样的操作。我希望SPARQL查询从两个本体中获取结果。我该如何进行？
-
我试图在Protege3.5中加载一个OWL2.0本体。然而，每次我尝试的时候，它都会给出一个错误。 本体很好，因为当我从Java代码运行它们时，Hermit Reasoner和Pellet Reasoner在它上面工作得很好。你能告诉我为什么会出现错误信息以及如何修复它吗。