DLog
betaDescription
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.
Categories
License
Update Notifications
User Reviews
Be the first to post a review of DLog!