Ontology-Based Access to Probabilistic Data with OWL QL JC Jung, C Lutz ISWC, 2012 | 65 | 2012 |
On Metric Temporal Description Logics V Gutiérrez-Basulto, JC Jung, A Ozaki ECAI, 2016 | 54 | 2016 |
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 | 52 | 2017 |
Learning description logic concepts: when can positive and negative examples be separated? M Funk, JC Jung, C Lutz, H Pulcini, F Wolter IJCAI, 2019 | 49 | 2019 |
Temporalized EL ontologies for accessing temporal data: Complexity of atomic queries V Gutierrez Basulto, JC Jung, R Kontchakov IJCAI, 2016 | 41 | 2016 |
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 | 39 | 2018 |
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 | 35 | 2011 |
Lightweight Description Logics and Branching Time: a Troublesome Marriage V Gutiérrez-Basulto, JC Jung, T Schneider KR, 2014 | 30 | 2014 |
Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes V Gutiérrez-Basulto, JC Jung, T Schneider IJCAI, 2015 | 29 | 2015 |
Complexity of Branching Temporal Description Logics V Gutiérrez-Basulto, JC Jung, C Lutz ECAI, 2012 | 29 | 2012 |
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 | 26 | 2020 |
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 | 24 | 2020 |
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 | 23 | 2015 |
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 | 22 | 2021 |
Two encodings of DNNF theories JC Jung, P Barahona, G Katsirelos, T Walsh ECAI workshop on Inference methods based on Graphical Structures of …, 2008 | 18 | 2008 |
Logical separability of labeled data examples under ontologies JC Jung, C Lutz, H Pulcini, F Wolter Artificial Intelligence 313, 103785, 2022 | 16 | 2022 |
Frontiers and exact learning of ELI queries under DL-Lite ontologies M Funk, JC Jung, C Lutz arXiv preprint arXiv:2204.14172, 2022 | 15 | 2022 |
Actively learning concepts and conjunctive queries under ELr-ontologies M Funk, JC Jung, C Lutz arXiv preprint arXiv:2105.08326, 2021 | 15 | 2021 |
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 | 15 | 2019 |