检查RDFlib和python的本体一致性

Question

我正在使用RDF lib和python。是否有任何函数可以控制本体是否不一致。

<  owl:Class rdf:about="http://www.semanticweb.org/ontologies/2016/1/semantic_mapping_domain_model#Chair">
    <  owl:equivalentClass rdf:resource="http://www.semanticweb.org/ontologies/2016/1/semantic_mapping_domain_model#Table"/>
    <  rdfs:subClassOf rdf:resource="http://www.semanticweb.org/ontologies/2016/1/semantic_mapping_domain_model#Furniture"/>
    <  owl:disjointWith rdf:resource="http://www.semanticweb.org/ontologies/2016/1/semantic_mapping_domain_model#Table"/>
<  /owl:Class>

我迫使一个人属于某个阶级及其补充。我想使用python对.owl文件执行一致性检查。

使用Protégé启动Pellet推理器返回：

  

InconsistentOntologyException：无法对不一致进行推理   本体！

当我使用以下python代码加载本体（你可以找到它here）时：

import uri
from rdflib import Graph, Literal, BNode, Namespace, RDF, URIRef
from rdflib.namespace import DC, FOAF, RDF
[...]
g = Graph()
g.parse("/local_path/scripts/semantic_mapChairs.owl")
[...]

没有检测到任何东西（有一个对象主席的实例）。 你有什么建议吗？