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 >

Follow LillyTab

LillyTab Web Site

Other Useful Business Software

Focus on Business Growth with a VoIP Solution Focus on Business Growth with a VoIP Solution Icon
Focus on Business Growth with a VoIP Solution Icon

Cloud Phone Service. Built for Business.

  • Over 50 business-class features
  • Easy setup. Professional installation.
  • CRM integration

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

Registered

2010-04-15