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.
License
Academic Free License (AFL)Follow DLog
Other Useful Business Software
Your monitoring isn't a stack. It's a pile. Fix that.
Replace Datadog, New Relic, and Sentry without adding three more dashboards.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of DLog!