14 citations · 19 across the 3 of their papers we have counts for
3 papers
cs.AI2024
Know your exceptions: Towards an Ontology of Exceptions in Knowledge Representation
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. Various formalisms…
cs.AI2016★ 14 cited
Ontohub: A semantic repository for heterogeneous ontologies
Mihai Codescu, Eugen Kuksa, Oliver Kutz +2
Ontohub is a repository engine for managing distributed heterogeneous ontologies. The distributed nature enables communities to share and exchange their contributions easily. The h…
cs.LO2012★ 5 cited
The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization
Christoph Lange, Oliver Kutz, Till Mossakowski +1
The Distributed Ontology Language (DOL) is currently being standardized within the OntoIOp (Ontology Integration and Interoperability) activity of ISO/TC 37/SC 3. It aims at provid…