Объяснения Разуссера о несоответствии

Question

Я использую код проекта owlexplanation Мэтью Хорридж на GitHub. Я получаю следующее объяснение несогласованности. Не могли бы вы рассказать мне, почему? Мой диапазон составляет 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 2 DL, поэтому несогласованность. Вы можете попытаться исправить эту проблему, заменив «5» на «5» ^^ xsd: int