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

Ну мне такой подход и близок. Ибо, у меня есть задумки на тему, как автоматически сравнивать онтологии. И как писать софт, который бы самоконфигурировался, т.е. на основании выявленных различий решал, может ли он с ними жить и в какой степени. Т.е. часть функциональности может отвалиться, часть может продолжить фунциклировать, если возможно преобразование данных (к примеру из int'ов в double'ы или наоборот).