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
AI-powered service management for IT and enterprise teams Icon
AI-powered service management for IT and enterprise teams

Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
Try it Free
Rate This Project
Login To 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