no code implementations • 1 Mar 2024 • Gabriele Sacco, Loris Bozzato, Oliver Kutz
Defeasible reasoning is a kind of reasoning where some generalisations may not be valid in all circumstances, that is general conclusions may fail in some cases.
no code implementations • 9 Nov 2017 • Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Penaloza, Daniele Porello, Oliver Kutz
Ontology engineering is a hard and error-prone task, in which small changes may lead to errors, or even produce an inconsistent ontology.
no code implementations • 15 Dec 2016 • Mihai Codescu, Eugen Kuksa, Oliver Kutz, Till Mossakowski, Fabian Neuhaus
Moreover, Ontohub is the first repository engine meeting a substantial amount of the requirements formulated in the context of the Open Ontology Repository (OOR) initiative, including an API for federation as well as support for logical inference and axiom selection.