LillyTab is a modular description logic consistency checker (reasoner) with support for a subset of OWL/DL.
- OWLAPI integration
- modular architecture
- support for the DL SHOF(D) (which is OWL/DL minus qualified number restrictions and inverse roles)
- various optimizations (lazy unfolding, input term rewriting, dependency directed backtracking)
- documented access to ABox representation internals
- tracing and logging
Lillytab works perfect.