Fitting Algorithms for Conjunctive Queries von ten Cate, Balder, Funk, Maurice, Christoph Jung, Jean, Lutz, Carsten

Volltext

The Complexity of Decomposing Modal and First-Order Theories von Göller, Stefan, Jung, Jean-Christoph, Lohrey, Markus

Volltext

Logical separability of labeled data examples under ontologies von Jung, Jean Christoph, Lutz, Carsten, Pulcini, Hadrien, Wolter, Frank

Volltext

Conservative Extensions in Horn Description Logics with Inverse Roles von Jung, Jean Christoph, Lutz, Carsten, Martel, Mauricio, Schneider, Thomas

Volltext

On the non-efficient PAC learnability of conjunctive queries von ten Cate, Balder, Funk, Maurice, Jung, Jean Christoph, Lutz, Carsten

Volltext

Probabilistic Description Logics for Subjective Uncertainty von Gutierrez-Basulto, Victor, Jung, Jean Christoph, Lutz, Carsten, Schröder, Lutz

Volltext

Answering regular path queries mediated by unrestricted SQ ontologies von Gutiérrez-Basulto, Víctor, Ibáñez-García, Yazmín, Jung, Jean Christoph, Murlak, Filip

Volltext

Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions von Artale, Alessandro, Jung, Jean Christoph, Mazzullo, Andrea, Ozaki, Ana, Wolter, Frank

Volltext

Topllet: An Optimized Engine for Answering Metric Temporal Conjunctive Queries von Westhofen, Lukas, Neurohr, Christian, Jung, Jean Christoph, Neider, Daniel

Volltext

Modal Separability of Fixpoint Formulae von Jung, Jean Christoph, Kołodziejski, Jędrzej

Volltext bestellen

Ontology-Based Access to Probabilistic Data with OWL QL von Jung, Jean Christoph, Lutz, Carsten

Volltext

Extremal Separation Problems for Temporal Instance Queries von Jung, Jean Christoph, Ryzhikov, Vladislav, Wolter, Frank, Zakharyaschev, Michael

Volltext bestellen

Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies von Funk, Maurice, Jung, Jean Christoph, Lutz, Carsten

Volltext bestellen

Extremal Fitting CQs do not Generalize von Cate, Balder ten, Funk, Maurice, Jung, Jean Christoph, Lutz, Carsten

Volltext bestellen

Conservative Extensions for Existential Rules von Jung, Jean Christoph, Lutz, Carsten, Marcinkowski, Jerzy

Volltext bestellen

Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments von Jung, Jean Christoph, Wolter, Frank

Volltext bestellen

Towards Ontology Construction with Language Models von Funk, Maurice, Hosemann, Simon, Jung, Jean Christoph, Lutz, Carsten

Volltext bestellen

Modal Separability of Fixpoint Formulae von Jung, Jean Christoph, Kołodziejski, Jędrzej

Volltext

Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology von Jung, Jean Christoph, Ryzhikov, Vladislav, Wolter, Frank, Zakharyaschev, Michael

Volltext bestellen

SAT-Based PAC Learning of Description Logic Concepts von Cate, Balder ten, Funk, Maurice, Jung, Jean Christoph, Lutz, Carsten

Volltext bestellen