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 >

License

Artistic License 2.0

Follow LillyTab

LillyTab Web Site

Other Useful Business Software
Fully Managed MySQL, PostgreSQL, and SQL Server Icon
Fully Managed MySQL, PostgreSQL, and SQL Server

Automatic backups, patching, replication, and failover. Focus on your app, not your database.

Cloud SQL handles your database ops end to end, so you can focus on your app.
Try Free
Rate This Project
Login To Rate This Project

User Ratings

★★★★★
★★★★
★★★
★★
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

  • 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