Как успешно загрузить круговой файл в GraphDB по онтексту - PullRequest
0 голосов
/ 11 марта 2019

У меня есть круговой файл, который используется для вывода в графическом тексте GraphDB. Я правильно написал набор правил. при загрузке файла кажется, что все в порядке. Но при создании репозитория отображается «Недопустимый файл набора правил. Пожалуйста, загрузите действительный ». Я думаю, что проблема связана со скрытым символом, присутствующим внутри файла. Как выбраться, если такие персонажи. Содержимое моего файла:

Prefices
{
rdf : http://www.w3.org/1999/02/22-rdf-syntax-ns#
owl : http://www.w3.org/2002/07/owl#
abc : http://www.xyzabc.com/schema/abcentity#
}

Axioms
{
<abc:isLocatedIn> <rdf:type> <owl:ObjectProperty>
}

Rules
{

Id: isLocatedInHierarchy

a <abc:isLocatedIn> b [Constraint a != b]
b <abc:isLocatedIn> c [Constraint b != c]

a <abc:isLocatedIn> c [Constraint a != c]        

}

Ответы [ 2 ]

1 голос
/ 11 марта 2019

скрытый символ присутствует внутри файла

Вы имеете в виду знак спецификации 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.
0 голосов
/ 11 марта 2019

Мне также удалось успешно загрузить ваш файл .pie.Возможно проблема связана с локалью компьютера или чем-то в окружающей среде.Если вы используете Windows Notepad ++, это кажется логичным выбором.Я думаю, что есть возможность просмотреть все скрытые символы, но я никогда не использовал его.Если вы используете Linux, существует множество вариантов, даже в том числе vim или nano, которые будут работать просто отлично.

...