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

$300 Free Credits for Your Google Cloud Projects

Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.

Start Free Trial

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

Dialpad Support

Dialpad Contact Center is Dialpad's AI-native platform for customer experience — the connective layer where conversations, intelligence, and action come together in real time. At its core, Dialpad Contact Center is the world's first Agentic AI contact center: AI agents that don't just...

See 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
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 delivers an AI‑powered software testing platform that helps organizations continuously release high‑quality software. Our solutions support embedded and enterprise teams by integrating code analysis, testing, virtualization, and coverage into the delivery pipeline to improve security,...

See Software