Advertisement
ELK reasoner
CLI based ontology reasoner that supports the OWL 2 EL profile...
Common Lisp Reasoner
Common Lisp Reasoner extends the Common Lisp Object System (CLOS) to incorporate a rule language...
develop extension lisp development clos extension diagnosis reasoning
Cwm
A free and general purpose data processor for the semantic web...
process processor data processor xml processor xslt processor
LillyTab
A free modular description logic consistency reasoner...
check checker reasoner description logic checker logic consistency reasoner