Общего класс Аксиома

Question

OWL АКСИОМА выражения:

Учитывая: сова: класс спорт

Выход: в дополнении к существующей сове: свойства объекта я хочу добавить сову: свойство объекта игрока со значением Петра в каждом экземпляре от типа сова: класс спорта. Это означает, что каждый человек из типа сова: классный спорт должен иметь это свойство объекта, унаследованное значением Петра.

Моя первая мысль заключалась в том, чтобы выразить его с аксиомой общего класса. Здесь я не уверен, действительно ли это a) и b) лучше сделать это с запросом обновления SPARQL для isntance в Йене. Что бы вы мне порекомендовали? И как бы выглядела такая аксиома общего класса, поскольку isntance в синтаксисе owl manchester

Answer 1

Если я правильно вас понимаю, вам не нужна аксиома общего класса для этого. Вы просто хотите «нормальную» подкласс аксиомы:

        Спорта subClassOf (игрок значения Питера)

, который говорит, что каждый экземпляр Sport имеет Петра в качестве значения имущество плеер.