Jean Christoph Jung - Google Scholar Citations

Cited by

	All	Since 2014
Citations	259	222
h-index	10	9
i10-index	10	9

2008200920102011201220132014201520162017201820192 3 7 8 8 19 26 33 50 46 48

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
Thomas SchneiderInterim professor, Dept. of Mathematics and Computer Science, University of Bremen, GermanyVerified email at informatik.uni-bremen.de
Lutz SchröderProfessor of Computer Science, Friedrich-Alexander-Universität Erlangen-NürnbergVerified email at cs.fau.de
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
Frank WolterDepartment of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Yazmin Angelica Ibañez-GarciaResearch Associate at Cardiff UniversityVerified email at cardiff.ac.uk
Roman KontchakovSenior Lecturer, Birkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Ana OzakiFree University of Bozen-BolzanoVerified email at unibz.it
Markus LohreyUniversity of SiegenVerified email at eti.uni-siegen.de
Leif SabellekPhD Student, University of BremenVerified email at informatik.uni-bremen.de
Toby WalshProfessor, TU Berlin, UNSW, and Data61Verified email at cse.unsw.edu.au
George KatsirelosINRAVerified email at toulouse.inra.fr
Pedro BarahonaProfessor of Computer Science, New University of LisbonVerified email at fct.unl.pt
Stefan FrehseVerified email at mailbox.org
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
Ondřej KuželkaCzech Technical University in PragueVerified email at fel.cvut.cz
Sergey GoncharovAkademischer Oberrat, Friedrich-Alexander-Universität Erlangen-NürnbergVerified email at fau.de

Jean Christoph Jung

University of Bremen

Verified email at informatik.uni-bremen.de - Homepage

Description Logics Product Logics Uncertainty Ontology-Based Data Access Knowledge Representation


Title	Cited by	Year
Ontology-Based Access to Probabilistic Data with OWL QL JC Jung, C Lutz ISWC, 2012	45	2012
On Metric Temporal Description Logics V Gutiérrez-Basulto, JC Jung, A Ozaki ECAI, 2016	25	2016
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	22*	2011
Lightweight Description Logics and Branching Time: a Troublesome Marriage V Gutiérrez-Basulto, JC Jung, T Schneider KR, 2014	21	2014
Complexity of Branching Temporal Description Logics V Gutiérrez-Basulto, JC Jung, C Lutz ECAI, 2012	19	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	17	2017
Temporalized EL Ontologies for Accessing Temporal Data: Complexity of Atomic Queries. V Gutiérrez-Basulto, JC Jung, R Kontchakov IJCAI, 1102-1108, 2016	17	2016
The complexity of decomposing modal and first-order theories S Göller, JC Jung, M Lohrey ACM Transactions on Computational Logic (TOCL) 16 (1), 9, 2015	16	2015
Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes V Gutiérrez-Basulto, JC Jung, T Schneider IJCAI, 2015	15*	2015
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	13	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	8	2010
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	6	2018
Query Conservative Extensions in Horn Description Logics with Inverse Roles JC Jung, C Lutz, M Martel, T Schneider IJCAI, 2017	6	2017
Conservative Extensions in Guarded and Two-Variable Fragments JC Jung, C Lutz, M Martel, T Schneider, F Wolter ICALP, 2017	5	2017
Querying the Unary Negation Fragment with Regular Path Expressions JC Jung, C Lutz, M Martel, T Schneider ICDT, 2018	4	2018
Number restrictions on transitive roles in description logics with nominals V Gutiérrez-Basulto, Y Ibáñez-García, JC Jung Thirty-First AAAI Conference on Artificial Intelligence, 2017	4	2017
SWORD v1. 0 JC Jung, A Sülflow, R Wille, R Drechsler Satisfiability Modulo Theories Competition, 2009	4	2009
Model comparison games for Horn description logics JC Jung, F Papacchini, F Wolter, M Zakharyaschev arXiv preprint arXiv:1904.06919, 2019	2	2019
Learning description logic concepts: When can positive and negative examples be separated M Funk, JC Jung, C Lutz, H Pulcini, F Wolter Proceedings of IJCAI, 2019	2	2019
Monodic Fragments of Probabilistic First-order Logic JC Jung, C Lutz, S Goncharov, L Schröder ICALP, 2014	2	2014

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