Sabellek, Leif

2 publications

IJCAI 2018 Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies Víctor Gutiérrez-Basulto, Jean Christoph Jung, Leif Sabellek
IJCAI 2017 Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability Carsten Lutz, Leif Sabellek