Как оформить недвижимость в Protégé?

Question

У меня есть следующая проблема для моделирования в OWL используя Protege:

Множественные Song s может быть выполнена в различных Performance с. Каждый Song может быть организован различными Arranger в разных Performance.

Я уже знаю, как связать Song с Performance с использованием свойства объекта. Теперь, как составить карту Song - Performance пару на Arranger? (В реляционной базе данных я бы назвал это «описательным атрибутом» отношения «многие ко многим» Song - Performance).

Я знаю, что я мог бы использовать аннотацию к объекту, но я хотел бы иметь возможность вывести что-то из этого свойства. (Например: что Song имеет Arranger, а у которого Performance?) Насколько я знаю, я не могу сделать вывод из аннотации.

Answer 1

Нет необходимости добавлять свойства свойств для моделирования этого сценария, хотя свойство является объектом (uri) и поэтому может включать в себя любое свойство, а не только свойства аннотации. rdfs: subPropertyOf - хороший пример. Не требуется также подтверждение заявления. Речь идет о создании объекта, который содержит информацию о песне и производительности.

Вот модель, которая представляет отношения аранжировщика в песне-Performance:

ex:SongPerformance a owl:Class . 
ex:Arranger a owl:Class . 
ex:arranged rdfs:domain ex:Arranger ; 
    rdfs:range ex:SongPerformance . 
ex:songPerformed rdfs:domain ex:SongPerformance ; 
    rdfs:range ex:Arranger . 
ex:performedIn rdfs:domain ex:SongPerformance ; 
    rdfs:range ex:Arranger . 

Учитывая этот список, пример экземпляр:

ex:Arranger-1 ex:arranged ex:SP1 . 
ex:SP1 ex:performedIn ex:Performance_1 ; 
    ex:songPerformed ex:Song1 . 

Тогда вы можете найти песни, которые имеют аранжировщик, организованный в данном исполнении по следующему запросу SPARQl:

SELECT ?arranger ?song ?performance 
WHERE { 
    ?arranger a ex:Arranger ; 
     ex:arranged ?sp . 
    ?sp ex:songPerformed ?song ; 
     ex:performedIn ?performance . 
}