Eugen Kuksa

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 4

Top Topics

Knowledge Organization

Theorem Proving

Version Control

Top Venues

Publications

Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski, Fabian Neuhaus
Ontohub: A semantic repository engine for heterogeneous ontologies. Appl. Ontology 12 (3-4) (2017)
Eugen Kuksa, Till Mossakowski
Ontohub: Version Control, Linked Data and Theorem Proving for Ontologies. JOWO@FOIS (2016)
Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski, Fabian Neuhaus
Ontohub: A semantic repository for heterogeneous ontologies. CoRR (2016)
Eugen Kuksa, Till Mossakowski
Prover-independent Axiom Selection for Automated Theorem Proving in Ontohub. PAAR@IJCAR (2016)
Mathias Soeken, Robert Wille, Eugen Kuksa, Rolf Drechsler
Generierung von OCL-Ausdrücken aus natürlichsprachlichen Beschreibungen. MBMV (2013)