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

KEEP ME UPDATED

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.