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.
Projek ini adalah alasan untuk logik penerangan EL + dan ELHIfR +. Ia menyusun hierarki subsumption konsep. Ia adalah alasan OWL 2 EL.