Я не уверен, где именно моя проблема или недоразумение. Я использую OWL в Knowrob и Rosprolog.
В моем OWL hsr_objects:'Banana'
является подклассом hsr_objects:'Item'
. Таким образом, это ведет себя как ожидалось:
?- owl_subclass_of(hsr_objects:'Banana', hsr_objects:'Item')
true.
Но почему ошибка возникает в следующем приглашении?
?- X=hsr_objects:'Banana', owl_subclass_of(X, hsr_objects:'Item')
Prolog query failed: error(type_error(rdf_object,hsr_objects:Banana),context(rdf_db:rdf_has/3,_434))