Рассуждение GraphDB делает разные выводы для классов - PullRequest
Новая
       59

Рассуждение GraphDB делает разные выводы для классов

0 голосов
/ 03 июля 2018

В репо я загрузил следующие операторы с набором правил OWL-Horst (Optimized). 

@prefix : <http://example.org/owlim#> .

:Foo rdf:type owl:Class .
:Bar rdf:type owl:Class . 
:Baz rdf:type owl:Class ;
     rdfs:subClassOf :Bar .

Если я посмотрю на предполагаемые утверждения, то обнаружу, что для класса :Foo нет никаких выводов. Вместо этого есть основные предполагаемые утверждения для :Bar и :Baz. Например,:. 

:Bar rdf:type rdfs:Class    
:Bar rdfs:subClassOf :Bar

Почему это происходит?

1 Ответ

0 голосов
/ 03 июля 2018

оптимизированный для owl-horst набор правил "не знаю", что такое owl: Class, поэтому вы не получаете никаких выводов из утверждений, относящихся к ресурсу rdf: тип owl: Class

Выводы сделаны из-за rdfs: domain и rdfs: диапазон rdfs: subClassOf и его транзитивность.

Один из способов сделать вывод - добавить в хранилище «owl: Class rdfs: subClassOf rdfs: Class».

...