Question

我在GitHub上使用Matthew Horridge的owlexplanation项目代码。我得到以下推理不一致的解释。你能告诉我为什么会这样吗？我的范围是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

＆＃34; 5＆＃34;没有类型标签数据值。我不记得什么是默认类型，但很可能是String。字符串和＆＃34; int＆＃34;在OWL 2 DL中是不相交的数据类型，因此不一致。您可以尝试通过替换＆＃34; 5＆＃34;来解决此问题。使用＆＃34; 5＆＃34; ^^ xsd：int

理由对不一致性的解释

1 个答案: