Моделирование онтологий OWL; конкретный расширенный выпуск

Question

Учтите, что мы моделируем домен с использованием следующих концепций: Maker, который является производителем автомобилей, Model, который является конкретной моделью, которая hasMaker специфическим уникальным Maker. И считают MakerExhibition, который является своего рода выставка, которая проводится с помощью одного Maker и может показать несколько Model этого Maker:

Model, Maker, MakerExhibition 

hasMaker domain Model 
hasMaker range Maker 

Model subClassOf hasMaker exactly 1 Maker 

hasExhibitionMaker domain MakerExhibition 
hasExhibitionMaker range Maker 

hasExhibitionModel domain MakerExhibition 
hasExhibitionModel range Model 

MakerExhibition subClassOf hasExhibitionMaker exactly 1 Maker 

ВОПРОС: Как ограничить (с использованием DL или OWL синтаксис в Protege), что любой Model, который отображается по адресу MakerExhibition, по адресу: hasExhibitionModel, должен иметь то же самое MakerExhibitionMaker?

Например, на MakerExhibition для MakerBMW, мы не можем показать Model из MakerMercedes!

Answer 1

ВОПРОС: Как ограничить (используя DL или синтаксис OWL в Protege), что любая модель, которая появляется в MakerExhibition через hasExhibitionModel должны иметь один и тот же MakerExhibition чайник?

Вы хотите, чтобы иметь возможность сделать вывод, что если модель показана на выставке производителя для конкретного производителя, того, что модель имеет один и тот же производитель. То есть от

       ? Модель и лев. _{естьExhibitionModel}? Выставляется & rightarrow; _{hasExhibitionMaker} производитель

вы хотите сделать вывод, что

        модель & СтрелкаВправо?; _hasMaker производитель

Вы можете сделать это с помощью Подствойства аксиомы:

        (обратного hasExhibitionModel) & пули; hasExhibitionMaker SubPropertyOf hasMaker

Смотрите следующие вопросы еще несколько примеров:

• Inference in protége
• Adding statements of knowledge to an OWL Ontology in Protege)