Program menurut deductions.sf.net

Teknik Kecerdasan Buatan diterapkan pada tugas perangkat lunak umum, menggunakan Logika Urutan Pertama; N3, OWL ontologi dan aturan. Memungkinkan membangun aplikasi berbasis komponen, kemandirian platform, keramahan pengguna.