Elly 0.10FREEElly is a reasoner for entailment and satisfiability checking of ELP knowledge-bases. It is written in java and relies on the IRIS Datalog reasoner () for its implementation.Read More Rating:
WSML2Reasoner 8.1FREEThe WSML2Reasoner Framework is a modular architecture that combines various validation, normalisation, and transformation algorithms for the translation of ontology descriptions in WSML to the appropriate syntax of several underlying reasoning...Read More Rating:
TOP DOWNLOADSlast weekdoPDF352FBackup149Backup4all Professional9novaPDF SDK1novaPDF OEM1! Chilkat SMTP / POP3 Components0TreePad Asia0 View All Top Downloads
LATEST ADDITIONSRecently Added SoftwareAppLock2026-10-26CardHorse-Sell Gift Cards 100+2026-10-19Denma: Tap to Vibrate2026-10-19Tajweed Mushaf: Quran Holder2026-10-18Holy Quran - Multiple Qiraat2026-10-18কেয়ামতের আলামত - Qiyamah2026-10-18Shoot - Live Football Scores2026-10-18 View All Top Additions
LATEST UPDATESRecently Updated SoftwareAppLock2026-10-26CardHorse-Sell Gift Cards 100+2026-10-19Denma: Tap to Vibrate2026-10-19Tajweed Mushaf: Quran Holder2026-10-18Holy Quran - Multiple Qiraat2026-10-18কেয়ামতের আলামত - Qiyamah2026-10-18Shoot - Live Football Scores2026-10-18 View All Updates
