Reasoner對不一致性的解釋

我在GitHub上使用Matthew Horridge的owlexplanation項目的代碼。我得到以下推理不一致的解釋。你能告訴我爲什麼？我的範圍是4-9之間，我給了數字5.不一致是什麼？Reasoner對不一致性的解釋

[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") 
    ]

來源

2016-01-18 Katerina Dimitraki

「5」數據值沒有類型標籤。我不記得什麼是默認類型，但它可能是字符串。字符串和「int」在OWL 2 DL中是不相交的數據類型，因此不一致。您可以嘗試通過用「5」替換「5」來解決此問題。^^ xsd：int

來源

2016-01-18 13:17:17

確實，這是一個無類型文字（PlainLiteral或rdf：langString，取決於RDF 1.0或1.1）。它的數據類型與任何數字數據類型都不兼容，即使文字形式與有效整數文字相同。 – Ignazio

Reasoner對不一致性的解釋

回答

相關問題