[英]OWL cardinality restriction issue
如下图所示, a
是一个定义的类has_relation min 2 b
。
c
也是一个命名类(has_relation min 1 b1) and (has_relation min 1 b2)
颗粒推理不分类c
作为一个子类a
。什么是错的定义c
?
<?xml version="1.0"?>
<rdf:RDF xmlns="http://www.semanticweb.org/user/ontologies/2019/11/untitled-ontology-123#"
xml:base="http://www.semanticweb.org/user/ontologies/2019/11/untitled-ontology-123"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:xml="http://www.w3.org/XML/1998/namespace"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">
<owl:Ontology rdf:about="http://www.semanticweb.org/user/ontologies/2019/11/untitled-ontology-123"/>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Object Properties
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<!-- http://www.semanticweb.org/user/ontologies/2019/11/untitled-ontology-123#has_relation -->
<owl:ObjectProperty rdf:about="http://www.semanticweb.org/user/ontologies/2019/11/untitled-ontology-123#has_relation"/>
<!--
///////////////////////////////////////////////////////////////////////////////////////
//
// Classes
//
///////////////////////////////////////////////////////////////////////////////////////
-->
<!-- http://www.semanticweb.org/user/ontologies/2019/11/untitled-ontology-123#a -->
<owl:Class rdf:about="http://www.semanticweb.org/user/ontologies/2019/11/untitled-ontology-123#a">
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.semanticweb.org/user/ontologies/2019/11/untitled-ontology-123#has_relation"/>
<owl:minQualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">2</owl:minQualifiedCardinality>
<owl:onClass rdf:resource="http://www.semanticweb.org/user/ontologies/2019/11/untitled-ontology-123#b"/>
</owl:Restriction>
</owl:equivalentClass>
</owl:Class>
<!-- http://www.semanticweb.org/user/ontologies/2019/11/untitled-ontology-123#b -->
<owl:Class rdf:about="http://www.semanticweb.org/user/ontologies/2019/11/untitled-ontology-123#b"/>
<!-- http://www.semanticweb.org/user/ontologies/2019/11/untitled-ontology-123#b1 -->
<owl:Class rdf:about="http://www.semanticweb.org/user/ontologies/2019/11/untitled-ontology-123#b1">
<rdfs:subClassOf rdf:resource="http://www.semanticweb.org/user/ontologies/2019/11/untitled-ontology-123#b"/>
</owl:Class>
<!-- http://www.semanticweb.org/user/ontologies/2019/11/untitled-ontology-123#b2 -->
<owl:Class rdf:about="http://www.semanticweb.org/user/ontologies/2019/11/untitled-ontology-123#b2">
<rdfs:subClassOf rdf:resource="http://www.semanticweb.org/user/ontologies/2019/11/untitled-ontology-123#b"/>
</owl:Class>
<!-- http://www.semanticweb.org/user/ontologies/2019/11/untitled-ontology-123#b3 -->
<owl:Class rdf:about="http://www.semanticweb.org/user/ontologies/2019/11/untitled-ontology-123#b3">
<rdfs:subClassOf rdf:resource="http://www.semanticweb.org/user/ontologies/2019/11/untitled-ontology-123#b"/>
</owl:Class>
<!-- http://www.semanticweb.org/user/ontologies/2019/11/untitled-ontology-123#c -->
<owl:Class rdf:about="http://www.semanticweb.org/user/ontologies/2019/11/untitled-ontology-123#c">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.semanticweb.org/user/ontologies/2019/11/untitled-ontology-123#has_relation"/>
<owl:minQualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:minQualifiedCardinality>
<owl:onClass rdf:resource="http://www.semanticweb.org/user/ontologies/2019/11/untitled-ontology-123#b1"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://www.semanticweb.org/user/ontologies/2019/11/untitled-ontology-123#has_relation"/>
<owl:minQualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:minQualifiedCardinality>
<owl:onClass rdf:resource="http://www.semanticweb.org/user/ontologies/2019/11/untitled-ontology-123#b2"/>
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
</rdf:RDF>
<!-- Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi -->
b
子类(b1,b2)
必须彼此不相交。否则推理者无法确定b1
和b2
是相同或不同的成员。
我认为这指的是开放世界假设讨论。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.