Chương trình theo jcel.sf.net

Dự án này là một lý do cho logic mô tả EL + và ELHIfR +. Nó tính hệ thống phân cấp tổng phụ khái niệm. Nó là một OWL 2 EL lý luận.