default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJean Christoph Jung
Person information
- affiliation: Technical University of Dortmund, Department of Computer Science, Germany
- affiliation (former): University of Bremen, Institute of Computer Science, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[c57]Jean Christoph Jung, Jedrzej Kolodziejski:
Modal Separation of Fixpoint Formulae. STACS 2025: 55:1-55:20- 2024
- [j9]Balder ten Cate
, Maurice Funk, Jean Christoph Jung, Carsten Lutz:
On the non-efficient PAC learnability of conjunctive queries. Inf. Process. Lett. 183: 106431 (2024) - [c56]Jean Christoph Jung, Jedrzej Kolodziejski:
Modal Separability of Fixpoint Formulae. Description Logics 2024 - [c55]Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Extremal Separation Problems for Temporal Instance Queries. IJCAI 2024: 3448-3456 - [c54]Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology. KR 2024 - [c53]Lukas Westhofen, Christian Neurohr, Jean Christoph Jung, Daniel Neider:
Topllet: An Optimized Engine for Answering Metric Temporal Conjunctive Queries. NFM 2024: 314-321 - [c52]Lukas Westhofen, Christian Neurohr, Jean Christoph Jung, Daniel Neider:
Answering Temporal Conjunctive Queries over Description Logic Ontologies for Situation Recognition in Complex Operational Domains. TACAS (1) 2024: 167-187 - [e3]Laura Giordano, Jean Christoph Jung, Ana Ozaki:
Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024. CEUR Workshop Proceedings 3739, CEUR-WS.org 2024 [contents] - [i22]Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Extremal Separation Problems for Temporal Instance Queries. CoRR abs/2405.03511 (2024) - [i21]Jean Christoph Jung, Jedrzej Kolodziejski:
Modal Separability of Fixpoint Formulae. CoRR abs/2406.01497 (2024) - 2023
- [j8]Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak:
Answering regular path queries mediated by unrestricted SQ ontologies. Artif. Intell. 314: 103808 (2023) - [j7]Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz:
Fitting Algorithms for Conjunctive Queries. SIGMOD Rec. 52(4): 6-18 (2023) - [j6]Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter:
Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions. ACM Trans. Comput. Log. 24(4): 34:1-34:51 (2023) - [c51]Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz:
SAT-based PAC Learning of Description Logic Concepts (Extended Abstract). Description Logics 2023 - [c50]Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries (Extended Abstract). Description Logics 2023 - [c49]Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz:
SAT-Based PAC Learning of Description Logic Concepts. IJCAI 2023: 3347-3355 - [c48]Maurice Funk, Simon Hosemann, Jean Christoph Jung, Carsten Lutz:
Towards Ontology Construction with Language Models. KBC-LM/LM-KBC@ISWC 2023 - [i20]Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz:
SAT-Based PAC Learning of Description Logic Concepts. CoRR abs/2305.08511 (2023) - [i19]Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries. CoRR abs/2306.07662 (2023) - [i18]Maurice Funk, Simon Hosemann, Jean Christoph Jung, Carsten Lutz:
Towards Ontology Construction with Language Models. CoRR abs/2309.09898 (2023) - [i17]Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz:
Extremal Fitting CQs do not Generalize. CoRR abs/2312.03407 (2023) - 2022
- [j5]Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter:
Logical separability of labeled data examples under ontologies. Artif. Intell. 313: 103785 (2022) - [c47]Maurice Funk, Jean Christoph Jung, Carsten Lutz:
Exact Learning of ELI Queries in the Presence of DL-Lite-Horn Ontologies. Description Logics 2022 - [c46]Jean Christoph Jung, Andrea Mazzullo, Frank Wolter:
More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions. Description Logics 2022 - [c45]Maurice Funk, Jean Christoph Jung, Carsten Lutz:
Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies. IJCAI 2022: 2627-2633 - [c44]Jean Christoph Jung, Carsten Lutz, Jerzy Marcinkowski:
Conservative Extensions for Existential Rules. KR 2022 - [c43]Jean Christoph Jung, Valentin Mayer-Eichberger, Abdallah Saffidine:
QBF Programming with the Modeling Language Bule. SAT 2022: 31:1-31:14 - [e2]Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier:
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022. CEUR Workshop Proceedings 3263, CEUR-WS.org 2022 [contents] - [i16]Jean Christoph Jung, Carsten Lutz, Jerzy Marcinkowski:
Conservative Extensions for Existential Rules. CoRR abs/2202.05689 (2022) - [i15]Maurice Funk, Jean Christoph Jung, Carsten Lutz:
Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies. CoRR abs/2204.14172 (2022) - [i14]Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz:
On the non-efficient PAC learnability of acyclic conjunctive queries. CoRR abs/2208.10255 (2022) - 2021
- [c42]Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter:
Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions. AAAI 2021: 6193-6201 - [c41]Maurice Funk, Jean Christoph Jung, Carsten Lutz:
Actively Learning ELI Queries under DL-Lite Ontologies. Description Logics 2021 - [c40]Maurice Funk, Jean Christoph Jung, Carsten Lutz:
Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies. IJCAI 2021: 1887-1893 - [c39]Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter:
Separating Data Examples by Description Logic Concepts with Restricted Signatures. KR 2021: 390-399 - [c38]Jean Christoph Jung, Frank Wolter:
Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments. LICS 2021: 1-14 - [i13]Maurice Funk, Jean Christoph Jung, Carsten Lutz:
Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies. CoRR abs/2105.08326 (2021) - [i12]Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter:
Separating Data Examples by Description Logic Concepts with Restricted Signatures. CoRR abs/2107.05285 (2021) - 2020
- [j4]Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider:
Conservative Extensions in Horn Description Logics with Inverse Roles. J. Artif. Intell. Res. 68: 365-411 (2020) - [j3]Timothy van Bremen, Anton Dries, Jean Christoph Jung:
onto2problog: A Probabilistic Ontology-Mediated Querying System using Probabilistic Logic Programming. Künstliche Intell. 34(4): 501-507 (2020) - [c37]Jean Christoph Jung, Carsten Lutz, Frank Wolter:
Least General Generalizations in Description Logic: Verification and Existence. AAAI 2020: 2854-2861 - [c36]Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter:
Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract). Description Logics 2020 - [c35]Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter:
Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures (Abstract). Description Logics 2020 - [c34]Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter:
Logical Separability of Incomplete Data under Ontologies. KR 2020: 517-528 - [c33]Jean Christoph Jung, Carsten Lutz, Thomas Zeume:
On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions. KR 2020: 529-538 - [e1]Carsten Lutz, Jean Christoph Jung:
23rd International Conference on Database Theory, ICDT 2020, March 30-April 2, 2020, Copenhagen, Denmark. LIPIcs 155, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-139-9 [contents] - [i11]Jean Christoph Jung, Frank Wolter:
Living without Beth and Craig: Explicit Definitions and Interpolants in the Guarded Fragment. CoRR abs/2007.01597 (2020) - [i10]Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter:
Logical Separability of Incomplete Data under Ontologies. CoRR abs/2007.01610 (2020) - [i9]Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter:
Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures. CoRR abs/2007.02669 (2020) - [i8]Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter:
Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals. CoRR abs/2007.02736 (2020) - [i7]Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak:
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles. CoRR abs/2010.11503 (2020) - [i6]Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung:
Answering Regular Path Queries Over SQ Ontologies. CoRR abs/2011.08816 (2020) - [i5]Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider:
Conservative Extensions in Horn Description Logics with Inverse Roles. CoRR abs/2011.09858 (2020)
2010 – 2019
- 2019
- [c32]Timothy van Bremen, Anton Dries, Jean Christoph Jung:
Ontology-Mediated Queries over Probabilistic Data via Probabilistic Logic Programming. CIKM 2019: 2437-2440 - [c31]Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter:
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Abstract). Description Logics 2019 - [c30]Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak:
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles. Description Logics 2019 - [c29]Jean Christoph Jung, Carsten Lutz, Thomas Zeume:
Decidability and Complexity of ALCOIF with Transitive Closure (and More). Description Logics 2019 - [c28]Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev:
Model Comparison Games for Horn Description Logics: A Summary. Description Logics 2019 - [c27]Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter:
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?. IJCAI 2019: 1682-1688 - [c26]Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak:
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles. IJCAI 2019: 1719-1725 - [c25]Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev:
Model Comparison Games for Horn Description Logics. LICS 2019: 1-14 - [i4]Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev:
Model Comparison Games for Horn Description Logics. CoRR abs/1904.06919 (2019) - 2018
- [c24]Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Jean Christoph Jung:
Answering Regular Path Queries over SQ Ontologies. AAAI 2018: 1845-1852 - [c23]Víctor Gutiérrez-Basulto, Jean Christoph Jung, Leif Sabellek:
Query-by-Example for Expressive Horn Description Logics. Description Logics 2018 - [c22]Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider:
Querying the Unary Negation Fragment with Regular Path Expressions. ICDT 2018: 15:1-15:18 - [c21]Víctor Gutiérrez-Basulto, Jean Christoph Jung, Leif Sabellek:
Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies. IJCAI 2018: 1847-1853 - [c20]Víctor Gutiérrez-Basulto, Jean Christoph Jung, Ondrej Kuzelka:
Quantified Markov Logic Networks. KR 2018: 602-612 - [i3]Víctor Gutiérrez-Basulto, Jean Christoph Jung, Ondrej Kuzelka:
Markov Logic Networks with Statistical Quantifiers. CoRR abs/1807.01183 (2018) - 2017
- [j2]Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder:
Probabilistic Description Logics for Subjective Uncertainty. J. Artif. Intell. Res. 58: 1-66 (2017) - [c19]Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Jean Christoph Jung:
Number Restrictions on Transitive Roles in Description Logics with Nominals. AAAI 2017: 1121-1127 - [c18]Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Jean Christoph Jung:
On Query Answering in Description Logics with Number Restrictions on Transitive Roles. Description Logics 2017 - [c17]Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider, Frank Wolter:
Conservative Extensions in Guarded and Two-Variable Fragments. ICALP 2017: 108:1-108:14 - [c16]Víctor Gutiérrez-Basulto, Jean Christoph Jung:
Combining DL-Lite_{bool}^N with Branching Time: A gentle Marriage. IJCAI 2017: 1074-1080 - [c15]Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider:
Query Conservative Extensions in Horn Description Logics with Inverse Roles. IJCAI 2017: 1116-1122 - [i2]Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider, Frank Wolter:
Conservative Extensions in Guarded and Two-Variable Fragments. CoRR abs/1705.10115 (2017) - 2016
- [c14]Víctor Gutiérrez-Basulto, Jean Christoph Jung, Roman Kontchakov:
On Decidability and Tractability of Querying in Temporal EL. Description Logics 2016 - [c13]Víctor Gutiérrez-Basulto, Jean Christoph Jung, Ana Ozaki:
On Metric Temporal Description Logics. ECAI 2016: 837-845 - [c12]Víctor Gutiérrez-Basulto, Jean Christoph Jung, Roman Kontchakov:
Temporalized EL Ontologies for Accessing Temporal Data: Complexity of Atomic Queries. IJCAI 2016: 1102-1108 - 2015
- [j1]Stefan Göller, Jean Christoph Jung, Markus Lohrey:
The Complexity of Decomposing Modal and First-Order Theories. ACM Trans. Comput. Log. 16(1): 9:1-9:43 (2015) - [c11]Víctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider:
The Complexity of Temporal Description Logics with Rigid Roles and Restricted TBoxes: In Quest of Saving a Troublesome Marriage. Description Logics 2015 - [c10]Víctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider:
Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes. IJCAI 2015: 3015-3021 - 2014
- [b1]Jean Christoph Jung:
Reasoning in many dimensions: uncertainty and products of modal logics. University of Bremen, 2014, pp. 1-209 - [c9]Jean Christoph Jung, Carsten Lutz, Sergey Goncharov, Lutz Schröder:
Monodic Fragments of Probabilistic First-Order Logic. ICALP (2) 2014: 256-267 - [c8]Víctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider:
Lightweight Description Logics and Branching Time: A Troublesome Marriage. KR 2014 - 2013
- [c7]Jean Christoph Jung, Carsten Lutz:
Ontology-Based Access to Probabilistic Data. Description Logics 2013: 258-270 - 2012
- [c6]Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz:
Complexity of Branching Temporal Description Logics. ECAI 2012: 390-395 - [c5]Stefan Göller, Jean Christoph Jung, Markus Lohrey:
The Complexity of Decomposing Modal and First-Order Theories. LICS 2012: 325-334 - [c4]Jean Christoph Jung, Carsten Lutz:
Ontology-Based Access to Probabilistic Data with OWL QL. ISWC (1) 2012: 182-197 - 2011
- [c3]Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder:
A Closer Look at the Probabilistic Description Logic Prob-EL. AAAI 2011: 197-202 - [c2]Jean Christoph Jung, Víctor Gutiérrez-Basulto, Carsten Lutz, Lutz Schröder:
The Complexity of Probabilistic EL. Description Logics 2011 - 2010
- [c1]Jean Christoph Jung, Stefan Frehse, Robert Wille, Rolf Drechsler:
Enhancing debugging of multiple missing control errors in reversible logic. ACM Great Lakes Symposium on VLSI 2010: 465-470
2000 – 2009
- 2009
- [i1]Robert Wille, Jean Christoph Jung, André Sülflow, Rolf Drechsler:
SWORD - Module-based SAT Solving. Algorithms and Applications for Next Generation SAT Solvers 2009
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-02-24 21:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
