@tillmo

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

, and . JOWO@FOIS, volume 1660 of CEUR Workshop Proceedings, CEUR-WS.org, (2016)

Links and resources

Tags

community

  • @eugenk
  • @tillmo
  • @dblp
@tillmo's tags highlighted