DLog

beta

Add a Review
2 Downloads (This Week)
Last Update:
Download dlog-benchmark-1.1.zip
Browse All Files
Windows Linux

Description

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.

DLog Web Site

Update Notifications





Write a Review

User Reviews

Be the first to post a review of DLog!

Additional Project Details

Intended Audience

Information Technology, Science/Research

Programming Language

C, Prolog

Registered

2007-09-12
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.