Jean Christoph Jung - Google Scholar Citations

Cited by

	All	Since 2014
Citations	243	206
h-index	10	9
i10-index	10	9

2008200920102011201220132014201520162017201820192 3 7 8 8 19 26 33 50 46 32

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
Toby WalshProfessor, UNSW, Data61 and TU BerlinVerified 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
Leif SabellekPhD Student, University of BremenVerified email at informatik.uni-bremen.de
Stefan FrehseVerified email at mailbox.org
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	43	2012
On Metric Temporal Description Logics V Gutiérrez-Basulto, JC Jung, A Ozaki ECAI, 2016	22	2016
Lightweight Description Logics and Branching Time: a Troublesome Marriage V Gutiérrez-Basulto, JC Jung, T Schneider KR, 2014	21	2014
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	21*	2011
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	16	2017
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
Temporalized EL Ontologies for Accessing Temporal Data: Complexity of Atomic Queries. V Gutiérrez-Basulto, JC Jung, R Kontchakov IJCAI, 1102-1108, 2016	14	2016
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	12	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
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
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	4	2018
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
Monodic Fragments of Probabilistic First-order Logic JC Jung, C Lutz, S Goncharov, L Schröder ICALP, 2014	2	2014
Value ordering based on solution counting JC Jung Master thesis, University Nova de Lisboa, 2008	2	2008
Model comparison games for Horn description logics JC Jung, F Papacchini, F Wolter, M Zakharyaschev arXiv preprint arXiv:1904.06919, 2019	1	2019

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