Leif Sabellek
Leif Sabellek
Verifierad e-postadress på informatik.uni-bremen.de
Titel
Citeras av
Citeras av
År
Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability.
C Lutz, L Sabellek
IJCAI, 1181-1187, 2017
132017
Reverse engineering queries in ontology-enriched systems: The case of expressive horn description logic ontologies
V Gutierrez Basulto, JC Jung, L Sabellek
122018
Query expressibility and verification in ontology-based data access
C Lutz, J Marti, L Sabellek
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
52018
Ontology-Mediated Querying with Horn Description Logics
L Sabellek
Universität Bremen, 2019
12019
Ontology-Mediated Querying with EL: Trichotomy and Linear Datalog Rewritability.
C Lutz, L Sabellek
Description Logics, 2017
12017
Erratum for “Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies”
V Gutiérrez-Basulto, JC Jung, L Sabellek
2019
A Complete Classification of the Complexity and Rewritability of Ontology-Mediated Queries based on the Description Logic EL
C Lutz, L Sabellek
arXiv preprint arXiv:1904.12533, 2019
2019
Granular Spatial Calculi of Relative Directions or Movements with Parallelism: Consistent Account (Short Paper)
R Moratz, L Sabellek, T Schneider
14th International Conference on Spatial Information Theory (COSIT 2019), 2019
2019
Query-by-Example for Expressive Horn Description Logics.
V Gutiérrez-Basulto, JC Jung, L Sabellek
Description Logics, 2018
2018
Beziehungen zwischen Struktureigenschaften von qualitativen Kalkülen
L Sabellek
A Note on Algebraic Closure and Closure under Constraints
L Sabellek, T Schneider
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–11