Home

Fabian Neuhaus

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


Project Members: