мультиагентная семантика

Некоторым программистам, когда они сталкиваются
с какой-то проблемой, приходит в голову такая мысль
— О, я знаю! Это можно сделать с помощью регулярных выражений!
Это означает, что у этого програмиста теперь ДВЕ проблемы.
(с)башорг

Мультиагентные системы были темой моего бакалавра и магистра. Сначала были алгоритмы действий агентов и простенький редактор алгоритмов. Это бакалавр. Потом супер распределенная система. Немного мультиагентная. Что же там было стоящего? Использование JADE. Но стоять на месте, собственно, не получится. Теперь диссертация кандидатская назревает. Тут можно посмотреть шире. Добавим семантические заморочки, запущенные в сеть с легкой руки Тима Бернес-Ли. Здесь правит W3C.
Есть неплохие обзоры проектов, порталы разработчиков(к примеру, SemWebCentral).
Но! теперь нужна собственно диссертация, и проблем тут гораздо больше, чем две.

настоящая любовь

истинная любовь одна, а подделок под нее - тысячи
(с)

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

логический вывод

Вывод — процесс рассуждения,
в ходе которого осуществляется
переход от некоторых исходных
суждений (предпосылок) к новым
суждениям - заключениям.(c-Wikipedia)

Задача состоит в том, чтобы придумать(или создать?) метод(или механизм?) логического вывода для OWL.
Исходные данные:
OWL Inference engine using XSLT and Jess

URL: http://www.cs.cmu.edu/~sadeh/MyCampusMirror/OWLEngine.html

Язык правил(rule language): JESS

Architecture:

Features:

FOWL

URL: http://fowl.sourceforge.net/

Язык правил(rule language): FLORA-2

BOSSAM

URL: http://bossam.wordpress.com/

http://projects.semwebcentral.org/projects/bossam/

Язык правил(rule language): Buchingae

Путаясь в фичах и прыгая с технологии на технологию, меня заинтересовали Jess и Flora-2.
зарегистрировавшись на SemWebCentral(http://projects.semwebcentral.org/), был снова найден проект bossam(последний релиз 2007 г., без исходников?) , плюс к нему fowl(последний релиз 2003 г., с исходниками, но на современной 6й джаве почему-то им плохо).