Jean Christoph Jung

Cited by

	All	Since 2015
Citations	397	334
h-index	12	10
i10-index	12	11

120

20082009201020112012201320142015201620172018201920202 4 8 8 10 20 26 39 49 46 67 107

Co-authors

Víctor Gutiérrez BasultoLecturer at Cardiff UniversityVerified email at cardiff.ac.uk
Carsten LutzProfessor of Computer Science, University of BremenVerified email at uni-bremen.de
Frank WolterDepartment of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Thomas SchneiderDept. of Mathematics and Computer Science, University of Bremen, GermanyVerified email at uni-bremen.de
Lutz SchröderProfessor of Computer Science, Friedrich-Alexander-Universität Erlangen-NürnbergVerified email at cs.fau.de
Yazmin Angelica Ibañez-GarciaLecturer at Cardiff UniversityVerified email at cardiff.ac.uk
Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, Germany Verified email at uni-bremen.de
Robert WilleJohannes Kepler University LinzVerified email at jku.at
Leif SabellekUniversity of BremenVerified email at informatik.uni-bremen.de
Roman KontchakovSenior Lecturer, Birkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Markus LohreyUniversity of SiegenVerified email at eti.uni-siegen.de
Fabio PapacchiniRA at the Department of Computer Science, University of Liverpool, UKVerified email at liverpool.ac.uk
Michael ZakharyaschevBirkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Toby WalshProfessor, UNSW and Data61Verified email at cse.unsw.edu.au
George KatsirelosINRAEVerified email at inrae.fr
Pedro BarahonaProfessor of Computer Science, New University of LisbonVerified email at fct.unl.pt
Maurice FunkUniversity of BremenVerified email at uni-bremen.de
Anton DriesKU LeuvenVerified email at cs.kuleuven.be
Stefan FrehseVerified email at mailbox.org
Ondřej KuželkaCzech Technical University in PragueVerified email at fel.cvut.cz

Jean Christoph Jung

University of Hildesheim

Verified email at uni-bremen.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	58	2012
On Metric Temporal Description Logics V Gutiérrez-Basulto, JC Jung, A Ozaki ECAI, 2016	36	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	29	2017
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	28	2011
Temporalized EL ontologies for accessing temporal data: Complexity of atomic queries V Gutierrez Basulto, JC Jung, R Kontchakov IJCAI, 2016	27	2016
Lightweight Description Logics and Branching Time: a Troublesome Marriage V Gutiérrez-Basulto, JC Jung, T Schneider KR, 2014	26	2014
Complexity of Branching Temporal Description Logics V Gutiérrez-Basulto, JC Jung, C Lutz ECAI, 2012	23	2012
Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes V Gutiérrez-Basulto, JC Jung, T Schneider IJCAI, 2015	20	2015
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	18	2015
Learning description logic concepts: when can positive and negative examples be separated? M Funk, JC Jung, C Lutz, H Pulcini, F Wolter IJCAI, 2019	15	2019
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	15	2018
Two encodings of DNNF theories JC Jung, P Barahona, G Katsirelos, T Walsh ECAI workshop on Inference methods based on Graphical Structures of Knowledge, 2008	15	2008
Enhancing debugging of multiple missing control errors in reversible logic JC Jung, S Frehse, R Wille, R Drechsler Proceedings of the 20th symposium on Great lakes symposium on VLSI, 465-470, 2010	9	2010
Querying the Unary Negation Fragment with Regular Path Expressions JC Jung, C Lutz, M Martel, T Schneider ICDT, 2018	8	2018
Conservative Extensions in Guarded and Two-Variable Fragments JC Jung, C Lutz, M Martel, T Schneider, F Wolter ICALP, 2017	8	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	7	2019
Query Conservative Extensions in Horn Description Logics with Inverse Roles JC Jung, C Lutz, M Martel, T Schneider IJCAI, 2017	7	2017
Ontology-mediated queries over probabilistic data via probabilistic logic programming T van Bremen, A Dries, JC Jung Proceedings of the 28th ACM International Conference on Information and …, 2019	5	2019
On finite and unrestricted query entailment beyond SQ with number restrictions on transitive roles T Gogacz, V Gutierrez Basulto, Y Ibanez Garcia, JC Jung, F Murlak IJCAI, -, 2019	5	2019
Answering Regular Path Queries over SQ Ontologies V Gutiérrez-Basulto, YI á nez-Garcıa, JC Jung AAAI, 2018	5	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

Upload PDF

Follow this author

Cited by

Co-authors