Prikl
Description
A theorem prover for IKL, a very expressive ontology language. Status: This project is pre-alpha.
Categories
Update Notifications
User Reviews
Be the first to post a review of Prikl!
A theorem prover for IKL, a very expressive ontology language. Status: This project is pre-alpha.
Be the first to post a review of Prikl!