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
Other Useful Business Software
Easily engage and manage non-desk employees with Connecteam’s mobile-first platform that helps improve communication, enhance daily processes and increase productivity with custom checklists, forms, and reports.
Schedule shifts and track accurate work hours with Connecteam’s automated GPS time clock and easily export approved timesheets to payroll. Connecteam helps you keep your employees sharp thanks to knowledge base centers and advanced training courses. Raise morale with employee recognition rewards and keep the entire company updated through the main news feed.
Rate This Project
Login To Rate This Project
User Reviews
-
Lillytab works perfect.