Можно ли вывести новые знания об онтологии только из запроса в SPARQL?

Можно ли вывести новые знания об онтологии только из запроса в SPARQL?

У меня вопрос по использованию языка SPARQL об онтологиях. До сих пор я думал, что SPARQL эквивалентен языку SQL в реляционных базах данных, то есть с помощью SPARQL можно обращаться только к данным, которые явно находятся в онтологии, без доступа к данным, которые могут быть выведены, оставляя ответственность за выводы на рассуждения.

Однако я читал документы, из которых делаю вывод, что SPARQL действительно способен выводить неявные и неявные знания в онтологии. Верен ли мой вывод? То есть возможно ли вывести знания с помощью запроса SPARQL без необходимости в логике? Если ответ верен, то какие преимущества имеет использование ризонера по сравнению с использованием SPARQL?

Привет, Мануэль Пуэбла.


person Manuel    schedule 05.12.2018    source источник
comment
Прочтите, пожалуйста, это. И потом, не забывайте, рассуждение — очень общий термин. Действительно, существуют разные типы рассуждений, и даже в дедуктивных рассуждениях есть разные подходы, обладающие разной силой. Более того, почитайте про прямое и обратное связывание — мои пять копеек   -  person UninformedUser    schedule 05.12.2018
comment
Я ценю ваш ответ, но он не отвечает на мой вопрос, а только предлагает библиографию. До сих пор, чтобы вывести новые знания, я использовал инструменты, называемые резонерами (Pellet, Racer, HermiT и другие), объединенные с такими фреймворками, как OWLAPI или JENA. Я никогда не использовал SPARQL для этого, и я думал, что это невозможно сделать, что с SPARQL я мог только обращаться к данным, которые были явно. Мне нужно знать, могу ли я сделать то же самое со SPARQL без вышеупомянутых инструментов. Привет.   -  person Manuel    schedule 05.12.2018
comment
Дублировать. См. список рассылки users@jena: lists.apache. org/thread.html/   -  person AndyS    schedule 06.12.2018
comment
Какое отношение имеет geosparql к этому вопросу?   -  person AndyS    schedule 06.12.2018
comment
@Manuel И я упомянул о режимах следования SPARQL 1.1 в своей ссылке. Как вы думаете, о чем это? Да, это вывод в SPARQL. Так что мой комментарий отвечает на ваш вопрос. Короче говоря, за кулисами это все еще какой-то механизм рассуждений, либо он делается а) заранее и материализует все выводы, так что вы запрашиваете материализованный граф, либо б) на лету с помощью обратной цепочки aka переписывание запроса.   -  person UninformedUser    schedule 07.12.2018
comment
И в самом деле, есть разница между использованием стандартного механизма рассуждений OWL и выводом SPARQL. Думайте о полноте   -  person UninformedUser    schedule 07.12.2018


Ответы (1)


Да, вывод на лету может быть функцией процессора SPARQL, поэтому вы можете получить преимущества вывода/рассуждения непосредственно из запроса SPARQL. (См. правила вывода конечных точек Virtuoso SPARQL для обсуждения того, как это делается в Virtuoso, Например.)

person TallTed    schedule 06.12.2018