Atur cara mengikut jcel.sf.net

  • jcel Percuma

    Projek ini adalah alasan untuk logik penerangan EL + dan ELHIfR +. Ia menyusun hierarki subsumption konsep. Ia adalah alasan OWL 2 EL.