description logic free download

Showing 5 open source projects for "description logic"

View related business solutions

Artificial Intelligence Mac Clear Filters & Widen Search

Enterprise-grade ITSM, for every business
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.

Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.

Try it Free
$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
1

Presubmit

Context-aware AI reviewer for Pull Requests

Optimize your code review process with Presubmit's AI Code Reviewer catches bugs, suggests improvements, and provides a meaningful summary - all before human reviewers take their first look.

Downloads: 9 This Week

Last Update: 2025-11-08
See Project
2

AutoCoder

A long-running autonomous coding agent powered by the Claude Agent

...Its architecture typically integrates language models with static analysis and template logic so that generated code is not only syntactically valid but also idiomatic and testable.

Downloads: 0 This Week

Last Update: 2026-02-05
See Project
3

jcel

This project is a reasoner for the description logic EL+. It computes the concept subsumption hierarchy. It is an OWL 2 EL reasoner.

Downloads: 1 This Week

Last Update: 2021-07-07
See Project
4

LillyTab

Another free OWL/DL Reasoner

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

1 Review

Downloads: 0 This Week

Last Update: 2014-09-04
See Project
MongoDB Atlas runs apps anywhere
Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free
5

Pocket KrHyper

The mobile reasoner Pocket KrHyper is an automated theorem proving library for first order logic (and description logic) running on J2ME (Mobile Java) phones.

Downloads: 0 This Week

Last Update: 2013-03-22
See Project