Download
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
Next-Gen Encryption for Post-Quantum Security | CLEAR by Quantum Knight
CLEAR by Quantum Knight is a FIPS-140-3 validated encryption SDK engineered for enterprises requiring top-tier security. Offering robust post-quantum cryptography, CLEAR secures files, streaming media, databases, and networks with ease across over 30 modern platforms. Its compact design, smaller than a single smartphone image, ensures maximum efficiency and low energy consumption.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of DLog!
