Tarafından Programlar deductions.sf.net

First Order Logic kullanılarak ortak yazılım görevlerine uygulanan yapay zeka teknikleri; N3, OWL ontolojisi ve kuralları. Bileşen tabanlı uygulama oluşturma, platform bağımsızlığı, kullanıcı dostu sağlar. Euler çıkarım motor