OWL中用属性计数推断知识
@prefix : <http://www.semanticweb.org/chris/ontologies/2017/9/untitled-ontology-64#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@base <http://www.semanticweb.org/chris/ontologies/2017/9/untitled-ontology-64> .
<http://www.semanticweb.org/chris/ontologies/2017/9/untitled-ontology-64> rdf:type owl:Ontology .
:traveledTo rdf:type owl:ObjectProperty ;
rdfs:domain :Person ;
rdfs:range :City .
:City rdf:type owl:Class .
:Person rdf:type owl:Class .
:Bob rdf:type owl:NamedIndividual ,
:Person ;
:traveledTo :London ,
:Ottawa ,
:Paris .
:Brussels rdf:type owl:NamedIndividual ,
:City .
:London rdf:type owl:NamedIndividual ,
:City .
:Ottawa rdf:type owl:NamedIndividual ,
:City .
:Paris rdf:type owl:NamedIndividual ,
:City .
:Ralph rdf:type owl:NamedIndividual ,
:Person ;
:traveledTo :Rome .
:Rome rdf:type owl:NamedIndividual ,
:City .
:Washington rdf:type owl:NamedIndividual ,
:City .
:WorldTraveler rdf:type owl:Class ;
owl:equivalentClass [ owl:intersectionOf ( :Person
[ rdf:type owl:Restriction ;
owl:onProperty :traveledTo ;
owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger ;
owl:onClass :City
]
) ;
rdf:type owl:Class
] .
谢谢你的帮助。
克里斯
共有1个答案
除了开放世界假设(OWA)外，还存在唯一名称假设(UNA)。OWL确实制造了前者(OWA)，而不制造后者(UNA)。
你应该明明白白地让个人与众不同。
在Turtle语法中，它应该是这样的：
:London owl:differentFrom :Paris .
[ rdf:type owl:AllDifferent ;
owl:distinctMembers ( :Brussels :London :Ottawa :Paris :Rome :Washington )
] .
-
如何用推理器推断给定数据/对象属性的OWL域/范围？ 例如，我有两个类、和一个数据属性。我希望这些类是的唯一域： 当我使用HermiT reasoner推断域时，我得到了类，而不是或: 我可以通过使用owl-api读取的来手动提取域，从而获得和类。但是我将无法获得其他可推断的类（例如，有一个等效的类)。 所以我想用推理机来推断结果，比如： 推理器：隐士、fact++、... SQWRL规则引擎：D
-
Hospitals和hasNameWithWords值“Center”^^字符串 这个查询返回给我的实例是，在Protege4.2中，使用FACT++reasoner和Hermit reasoner的医院名称中有“Center” 但当我在OWL-API的DL查询示例中输入相同的查询时，该示例可在以下网站获得：http://sourceforge.net/p/owlapi/code/ci/aef69
-
我面临的问题是，推理器（例如Pellet）没有将个体分类到其定义使用数据属性限制的类中。 我已经在Protege5中创建了一个最小的OWL本体示例（基于著名的pizza示例）来说明这个问题。 有三种类型：MarghartiaPizza,LowCaloriePizza,highcaloriepizza。有一个hasCalorificContentValue数据属性。MarghartiaPizza类有
-
假设我有一些本体论创建的蛋白质，有一个类的实例与一些对象属性，和对象属性的列表，已显示在以下图片： 对象属性的层次结构如下所示： 现在，当我打开Reasoner（Hermit）时，我得到了同一个人的以下断言对象属性： 当我点击推断对象属性“dependsUp”客户的解释时，我得到： 我的问题是，我如何使用Java生成它？我已经可以通过以下方法获得某些个人的推断对象属性（abreviety在这里不完
-
假设OWL本体论包含以下SWRL规则： 和以下对象属性断言： 当我运行的隐士推理器中的蛋白质，我得到以下推断对象属性断言： 然而，当我用owlready2加载同一个本体并运行它的hermitreasoner时，我没有得到任何推断的对象属性断言。例如： 不返回任何属性。 我确实以RDFXML格式保存了本体，并且可以使用owlready2检索SWRL规则。 owlready2推理器不支持这种推论吗？
-
我使用Protege创建了一个本体，并添加了SWRL规则，使用Hermit Reasoner，一切都很好，但它不显示推断的DataProperties。 我尝试使用Pellet,它能够推断数据属性,但是,我创建的所有SWRL规则都不再起作用了。 这是隐士的窃听器吗？有解决办法吗？最诚挚的问候。