Программы jcel.sf.net

Этот проект является причиной логики описания ЭЛЗ и ELHIfR. Он вычисляет концепцию подмножества иерархии. Это OWL 2 EL рассуждать.