Простейшие примеры определения онтологий с использованием других онтологий
"тела" - область. Пусть [куб], [пирамида],[шар] - тела. Используем понятие [изменение цвета]. [цвет] - отображение. цвет: тела -> Цвета. цвет(куб) = красный. цвет(пирамида) = синий. цвет(шар) = красный.
/* Примеры вопросов к онтологии:
Элементы области цвета? Чему равно измененный(цвет(шар))? Цвет(пирамида)==измененный(цвет(шар))? Равны ли цвет(пирамида) и измененный(цвет(шар))? Равны ли цвет(куб) и измененный(цвет(шар))? Равны ли измененный(цвет(пирамида)) и измененный(измененный(цвет(шар)))? */.
/****************************************************************************** В первых двух предложениях вводится класс "тела" и некоторые его элементы. Далее, в определяемую онтологию вводится онтология "изменение цвета", вводится функция, задающая для каждого тела его цвет, и равенствами связываются элементы, введенные в текущей онтологии и в предыдущих онтологиях. *******************************************************************************/.
В данной онтологии отношение использования не установлено
В данной онтологии шаблоны не разработаны
Теперь возможны SQL-запросы вида:
Для всех[ y: Тела ] [ id(Тела)(y) ] => [y] ("Тождество"). Select "id(Тела)(т),Цвет(т), Измененный (цвет(т))" from "т: тела" where "true"?
Ответ : " id(тела)(т) цвет(т) измененный (цвет(т)) куб красный синий пирамида синий зеленый шар красный синий "
»
SQL - запрос
Теперь возможны SQL-запросы вида:
Для всех[ y: Тела ] [ id(Тела)(y) ] => [y] ("Тождество").
Select "id(Тела)(т),Цвет(т), Измененный (цвет(т))" from "т: тела" where "true"?
Ответ : "
id(тела)(т) цвет(т) измененный (цвет(т))
куб красный синий
пирамида синий зеленый
шар красный синий
"
»