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
Veeam Data Platform v13.1 - Get Your Free Trial Icon
Veeam Data Platform v13.1 - Get Your Free Trial

Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.

Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
Try it Free
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
    5 out of 5 stars
    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