Search Results for "description logic"
Sort By:
Showing 7 open source projects for "description logic"
View related business solutions-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
Stop vibe-debugging.AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.
-
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. -
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. -
3
This project is a reasoner for the description logic EL+. It computes the concept subsumption hierarchy. It is an OWL 2 EL reasoner.
-
4
TinyCog
Cognitive architecture with a focus on self-models
TinyCog is a cognitive architecture (perception, action, reasoning, planning, and language) with a focus on representing "self-models" (physical, capabilities, intentions, social, historical, "cognitive stream") in order to implement social reasoning and collaborative planning in a "hunter domain" test bed. We use Prolog, RDF Triples, Description Logic and a HTN-Planner as base technologies. -
$300 Free Credits for Your Google Cloud ProjectsLaunch 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.
-
5
LillyTab
Another free OWL/DL Reasoner
LillyTab is a modular description logic consistency checker (reasoner) with support for a subset of OWL/DL. -
6
DLog is an Description Logic ABox reasoner that uses resolution. The basic idea is that a DL knowledge base is transformed into a Prolog program without any knowledge on the content of the ABox. The answers are obtained during normal Prolog execution.
-
7
The mobile reasoner Pocket KrHyper is an automated theorem proving library for first order logic (and description logic) running on J2ME (Mobile Java) phones.
- Previous
- You're on page 1
- Next