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
AI-powered service management for IT and enterprise teams
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
Rate This Project
Login To Rate This Project
User Reviews
-
Lillytab works perfect.