GraphDB一致性检查在Protege显示预期结果时无法工作

Question

我的本体学很简单（制成蛋白质）。我已经制作了

• 漫画和 manhwa 类彼此不相交。
• 任何 Comic + Japan 的个人都是A 漫画。
• 任何漫画 +韩国的个人都是 manhwa 。

现在，我创建了一个属于 manhwa 和hascountry 日本的个人“ sl ”。这种组合是不可能的。 Protege推理器（隐士）将为此丢弃错误。（预期行为）

，但是当我将其导入GraphDB时，它不会显示任何错误。相反，GraphDB将会告诉 “ sl” 均属于漫画和 manhwa 类别，而HASCOUNTRITY均 Japan 和韩国。在创建此存储库并使用OWL-MAX规则集时，我启用了一致性检查和SHACL验证。

我还应采取什么措施打开GraphDB中的一致性检查？

@prefix : <http://comi.test/#> .
@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://comi.test/#> .

<http://comi.test/#> rdf:type owl:Ontology .

#################################################################
#    Object Properties
#################################################################

###  http://comi.test/#hasCountry
:hasCountry rdf:type owl:ObjectProperty ,
                     owl:FunctionalProperty ;
            rdfs:domain :Comic ;
            rdfs:range :Country .


#################################################################
#    Classes
#################################################################

###  http://comi.test/#Comic
:Comic rdf:type owl:Class .


###  http://comi.test/#Country
:Country rdf:type owl:Class .


###  http://comi.test/#Manga
:Manga rdf:type owl:Class ;
       owl:equivalentClass [ owl:intersectionOf ( :Comic
                                                  [ rdf:type owl:Restriction ;
                                                    owl:onProperty :hasCountry ;
                                                    owl:hasValue :Japan
                                                  ]
                                                ) ;
                             rdf:type owl:Class
                           ] ;
       rdfs:subClassOf :Comic ;
       owl:disjointWith :Manhwa .


###  http://comi.test/#Manhwa
:Manhwa rdf:type owl:Class ;
        owl:equivalentClass [ owl:intersectionOf ( :Comic
                                                   [ rdf:type owl:Restriction ;
                                                     owl:onProperty :hasCountry ;
                                                     owl:hasValue :South_Korea
                                                   ]
                                                 ) ;
                              rdf:type owl:Class
                            ] ;
        rdfs:subClassOf :Comic .


#################################################################
#    Individuals
#################################################################

###  http://comi.test/#Japan
:Japan rdf:type owl:NamedIndividual ,
                :Country .


###  http://comi.test/#SL
:SL rdf:type owl:NamedIndividual ,
             :Manhwa ;
    :hasCountry :Japan .


###  http://comi.test/#South_Korea
:South_Korea rdf:type owl:NamedIndividual ,
                      :Country .


###  http://comi.test/#hxh
:hxh rdf:type owl:NamedIndividual ,
              :Comic ;
     :hasCountry :Japan .


###  Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi

Answer 1

在GraphDB中使用OWL2RLL规则集，因为其他规则集没有内置的一致性检查。