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

เทคนิคปัญญาประดิษฐ์นําไปใช้กับงานซอฟต์แวร์ทั่วไปโดยใช้ตรรกะการสั่งซื้อครั้งแรก N3, OWL ontologies และกฎ เปิดใช้งานการสร้างแอปพลิเคชันตามส่วนประกอบความเป็นอิสระของแพลตฟอร์มความเป็นมิตรต่อผู้ใช้ ใช้ประโยชน์จากเครื่องยนต์การอนุม