Faculty of Computer Science

Research Group Theoretical Computer Science

Oberseminar: Heterogene formale Methoden

Abstract:

we will have a brainstorming about possible ontology papers, e.g. about the open energy ontology, or about OWL versus FOL reasoning.
Possible venues are FOIS, EKAW and JOWO, see BOSK 2020 – The Bolzano Summer of Knowledge.