Ontohub: Version Control, Linked Data and Theorem Proving for Ontologies.

Eugen Kuksa, Till Mossakowski

Browse the full FOIS paper archive.