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

Question

OWL AXIOM выражения:

Дано: owl: класс спорт

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

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

Answer 1

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

Sport subClassOf (стоимость игрока Питер)

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