Проверьте, работает ли свойство, используя запрос SPARQL.

Я хочу проверить, является ли свойство функциональным или нет. Я старался:

ASK {
  pz:isBase owl:isInverseFunctional .
}

но это синтаксическая ошибка. Как я могу проверить, работает ли свойство?


person umar    schedule 24.02.2012    source источник
comment
Вы пытаетесь увидеть, является ли свойство InverseFunctionalProperty?   -  person Pradeep Gollakota    schedule 28.02.2012
comment
В общем, вы можете проверить Раздел 2, Сопоставление структурной спецификации с Графики RDF, чтобы узнать, как различные аксиомы OWL будут отображаться в RDF (и, следовательно, как запрашивать их с помощью SPARQL). В данном конкретном случае аксиома OWL InverseFunctionalObjectProperty( OPE ) транслируется в тройку RDF T(OPE) rdf:type owl:InverseFunctionalProperty ..   -  person Joshua Taylor    schedule 20.09.2013


Ответы (1)


Пытаться:

ASK {pz:isBase rdf:type owl:InverseFunctionalProperty}

Для пояснения: шаблоны, которые представляет RDF и которые запрашивает SPARQL, являются тройками subject predicate object или, другими словами, бинарным предикатом. Вы думаете об унарном предикате isInverseFunctional(), но RDF не использует унарные предикаты. Вместо этого такого рода информация о типе или сортировке кодируется как двоичный предикат со специальным предикатом rdf:type, который вы можете представить как isKindOf или is member of the class.

Таким образом, чтобы выяснить, является ли ресурс, обозначающий конкретный предикат в вашей модели предметной области, обратным функциональным свойством, вы спрашиваете, относится ли этот ресурс к классу, то есть имеет ли rdf:type класс всех обратных функциональных свойств или owl:InverseFunctionalProperty.

person Ian Dickinson    schedule 25.04.2012