Prikl

Add a Review
2 Downloads (This Week)
Last Update:
Download application-1.0-SNAPSHOT.zip
Browse All Files

Description

A theorem prover for IKL, a very expressive ontology language. Status: This project is pre-alpha.

Prikl Web Site

Categories

KEEP ME UPDATED

Write a Review

User Reviews

Be the first to post a review of Prikl!

Additional Project Details

Registered

2010-07-26
Screenshots can attract more users to your project.
Features can attract more users to your project.