โปรแกรมตาม jcel.sf.net

  • jcel ฟรี

    โครงการนี้เป็นเหตุผลสําหรับตรรกะคําอธิบาย EL+ และ ELHIfR+ โดยจะคํานวณลําดับชั้นย่อยของแนวคิด มันเป็นเหตุผล OWL 2 EL