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

Download PDF

Eugen Kuksa, Till Mossakowski

Published: 01 Jan 2016, Last Modified: 25 Feb 2025JOWO@FOIS 2016EveryoneRevisionsBibTeXCC BY-SA 4.0