OWL: абстрактные классы, анонимные узлы, регулярные выражения - PullRequest
Новая
       59

OWL: абстрактные классы, анонимные узлы, регулярные выражения

4 голосов
/ 12 июня 2009

При определении онтологии с использованием OWL, есть ли способ сказать, что класс

  • всегда должен быть анонимным узлом (нет rdf: about = "...") например <Мой: FamousQuote />
  • является абстрактным и любой экземпляр этого класса должен всегда используйте подкласс

(отредактировано здесь:)

  • что DataTypeProperty должен соответствовать регулярному выражению?

Спасибо

Ответы [ 2 ]

6 голосов
/ 12 июня 2009

OWL (в целом) - это последствия, связанные с набором RDF, а не проверка (особенно в отношении структуры).

  • В OWL 1.1 нет способа узнать, является ли узел анонимным или нет. OWL 2, похоже, тоже этого не поддерживает (например, через owl:Restriction).
  • Что касается требования к абстрактному классу, в этом сообщении в списке рассылки Protege есть несколько идей о том, как это сделать.
  • OWL 1.1 DatatypeProperties не поддерживает «проверку» объекта данного оператора. OWL 2 имеет фасеты типа данных (включая xsd:pattern), которые вы потенциально можете использовать.

Обновление: Возможно, вы сможете использовать SPIN для запроса структуры и содержимого графика, чтобы вывести новые тройки.

0 голосов
/ 09 сентября 2018

Определение A как абстрактного класса с использованием следующего синтаксиса OWL

A subClassOf (unionOf [B, C]) и (не пересекаются [B, C])

...