скрытый символ присутствует внутри файла
Вы имеете в виду знак спецификации Unicode? Получить редактор, который можно сохранять без такой отметки (я настоятельно рекомендую Akelpad: http://akelpad.sourceforge.net/), или просто сохранить в ASCII.
Кстати, написание файлов PIE с правилами для каждого свойства не очень хорошая идея. Вместо этого используйте универсальное правило для транзитивного свойства, а затем объявите abc:isLocatedIn
транзитивное в вашей онтологии. Самый дешевый встроенный, в который включено такое правило - rdfsPlus-optimized
. Если вы выберете его, то добавите в свою онтологию
abc:isLocatedIn a owl:TransitiveProperty.
Однако лучше оставить свойство "step" abc:isLocatedIn
, а затем поверх него переходное свойство, например abc:isLocatedTransitive
:
abc:isLocatedTransitive a owl:TransitiveProperty.
abc:isLocatedIn rdfs:subPropertyOf abc:isLocatedTransitive.
Наконец, есть более эффективный способ вычисления транзитивного замыкания, см. http://rawgit2.com/VladimirAlexiev/my/master/pubs/extending-owl2/index.html#sec-3-1:
abc:isLocatedTransitive ptop:transitiveOver abc:isLocatedIn.
abc:isLocatedIn rdfs:subPropertyOf abc:isLocatedTransitive.