Program menurut jcel.sf.net
-
jcel Gratis
Proyek ini adalah alasan untuk logika deskripsi EL+ dan ELHIfR +. Ini menghitung hierarki subsumption konsep. Ini adalah alasan OWL 2 EL.
Proyek ini adalah alasan untuk logika deskripsi EL+ dan ELHIfR +. Ini menghitung hierarki subsumption konsep. Ini adalah alasan OWL 2 EL.