воскресенье, 17 августа 2008 г.

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

Вывод — процесс рассуждения,
в ходе которого осуществляется
переход от некоторых исходных
суждений (предпосылок) к новым
суждениям - заключениям.(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й джаве почему-то им плохо).

Комментариев нет: