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

Host LLMs in Production With On-Demand GPUs

NVIDIA L4 GPUs. 5-second cold starts. Scale to zero when idle.

Deploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.

Start 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

Adobe Acrobat

Adobe Acrobat Studio is a leading enterprise document platform built to scale for global teams — delivering AI-powered document intelligence, trusted PDF tools, and on-brand content creation in one secure solution. Core capabilities include PDF creation, editing, conversion, annotation,...

See Software
Universal Knowledge

Universal Knowledge by KPSOL is a SaaS Knowledge Management System that helps organizations capture, manage, and share trusted knowledge from a single source of truth. It combines powerful enterprise search, intuitive content authoring, collaborative workflows, and analytics to ensure...

See Software
Coursebox AI

Coursebox is an AI course creator and LMS in one: the easiest way to create exceptional training. Turn a prompt or the documents you already have into a full course with quizzes, videos and scenarios in minutes. Coursebox works like a senior learning designer on your team. Give Coursebox your...

See Software
JAMS Scheduler

JAMS is an automation orchestration and job scheduling solution that runs, monitors, and manages critical IT processes from a single console, from simple batch jobs to complex, cross-platform workflows. JAMS automates jobs across Windows, Linux, UNIX, IBM i, z/OS, and OpenVMS, with native...

See Software
kama.ai

The Responsible AI-Agent for organizations where the answer HAS TO BE RIGHT. kama.ai answers from knowledge your team approves, not from what a model guesses. Every response is accurate, consistent, and traceable to its source. Governed by design. How it works: kama.ai is built on a...

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

Report inappropriate content