Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Jean Christoph Jung
Observed names:
Christoph Jung, Jean,
Jean-Christoph Jung,
Jung, Jean Christoph
Institutions:
TU Dortmund University,
University of Warsaw
Observed institutions:
University of Hildesheim,
University of Bremen,
Friedrich-Alexander-Universität Erlangen-Nürnberg,
TU Dortmund University,
University of Warsaw,
Cardiff University,
KU Leuven
show all 7
ORCID:
0000-0002-4159-2255
Observed ORCID:
0000-0002-4159-2255
OpenAlex ID:
A5004455641
Probabilistic Description Logics for Subjective Uncertainty
2017
·
Victor Gutierrez-Basulto
, Jean Christoph Jung
, et al.
·
Journal of Artificial Intelligence Research
·
117
PDF
Ontology-Based Access to Probabilistic Data with OWL QL
2012
·
Jean Christoph Jung
, Carsten Lutz
·
Lecture notes in computer science
·
48
PDF
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?
2019
·
Maurice Funk
, Jean Christoph Jung
, et al.
·
International Joint Conference on Artificial Intelligence
·
38
PDF
Temporalized EL ontologies for accessing temporal data: complexity of atomic queries
2016
·
Víctor Gutiérrez-Basulto
, Jean Christoph Jung
, et al.
·
BIROn (Birkbeck, University of London)
·
27
Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies
2018
·
Víctor Gutiérrez-Basulto
, Jean Christoph Jung
, et al.
·
International Joint Conference on Artificial Intelligence
·
26
PDF
A Closer Look at the Probabilistic Description Logic Prob-EL
2011
·
Víctor Gutiérrez Basulto
, Jean Christoph Jung
, et al.
·
Proceedings of the AAAI Conference on Artificial Intelligence
·
23
PDF
Lightweight description logics and branching time: a troublesome marriage
2014
·
Víctor Gutiérrez-Basulto
, Jean Christoph Jung
, et al.
·
ORCA Online Research @Cardiff (Cardiff University)
·
18
Logical Separability of Incomplete Data under Ontologies
2020
·
Jean Christoph Jung
, Carsten Lutz
, et al.
·
17
PDF
The Complexity of Decomposing Modal and First-Order Theories
2012
·
Stefan Goller
, Jean Christoph Jung
, et al.
·
Proceedings - Symposium on Logic in Computer Science
·
15
Least General Generalizations in Description Logic: Verification and Existence
2020
·
Jean Christoph Jung
, Carsten Lutz
, et al.
·
Proceedings of the AAAI Conference on Artificial Intelligence
·
13
Lightweight temporal description logics with rigid roles and restricted TBoxes
2015
·
Víctor Gutiérrez-Basulto
, Jean Christoph Jung
, et al.
·
ORCA Online Research @Cardiff (Cardiff University)
·
12
Towards Ontology Construction with Language Models
2023
·
Funk, Maurice
, Hosemann, Simon
, et al.
·
arXiv (Cornell University)
·
11
PDF
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles
2019
·
Gutiérrez-Basulto, Víctor
, Ibáñez-García, Yazmín
, et al.
·
ReIn UW (University of Warsaw)
·
11
Conservative Extensions in Guarded and Two-Variable Fragments
2017
·
Jung, Jean Christoph
, Lutz, Carsten
, et al.
·
arXiv (Cornell University)
·
11
PDF
Separating Data Examples by Description Logic Concepts with Restricted Signatures
2021
·
Jean Christoph Jung
, Carsten Lutz
, et al.
·
10
PDF
Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments
2021
·
Jean Christoph Jung
, Frank Wolter
·
Proceedings - Symposium on Logic in Computer Science
·
10
PDF
Enhancing debugging of multiple missing control errors in reversible logic
2010
·
Jean Christoph Jung
, Stefan Frehse
, et al.
·
10
Model Comparison Games for Horn Description Logics
2019
·
Jean Christoph Jung
, Fabio Papacchini
, et al.
·
Proceedings - Symposium on Logic in Computer Science
·
9
PDF
Answering Regular Path Queries over SQ Ontologies
2018
·
Víctor Gutiérrez-Basulto
, Yazmín Ibáñez-García
, et al.
·
Proceedings of the AAAI Conference on Artificial Intelligence
·
9
Querying the Unary Negation Fragment with Regular Path Expressions
2018
·
Jung, Jean Christoph
, Lutz, Carsten
, et al.
·
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
·
9
PDF
Number Restrictions on Transitive Roles in Description Logics with Nominals
2017
·
Víctor Gutiérrez-Basulto
, Yazmín Ibáñez-García
, et al.
·
Proceedings of the AAAI Conference on Artificial Intelligence
·
9
SAT-Based PAC Learning of Description Logic Concepts
2023
·
Balder ten Cate
, Maurice Funk
, et al.
·
International Joint Conference on Artificial Intelligence
·
8
PDF
Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies
2022
·
Maurice Funk
, Jean Christoph Jung
, et al.
·
International Joint Conference on Artificial Intelligence
·
8
PDF
The Complexity of Decomposing Modal and First-Order Theories
2015
·
Stefan Göller
, Jean-Christoph Jung
, et al.
·
ACM Transactions on Computational Logic
·
8
Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions
2021
·
Alessandro Artale
, Jean Christoph Jung
, et al.
·
Proceedings of the AAAI Conference on Artificial Intelligence
·
7
Show more works
View as search
Works count:
81
Citation count:
573
H-index:
11
I10-index:
17
Year
Topic
Type
