Leemhuis, Mena

2 publications

JAIR 2023 Embedding Ontologies in the Description Logic ALC by Axis-Aligned Cones Özgür Lütfü Özçep, Mena Leemhuis, Diedrich Wolter

IJCAI 2020 Cone Semantics for Logics with Negation Özgür Lütfü Özçep, Mena Leemhuis, Diedrich Wolter