Jean Christoph Jung

Cited by

	All	Since 2018
Citations	700	505
h-index	15	13
i10-index	23	17

140

105

201020112012201320142015201620172018201920202021202220234 8 7 12 30 26 40 48 49 64 113 91 126 49

Public access

View all

32 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
Mauricio MartelUniversität KoblenzVerified email at uni-koblenz.de
Yazmin Angelica Ibañez-GarciaLecturer at Cardiff UniversityVerified email at cardiff.ac.uk
Andrea MazzulloFree University of Bozen-BolzanoVerified email at unibz.it
Leif SabellekUniversity of BremenVerified email at informatik.uni-bremen.de
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
Alessandro ArtaleAssociate Professor of Computer Science, Free University of Bozen-BolzanoVerified email at inf.unibz.it
Roman KontchakovReader, Birkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Fabio PapacchiniLecturer in Computer Science, Lancaster University Leipzig, GermanyVerified email at lancaster.ac.uk
Michael ZakharyaschevBirkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Filip MurlakAssociate Professor, University of WarsawVerified email at mimuw.edu.pl
Markus LohreyProfessor for Theoretical Computer ScienceVerified email at eti.uni-siegen.de
Anton DriesNokia Bell LabsVerified email at nokia-bell-labs.com
Toby WalshProfessor, UNSW and CSIRO Data61Verified email at cse.unsw.edu.au

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	60	2012
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	53	2017
On Metric Temporal Description Logics V Gutiérrez-Basulto, JC Jung, A Ozaki ECAI, 2016	48	2016
Learning description logic concepts: when can positive and negative examples be separated? M Funk, JC Jung, C Lutz, H Pulcini, F Wolter IJCAI, 2019	38	2019
Temporalized EL ontologies for accessing temporal data: Complexity of atomic queries V Gutierrez Basulto, JC Jung, R Kontchakov IJCAI, 2016	35	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	34	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	32	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	26	2015
Complexity of Branching Temporal Description Logics V Gutiérrez-Basulto, JC Jung, C Lutz ECAI, 2012	25	2012
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
Logical separability of incomplete data under ontologies JC Jung, C Lutz, H Pulcini, F Wolter arXiv preprint arXiv:2007.01610, 2020	22	2020
Least General Generalizations in Description Logic: Verification and Existence JC Jung, C Lutz, F Wolter AAAI, 2020	19	2020
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
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	16	2021
Querying the Unary Negation Fragment with Regular Path Expressions JC Jung, C Lutz, M Martel, T Schneider ICDT, 2018	15	2018
Conservative Extensions in Guarded and Two-Variable Fragments JC Jung, C Lutz, M Martel, T Schneider, F Wolter ICALP, 2017	15	2017
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	14	2019
Separating data examples by description logic concepts with restricted signatures JC Jung, C Lutz, H Pulcini, F Wolter arXiv preprint arXiv:2107.05285, 2021	13	2021
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	12*	2021

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