開發者 jcel.sf.net

此專案是描述邏輯 EL+ 和 ELHIfR® 的推理。它計算概念子假設層次結構。這是一個貓頭鷹 2 El 推理者。