Здравствуйте!

Я раньше не работал с онтологиями, но сейчас пытаюсь разобраться в них в силу необходимости. Возник такой вопрос (буду пытаться использовать понятия OWL): свойство типа objectProperty может иметь subproperties, но они должны быть только типа objectProperty. Свойство типа dataProperty тоже может иметь subproperties, но они должны быть только типа dataProperty.

Рассмотрим ситуацию, близкую к примеру с демонстрационной онтологией pizza.owl : есть набор компонентов, из которых может быть сделана пицца. Есть различные пиццы, использующие некоторые из этих компонентов в различных пропорциях. Мы можем, условно, описать рецепт приготовления пиццы, указав при помощи связей (т.е. задав objectProperties) какие компоненты в состав какой пиццы входят. Однако, мало указать сам факт вхождения компонента в состав, надо также указать количество этого компонента в составе.

Напрашивается предположение о том, что для objectProperties можно определить и задать некий набор свойств, как если бы objectProperty могло бы включать в себя dataProperties. Однако таких примеров мне отыскать не удалось. Из описания OWL, насколько я понял, тоже следует что, такое невозможно.

Вопрос: как описывается обозначенная ситуация с точки зрения онтологий и как это может быть записано в формате OWL или каком-либо другом приемлемом для онтологии формате?

Вопрос мне кажется специфичный, буду благодарен за любую информацию.

Спасибо! И с наступающим :)

И еще раз спасибо. Мне кажется, вы ответили на мой вопрос.