Jean Christoph Jung

Orcid: 0000-0002-4159-2255

Affiliations:
  • Technical University of Dortmund, Department of Computer Science, Germany
  • University of Bremen, Institute of Computer Science, Germany (former)


According to our database1, Jean Christoph Jung authored at least 67 papers between 2009 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
On the non-efficient PAC learnability of conjunctive queries.
Inf. Process. Lett., January, 2024

2023
Fitting Algorithms for Conjunctive Queries.
SIGMOD Rec., December, 2023

Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions.
ACM Trans. Comput. Log., October, 2023

Extremal Fitting CQs do not Generalize.
CoRR, 2023

Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries.
CoRR, 2023

Answering regular path queries mediated by unrestricted SQ ontologies.
Artif. Intell., 2023

Towards Ontology Construction with Language Models.
Proceedings of the Joint proceedings of the 1st workshop on Knowledge Base Construction from Pre-Trained Language Models (KBC-LM) and the 2nd challenge on Language Models for Knowledge Base Construction (LM-KBC) co-located with the 22nd International Semantic Web Conference (ISWC 2023), 2023

SAT-Based PAC Learning of Description Logic Concepts.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries (Extended Abstract).
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

SAT-based PAC Learning of Description Logic Concepts (Extended Abstract).
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

2022
On the non-efficient PAC learnability of acyclic conjunctive queries.
CoRR, 2022

Logical separability of labeled data examples under ontologies.
Artif. Intell., 2022

QBF Programming with the Modeling Language Bule.
Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

Conservative Extensions for Existential Rules.
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions.
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

Exact Learning of ELI Queries in the Presence of DL-Lite-Horn Ontologies.
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

2021
Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments.
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Separating Data Examples by Description Logic Concepts with Restricted Signatures.
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Actively Learning ELI Queries under DL-Lite Ontologies.
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
onto2problog: A Probabilistic Ontology-Mediated Querying System using Probabilistic Logic Programming.
Künstliche Intell., 2020

Conservative Extensions in Horn Description Logics with Inverse Roles.
J. Artif. Intell. Res., 2020

Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals.
CoRR, 2020

Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures.
CoRR, 2020

Living without Beth and Craig: Explicit Definitions and Interpolants in the Guarded Fragment.
CoRR, 2020

On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Logical Separability of Incomplete Data under Ontologies.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures (Abstract).
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract).
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

Least General Generalizations in Description Logic: Verification and Existence.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Model Comparison Games for Horn Description Logics.
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Model Comparison Games for Horn Description Logics: A Summary.
Proceedings of the 32nd International Workshop on Description Logics, 2019

Decidability and Complexity of ALCOIF with Transitive Closure (and More).
Proceedings of the 32nd International Workshop on Description Logics, 2019

On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles.
Proceedings of the 32nd International Workshop on Description Logics, 2019

Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Abstract).
Proceedings of the 32nd International Workshop on Description Logics, 2019

Ontology-Mediated Queries over Probabilistic Data via Probabilistic Logic Programming.
Proceedings of the 28th ACM International Conference on Information and Knowledge Management, 2019

2018
Markov Logic Networks with Statistical Quantifiers.
CoRR, 2018

Quantified Markov Logic Networks.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Querying the Unary Negation Fragment with Regular Path Expressions.
Proceedings of the 21st International Conference on Database Theory, 2018

Query-by-Example for Expressive Horn Description Logics.
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

Answering Regular Path Queries over SQ Ontologies.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
Probabilistic Description Logics for Subjective Uncertainty.
J. Artif. Intell. Res., 2017

Query Conservative Extensions in Horn Description Logics with Inverse Roles.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Combining DL-Lite_{bool}^N with Branching Time: A gentle Marriage.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Conservative Extensions in Guarded and Two-Variable Fragments.
Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

On Query Answering in Description Logics with Number Restrictions on Transitive Roles.
Proceedings of the 30th International Workshop on Description Logics, 2017

Number Restrictions on Transitive Roles in Description Logics with Nominals.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Temporalized EL Ontologies for Accessing Temporal Data: Complexity of Atomic Queries.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

On Metric Temporal Description Logics.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

On Decidability and Tractability of Querying in Temporal EL.
Proceedings of the 29th International Workshop on Description Logics, 2016

2015
The Complexity of Decomposing Modal and First-Order Theories.
ACM Trans. Comput. Log., 2015

Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

The Complexity of Temporal Description Logics with Rigid Roles and Restricted TBoxes: In Quest of Saving a Troublesome Marriage.
Proceedings of the 28th International Workshop on Description Logics, 2015

2014
Reasoning in many dimensions: uncertainty and products of modal logics.
PhD thesis, 2014

Lightweight Description Logics and Branching Time: A Troublesome Marriage.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Monodic Fragments of Probabilistic First-Order Logic.
Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

2013
Ontology-Based Access to Probabilistic Data.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012
Ontology-Based Access to Probabilistic Data with OWL QL.
Proceedings of the Semantic Web - ISWC 2012, 2012

Complexity of Branching Temporal Description Logics.
Proceedings of the ECAI 2012, 2012

2011
The Complexity of Probabilistic EL.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

A Closer Look at the Probabilistic Description Logic Prob-EL.
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010
Enhancing debugging of multiple missing control errors in reversible logic.
Proceedings of the 20th ACM Great Lakes Symposium on VLSI 2009, 2010

2009
SWORD - Module-based SAT Solving.
Proceedings of the Algorithms and Applications for Next Generation SAT Solvers, 08.11., 2009


  Loading...