DLog download | SourceForge.net

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.

Project Activity

See All Activity >

License

Academic Free License (AFL)

Follow DLog

DLog Web Site

Other Useful Business Software

Build Agents and Models on One Platform

Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.

Try It Free

Rate This Project

User Reviews

Be the first to post a review of DLog!

Additional Project Details

Operating Systems

Linux, Windows

Intended Audience

Information Technology, Science/Research

Programming Language

C, Prolog

Database Environment

ODBC

Related Categories

Prolog Artificial Intelligence Software, Prolog Mathematics Software, C Artificial Intelligence Software, C Mathematics Software

Registered

2007-09-12

Similar Business 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
Viktor

Viktor is a persistent AI agent that operates directly within your Slack or Microsoft Teams workspace as an autonomous coworker. Unlike traditional chatbots, Viktor has its own cloud-based computer where it writes code, deploys apps, and executes tasks across more than 3,000 integrations. It...

See Software
Coursebox AI

Transform your content into engaging eLearning experiences with Coursebox, the #1 AI-powered eLearning authoring tool. Our platform automates the course creation process, allowing you to design a structured course in seconds. Simply make edits, add any missing elements, and your course is ready...

See Software
GW Apps

GW Apps – Build Powerful Business Apps Without Code. GW Apps is a secure, cloud-based no-code platform that enables businesses to create custom applications and automate workflows without programming. Designed for both business and IT teams, GW Apps combines an intuitive drag-and-drop builder...

See Software
LTX

Control every aspect of your video using AI, from ideation to final edits, on one holistic platform. We’re pioneering the integration of AI and video production, enabling the transformation of a single idea into a cohesive, AI-generated video. LTX empowers individuals to share their visions,...

See Software
StackAI

StackAI is an enterprise AI automation platform to build end-to-end internal tools and processes with AI agents in a fully compliant and secure way. Designed for large, regulated organizations, it enables teams to automate complex workflows across operations, compliance, finance, IT, and support...

See Software