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

Ну подход у вас интересный конечно, возможно удастся что-то типа инфа сделать (iii.ru). Я сам в эту тему смотрю, но пока только смотрю - там много очень важных вещей не готово с моей точки зрения (а без них не взлетит), и делать я это если когда и буду, то скорее всего на других рельсах. Делать логику функциональным подходом - это для меня, честно говоря, новая тема. Ни разу не встречал. Но делать ее надо по-любому. Хоть тушкой, хоть чучелкой, а выводить надо. Для примера. У нас хотя и небольшая задачка (примерно 21 тысяча триплетов), но из них 12,5 тысяч выводится автоматом. Да, не обычным ризонером (там в композере какая-то своя приблуда на основе спаркла или SPIN, я так и не понял). Может, она конечно выводит далеко не все, согласен. Сложную многоступенчатую логику с отрицаниями и проверкой условий тяжко вывести (а мы ее и не делали, вернее делали, но уже спарклом при запросах). Но хотя бы на каком-то уровне, хотя бы RDFS, оно должно присутствовать. Иначе забивать кучу данных ручками - это какой-то мазохизм будет. А чтобы выводить хотя бы так, нужны констрайнты и непротиворечивость. Вот это имхо должно делаться в дизайн-тайме без ввода индивидов на полупустых классах (отладка). Иначе не выйдет - разработать модель данных (эту правильную онтологию в моем понимании) нереально будет.