Programma's van deductions.sf.net

Kunstmatige intelligentie technieken toegepast op gemeenschappelijke software taken, met behulp van First Order Logic; N3, OWL ontologieën en regels. Maakt componentgebaseerde applicatiebouw, platformonafhankelijkheid, gebrui