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

Project Activity

See All Activity >

Categories

Artificial Intelligence

License

Artistic License 2.0

Follow LillyTab

LillyTab Web Site

Other Useful Business Software
Endpoint Management with Remote Control Built In Icon
Endpoint Management with Remote Control Built In

Patch, monitor, and connect to Windows and macOS devices from one console

Splashtop AEM handles patching, alerts, scripts, and inventory, and unattended remote control is included. When something needs hands-on work, you’re one click away instead of switching tools.
Start Free Trial
Rate This Project
Login To Rate This Project

User Ratings

5.0 out of 5 stars
★★★★★
★★★★
★★★
★★
★
1
0
0
0
0
ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

User Reviews

Filter Reviews:
All
  • tfileme Posted 2013-05-14
    Lillytab works perfect.
    1 user found this review helpful.
Read more reviews >

Additional Project Details

Languages

English

Intended Audience

Developers, Information Technology

User Interface

Console/Terminal

Programming Language

Java

Related Categories

Java Artificial Intelligence Software

Registered

2010-04-15
Report inappropriate content