Seguir
Jean Christoph Jung
Jean Christoph Jung
Dirección de correo verificada de tu-dortmund.de - Página principal
Título
Citado por
Citado por
Año
Ontology-Based Access to Probabilistic Data with OWL QL
JC Jung, C Lutz
ISWC, 2012
662012
On Metric Temporal Description Logics
V Gutiérrez-Basulto, JC Jung, A Ozaki
ECAI, 2016
612016
Probabilistic Description Logics for Subjective Uncertainty
V Gutiérrez-Basulto, JC Jung, C Lutz, L Schröder
Journal of Artificial Intelligence Research 58 (1), 1-66, 2017
552017
Learning description logic concepts: when can positive and negative examples be separated?
M Funk, JC Jung, C Lutz, H Pulcini, F Wolter
IJCAI, 2019
542019
Temporalized EL ontologies for accessing temporal data: Complexity of atomic queries
V Gutierrez Basulto, JC Jung, R Kontchakov
IJCAI, 2016
442016
Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies
V Gutiérrez-Basulto, JC Jung, L Sabellek
IJCAI-ECAI, 2018
412018
A closer look at the probabilistic description logic Prob-EL
V Gutiérrez-Basulto, JC Jung, C Lutz, L Schröder
Proc. of the 25th AAAI Conf. on Artif. Intell.(AAAI11). AAAI Press, 2011
362011
Living without Beth and Craig: Definitions and interpolants in description logics with nominals and role inclusions
A Artale, JC Jung, A Mazzullo, A Ozaki, F Wolter
Proceedings of the AAAI Conference on Artificial Intelligence 35 (7), 6193-6201, 2021
33*2021
Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes
V Gutiérrez-Basulto, JC Jung, T Schneider
IJCAI, 2015
322015
Lightweight Description Logics and Branching Time: a Troublesome Marriage
V Gutiérrez-Basulto, JC Jung, T Schneider
KR, 2014
322014
Complexity of Branching Temporal Description Logics
V Gutiérrez-Basulto, JC Jung, C Lutz
ECAI, 2012
302012
Towards ontology construction with language models
M Funk, S Hosemann, JC Jung, C Lutz
arXiv preprint arXiv:2309.09898, 2023
292023
Least General Generalizations in Description Logic: Verification and Existence
JC Jung, C Lutz, F Wolter
AAAI, 2020
272020
Living without Beth and Craig: Definitions and interpolants in the guarded and two-variable fragments
JC Jung, F Wolter
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2021
242021
Logical Separability of Incomplete Data under Ontologies.
JC Jung, C Lutz, H Pulcini, F Wolter
KR, 517-528, 2020
242020
The complexity of decomposing modal and first-order theories
S Göller, JC Jung, M Lohrey
ACM Transactions on Computational Logic (TOCL) 16 (1), 1-43, 2015
242015
Querying the Unary Negation Fragment with Regular Path Expressions
JC Jung, C Lutz, M Martel, T Schneider
ICDT, 2018
202018
Logical separability of labeled data examples under ontologies
JC Jung, C Lutz, H Pulcini, F Wolter
Artificial Intelligence 313, 103785, 2022
182022
Actively learning concepts and conjunctive queries under ELr-ontologies
M Funk, JC Jung, C Lutz
arXiv preprint arXiv:2105.08326, 2021
182021
Two encodings of DNNF theories
JC Jung, P Barahona, G Katsirelos, T Walsh
ECAI workshop on Inference methods based on Graphical Structures of …, 2008
182008
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20