开发者 jcel.sf.net

此项目是描述逻辑 EL+ 和 ELHIfR® 的推理。它计算概念子假设层次结构。这是一个猫头鹰 2 El 推理者。