LillyTab

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

Go from Code to Production URL in Seconds

Cloud Run deploys apps in any language instantly. Scales to zero. Pay only when code runs.

Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.

Try it free

Rate This Project

User Ratings

5.0 out of 5 stars

★★★★★

★★★★

★★★

★★

★

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.

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

Similar Business Software

GetResponse

GetResponse is a lifecycle automation platform for businesses that want to drive more consistent, repeatable revenue across the entire customer journey. We help you move customers from first touch to first purchase, repeat purchase, and reactivation - using email, SMS, push notifications, and...

See Software
Gemini Enterprise Agent Platform

Gemini Enterprise Agent Platform is a comprehensive solution from Google Cloud designed to help organizations build, scale, govern, and optimize AI agents. It represents the evolution of Vertex AI, combining advanced model development with new capabilities for agent orchestration and...

See Software
Frontegg

Frontegg is a Customer Identity and Access Management (CIAM) platform that simplifies authentication, authorization, and user management for SaaS companies. It enables developers to implement advanced identity features quickly, then shift ongoing administration to other teams. With Frontegg,...

See Software
Perplexity

Perplexity is an AI-powered search and answer engine designed to provide accurate, real-time information. It combines natural language processing with web search to deliver concise and reliable answers. Users can ask questions conversationally and receive responses backed by cited sources. The...

See Software
Pylon

Pylon is an All-in-one B2B Support Platform for modern B2B businesses. We bring together everything a post-sales teams team needs including a ticketing system, B2B omnichannel integrations (Slack Connect, Microsoft Teams), modern chat widget, knowledge base, AI support bot, account...

See Software
Parasoft

Parasoft helps organizations continuously deliver high-quality software with its AI-powered software testing platform and automated test solutions. Supporting embedded and enterprise markets, Parasoft’s proven technologies reduce the time, effort, and cost of delivering secure, reliable, and...

See Software