lillytab

We have hosted the application lillytab in order to run this application in our online workstations with Wine or directly.

Quick description about lillytab:

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

Audience: Developers, Information Technology.
User interface: Console/Terminal.
Programming Language: Java.
Categories: