Eugen Kuksa

According to our database, Eugen Kuksa authored at least 5 papers between 2013 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Ontohub: A semantic repository engine for heterogeneous ontologies.

Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski, Fabian Neuhaus

Appl. Ontology, 2017

2016

Ontohub: A semantic repository for heterogeneous ontologies.

Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski, Fabian Neuhaus

CoRR, 2016

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

Eugen Kuksa, Till Mossakowski

Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), 2016

Prover-independent Axiom Selection for Automated Theorem Proving in Ontohub.

Eugen Kuksa, Till Mossakowski

Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), 2016

2013

Generierung von OCL-Ausdrücken aus natürlichsprachlichen Beschreibungen.

Mathias Soeken, Robert Wille, Eugen Kuksa, Rolf Drechsler

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013