no code implementations • 23 Apr 2023 • Paolo Galeazzi, Johannes Marti
Following the decision-theoretic approach to game theory, we extend the analysis of Epstein & Wang and of Di Tillio from hierarchies of preference relations to hierarchies of choice functions.
no code implementations • 18 Nov 2020 • Carsten Lutz, Johannes Marti, Leif Sabellek
In ontology-based data access, multiple data sources are integrated using an ontology and mappings.
no code implementations • 21 Jan 2020 • Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter
We study complete approximations of an ontology formulated in a non-Horn description logic (DL) such as $\mathcal{ALC}$ in a Horn DL such as~$\mathcal{EL}$.