LillyTab is a modular description logic consistency checker (reasoner) with support for a subset of OWL/DL.
Features
- 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
Categories
Artificial IntelligenceLicense
Artistic License 2.0Follow LillyTab
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
-
Lillytab works perfect.