Без заголовка

Что в программировании люди идут за операциями (в том числе вычисляющими свойства объектов), а не за типами, так это я написал. Но в онтологиях типы не определяются только свойствами объектов. Типы не во всех онтологиях задаются интенсионально, через формулу "свойства", в некоторых они задаются экстенсионально -- просто как перечисление всех объектов, которые нам нужны. Скажем, "красный" это не свойство, а просто все предметы красного цвета, которые были, есть или будут. Все эти пожарные машинки, кусочки тряпочек, вся кровь и т.д.. Никаких свойств, просто набор всех этих четырёхмерных предметов ))) Ну, и онтологии нужны не сами по себе, а чтобы вычислять над ними. Те же самые операции.