Reasoner对不一致性的解释

Question

我在GitHub上使用的是Matthew Horridge项目的代码。我得到了下面的原因不一致的解释。你能告诉我为什么会这样吗？我的范围是4-9，我给的是数字5，不一致是什么？

  [Explanation <SubClassOf(owl:Thing owl:Nothing)>
        DataPropertyRange(<http://www.semanticweb.org/katerina/ontologies/2015/3/farm2fork#test_dataProperty2> DataRangeRestriction(xsd:int facetRestriction(maxExclusive "9"^^xsd:int) facetRestriction(minExclusive "4"^^xsd:int)))
        DataPropertyAssertion(<http://www.semanticweb.org/katerina/ontologies/2015/3/farm2fork#test_dataProperty2> <http://www.semanticweb.org/katerina/ontologies/2015/3/farm2fork#meat_002> "5")
    ]

Answer 1

"5“数据值上没有类型标记。我不记得默认类型是什么，但它很可能是String。字符串和"int“在OWL 2DL中是不相交的数据类型，因此不一致。您可以尝试通过将"5“替换为”5“^xsd:int来解决此问题