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
652012
On Metric Temporal Description Logics
V Gutiérrez-Basulto, JC Jung, A Ozaki
ECAI, 2016
542016
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
522017
Learning description logic concepts: when can positive and negative examples be separated?
M Funk, JC Jung, C Lutz, H Pulcini, F Wolter
IJCAI, 2019
502019
Temporalized EL ontologies for accessing temporal data: Complexity of atomic queries
V Gutierrez Basulto, JC Jung, R Kontchakov
IJCAI, 2016
412016
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
392018
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
352011
Lightweight Description Logics and Branching Time: a Troublesome Marriage
V Gutiérrez-Basulto, JC Jung, T Schneider
KR, 2014
302014
Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes
V Gutiérrez-Basulto, JC Jung, T Schneider
IJCAI, 2015
292015
Complexity of Branching Temporal Description Logics
V Gutiérrez-Basulto, JC Jung, C Lutz
ECAI, 2012
292012
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
28*2021
Least General Generalizations in Description Logic: Verification and Existence
JC Jung, C Lutz, F Wolter
AAAI, 2020
262020
Logical separability of incomplete data under ontologies
JC Jung, C Lutz, H Pulcini, F Wolter
Proceedings of the International Conference on Principles of Knowledge …, 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
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
222021
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
Logical separability of labeled data examples under ontologies
JC Jung, C Lutz, H Pulcini, F Wolter
Artificial Intelligence 313, 103785, 2022
162022
Frontiers and exact learning of ELI queries under DL-Lite ontologies
M Funk, JC Jung, C Lutz
arXiv preprint arXiv:2204.14172, 2022
152022
Actively learning concepts and conjunctive queries under ELr-ontologies
M Funk, JC Jung, C Lutz
arXiv preprint arXiv:2105.08326, 2021
152021
Model comparison games for Horn description logics
JC Jung, F Papacchini, F Wolter, M Zakharyaschev
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2019
152019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20