2015-06-21 2 views

ответ

1

partial здесь означает, что класс adult является специализацией аннотации, как в Class(a:Cat partial a:Animal)).

complete спецификатор означает эквивалентность, как в примере, приведенном в вашей ссылке:

Class(a:animal_lover complete 
    intersectionOf(restriction(a:has_pet minCardinality(3)) a:person)) 

, который гласит, что animal_loverявляетсяperson, который имеет по крайней мере 3 домашних животных.

+0

Я угадываю, когда нет определенного класса, как в примере в вопросе, класс должен быть совой: Thing – Ignazio

+0

приятно видеть вас здесь ignazio :) –

+0

любезно проверьте http://stackoverflow.com/вопросы/31103720/должны-РИФ-правила-быть-внутри-онтология –

Смежные вопросы