Вывод по связанным данным Конечные точки SPARQL

При запросе некоторых связанных данных конечных точек SPARQL с помощью запросов SPARQL какой тип аргументации предоставляется (если есть)?Вывод по связанным данным Конечные точки SPARQL

Например, DBpedia SNORQL endpoint даже не обеспечивают основной вывод подкласса (если A subClassOf B и B subClassOf C, то A subClassOf C). В то время как FactForge SPARQL endpoint содержит некоторые выводы (хотя неясно, какой именно вывод), и предоставляет возможность включать и отключать этот вывод.

Мой вопрос: Как можно определить применяемый вид умозаключения? и если поддержка вывода ограничена, может ли она быть расширена только с помощью конечной точки?

источник

2016-03-30 Median Hilal

Существует ряд выводов, которые вы можете сделать только в SPARQL. Например, чтобы пройти иерархию классов, вы можете выполнить '? Subclass rdfs: subClassOf *?superclass', чтобы получить результат 'A subclassOf C', который вы упомянули. –

Ну, 1. Есть ли место, где вы ссылаетесь на меня, чтобы проверить полный список включенных SPARQL-выводов? –

2. Не мог ли этот вывод быть включен на уровне конечной точки SPARQL? т.е. записывать только типичные запросы SPARQL, в то время как конечная точка отвечает за вывод? –

Контроль вывода зависит от двигателя и конечной точки.

public DBpedia SPARQL endpoint (питание от Virtuoso, от моего работодателя, OpenLink Software) делает обеспечивают различные inference rules (доступны через «Умозаключение правил» ссылку в правом верхнем углу конечной точки запроса страницы формы SPARQL), которые контролируются pragmas in your SPARQL (не SNORQL, к которому form you linked), такие как -

DEFINE input:inference 'urn:rules.skos'

Вы можете увидеть содержимое любого заранее заданного набора правил с помощью SPARQL - для выше

SELECT * 
    FROM <urn:rules.skos> 
WHERE { ?s ?p ?o }

Живые query и results.

См. Это tutorial containing many examples.

источник

2016-03-30 16:47:50 TallTed

Отлично. Однако, как узнать содержимое набора правил? например, skos-trans обозначает urn: rules.skos. Каковы применяемые правила при включении этого набора правил? –

См. Расширение моего ответа .... – TallTed

Еще раз спасибо. Но кажется, что термин «правила вывода» немного вводит в заблуждение. То, что они на самом деле, это своего рода включение в словарь. Итак, когда вы указываете ввод DEFINE: выведите в запрос «urn: rules.skos» внутри запроса, который включает только упомянутый словарь. Опять же, проблема заключается в том, как включить аргументацию такого рода (если A subClassOf B и B subClassOf C, затем A subClassOf C) без использования самого SPARQL, т. Е. Не использовать rdfs: subClassOf *? –

Хотя вывод не поддерживается повсеместно в конечных точках SPARQL, большинство выводов, поддерживаемых профилями RDFS, RSFS + и OWL 2 RL, поддерживаются самим SPARQL. Например, запрос для экземпляров :A с помощью своей subClassOf следования может поддерживаться с SPARQL путями собственности:

SELECT ?inst 
WHERE { 
    ?cls rdfs:subClassOf* :A . 
    ?inst a ?cls . 
}

Первый тройной шаблон получает все подклассы :A, в том числе :A (используйте + вместо * если вы просто хотите подклассов :A), а вторая тройка находит все экземпляры всех этих классов.

Чтобы узнать, как большая часть OWL 2 может быть реализована с помощью SPARQL, см. Reasoning in OWL 2 RL and RDF Graphs using Rules. За некоторыми исключениями все они могут быть реализованы в SPARQL (и на самом деле вам, вероятно, не понадобятся некоторые из них, такие как eq-ref (что хорошо для вычислительного LOL, которого могут издеваться логики)).

Существует мало случаев использования, помимо тяжелых проблем классификации, которые не могут быть решены с помощью подмножества правил OWL 2 RL.

Итак, в конце концов, рекомендуется понять, какие вложения необходимы вам. Скорее всего, OWL полностью передумает, и вы можете жить с несколькими шаблонами SPARQL. И тогда вы можете поразить конечные точки SPARQL, не беспокоясь о том, поддерживаются ли конкретные профили вывода.

источник

2016-04-01 02:10:28 scotthenninger

Спасибо. Это было полезно. Я проверил спецификацию SPARQL SPIN для спецификации правил. Тем не менее, я был в основном касался возможностей конечной точки. –

Вывод по связанным данным Конечные точки SPARQL

ответ

Смежные вопросы