Jean Christoph Jung

Cited by

	All	Since 2019
Citations	908	659
h-index	18	15
i10-index	28	22

160

120

2010201120122013201420152016201720182019202020212022202320244 10 7 12 30 27 39 50 47 66 104 92 127 115 150

Public access

View all

36 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Carsten LutzProfessor of Computer Science, University of LeipzigVerified email at informatik.uni-leipzig.de
Víctor Gutiérrez BasultoCardiff UniversityVerified email at cardiff.ac.uk
Frank WolterDepartment of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Maurice FunkLeipzig UniversityVerified email at informatik.uni-leipzig.de
Lutz SchröderProfessor of Computer Science, Friedrich-Alexander-Universität Erlangen-NürnbergVerified email at cs.fau.de
Thomas SchneiderDept. of Mathematics and Computer Science, University of Bremen, GermanyVerified email at uni-bremen.de
Ana OzakiUniversity of Oslo & University of BergenVerified email at uib.no
Balder ten CateAssociate ProfessorVerified email at uva.nl
Yazmin Angelica Ibañez-GarciaLecturer at Cardiff UniversityVerified email at cardiff.ac.uk
Mauricio MartelIRIT (Institut de Recherche en Informatique de Toulouse)Verified email at irit.fr
Andrea MazzulloFree University of Bozen-BolzanoVerified email at unibz.it
Leif SabellekUniversity of BremenVerified email at informatik.uni-bremen.de
Michael ZakharyaschevBirkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Alessandro ArtaleAssociate Professor of Computer Science, Free University of Bozen-BolzanoVerified email at inf.unibz.it
Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, GermanyVerified email at uni-bremen.de
Robert WilleTechnical University of Munich and SCCH GmbHVerified email at tum.de
Roman KontchakovReader, Birkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Filip MurlakAssociate Professor, University of WarsawVerified email at mimuw.edu.pl
Fabio PapacchiniLecturer in Computer Science, Lancaster University Leipzig, GermanyVerified email at lancaster.ac.uk
Anton DriesNokia Bell LabsVerified email at nokia-bell-labs.com

Jean Christoph Jung

TU Dortmund

Verified email at tu-dortmund.de - Homepage

Description Logics Knowledge Representation Uncertainty Logic Learning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Ontology-Based Access to Probabilistic Data with OWL QL JC Jung, C Lutz ISWC, 2012	66	2012
On Metric Temporal Description Logics V Gutiérrez-Basulto, JC Jung, A Ozaki ECAI, 2016	61	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	54	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	53	2019
Temporalized EL ontologies for accessing temporal data: Complexity of atomic queries V Gutierrez Basulto, JC Jung, R Kontchakov IJCAI, 2016	43	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	41	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 Temporal Description Logics with Rigid Roles and Restricted TBoxes V Gutiérrez-Basulto, JC Jung, T Schneider IJCAI, 2015	32	2015
Lightweight Description Logics and Branching Time: a Troublesome Marriage V Gutiérrez-Basulto, JC Jung, T Schneider KR, 2014	32	2014
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	31*	2021
Complexity of Branching Temporal Description Logics V Gutiérrez-Basulto, JC Jung, C Lutz ECAI, 2012	30	2012
Towards ontology construction with language models M Funk, S Hosemann, JC Jung, C Lutz arXiv preprint arXiv:2309.09898, 2023	27	2023
Least General Generalizations in Description Logic: Verification and Existence JC Jung, C Lutz, F Wolter AAAI, 2020	27	2020
Logical Separability of Incomplete Data under Ontologies. JC Jung, C Lutz, H Pulcini, F Wolter KR, 517-528, 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	24	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	23	2021
Logical separability of labeled data examples under ontologies JC Jung, C Lutz, H Pulcini, F Wolter Artificial Intelligence 313, 103785, 2022	18	2022
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
Actively learning concepts and conjunctive queries under ELr-ontologies M Funk, JC Jung, C Lutz arXiv preprint arXiv:2105.08326, 2021	17	2021
Querying the Unary Negation Fragment with Regular Path Expressions JC Jung, C Lutz, M Martel, T Schneider ICDT, 2018	17	2018

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors