دنبال کردن
Jean Christoph Jung
عنوان
نقل شده توسط
نقل شده توسط
سال
Ontology-Based Access to Probabilistic Data with OWL QL‏
JC Jung, C Lutz‏
ISWC, 2012‏
682012
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‏
572017
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‏
432016
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‏
422018
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‏
312015
Lightweight Description Logics and Branching Time: a Troublesome Marriage‏
V Gutiérrez-Basulto, JC Jung, T Schneider‏
KR, 2014‏
312014
Towards ontology construction with language models‏
M Funk, S Hosemann, JC Jung, C Lutz‏
arXiv preprint arXiv:2309.09898, 2023‏
302023
Complexity of Branching Temporal Description Logics‏
V Gutiérrez-Basulto, JC Jung, C Lutz‏
ECAI, 2012‏
302012
Least General Generalizations in Description Logic: Verification and Existence‏
JC Jung, C Lutz, F Wolter‏
AAAI, 2020‏
282020
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‏
252021
Logical Separability of Incomplete Data under Ontologies.‏
JC Jung, C Lutz, H Pulcini, F Wolter‏
KR, 517-528, 2020‏
252020
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‏
252015
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‏
192022
Actively learning concepts and conjunctive queries under ELr-ontologies‏
M Funk, JC Jung, C Lutz‏
arXiv preprint arXiv:2105.08326, 2021‏
192021
Frontiers and exact learning of ELI queries under DL-Lite ontologies‏
M Funk, JC Jung, C Lutz‏
arXiv preprint arXiv:2204.14172, 2022‏
182022
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20