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
Bright Data is a leading data collection platform, enabling businesses to collect crucial structured and unstructured data from millions of websites through our proprietary technology. Our proxy networks give you access to sophisticated target sites using precise geo-targeting. You can also use our tools to unblock tough target sites, accomplish SERP-specific data collection tasks, manage and optimize your proxy performance as well as automating all of your data collection needs.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of LillyTab!