LillyTab

beta

Another free OWL/DL Reasoner

5.0 Stars (1)
5 Downloads (This Week)
Last Update:
Download LillyTab-1.10-SNAPSHOT-jar-with-dep…jar
Browse All Files
Windows Mac Linux

Description

LillyTab is a modular description logic consistency checker (reasoner) with support for a subset of OWL/DL.

LillyTab Web Site

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

Update Notifications





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
Write a Review

User Reviews

There are no 1 star reviews.

Additional Project Details

Languages

English

Intended Audience

Developers, Information Technology

User Interface

Console/Terminal

Programming Language

Java

Registered

2010-04-15
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.