СОВА:Абстрактные классы, анонимные узлы, Регулярные выражения

Question

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

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

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

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

Спасибо

Answer 1

OWL (в общем случае) касается требований, заданных набором RDF, а не проверки (особенно в отношении структуры).

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

Обновить: Возможно, вы сможете использовать ВРАЩЕНИЕ запросить структуру и содержимое графа, чтобы вывести новые тройки.

Answer 2

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

Подкласс (объединение [B, C]) и (непересекающиеся[B, C])