Zum Inhalt
Fakultät für Informatik

Publikationen

Balder ten Cate, Maurice Funk, Jean Christoph Jung, & Carsten Lutz (2024).
On the non-efficient PAC learnability of conjunctive queries.
Inf. Process. Lett., 183, 106431.

DOI

Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, & Frank Wolter (2023).
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.

DOI

Balder ten Cate, Maurice Funk, Jean Christoph Jung, & Carsten Lutz (2023).
SAT-based PAC Learning of Description Logic Concepts (Extended Abstract).
In 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)., Rhodes, Greece, September 2-4, 2023. CEUR-WS.org.
URL

Balder ten Cate, Maurice Funk, Jean Christoph Jung, & Carsten Lutz (2023).
SAT-Based PAC Learning of Description Logic Concepts.
In Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China (pp. 3347–3355). ijcai.org.
DOI

Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, & Michael Zakharyaschev (2023).
Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries (Extended Abstract).
In 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)., Rhodes, Greece, September 2-4, 2023. CEUR-WS.org.
URL


Víctor Gutiérrez-Basulto, Yazmin Ibáñez-Garcia, Jean Christoph Jung, & Filip Murlak (2023).
Answering regular path queries mediated by unrestricted SQ ontologies.
Artif. Intell., 314, 103808.

DOI

Maurice Funk, Simon Hosemann, Jean Christoph Jung, & Carsten Lutz (2023).
Towards Ontology Construction with Language Models.
In 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), Athens, Greece, November 6, 2023. CEUR-WS.org.
URL

Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, & Frank Wolter (2022).
Logical separability of labeled data examples under ontologies.
Artif. Intell., 313, 103785.

DOI

Maurice Funk, Jean Christoph Jung, & Carsten Lutz (2022).
Exact Learning of ELI Queries in the Presence of DL-Lite-Horn Ontologies.
In 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-WS.org.
URL

Jean Christoph Jung, Andrea Mazzullo, & Frank Wolter (2022).
More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions.
In 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-WS.org.
URL

Maurice Funk, Jean Christoph Jung, & Carsten Lutz (2022).
Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies.
In Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022 (pp. 2627–2633). ijcai.org.
DOI

Jean Christoph Jung, Carsten Lutz, & Jerzy Marcinkowski (2022).
Conservative Extensions for Existential Rules.
In Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel. July 31 - August 5, 2022.
URL

Jean Christoph Jung, Valentin Mayer-Eichberger, & Abdallah Saffidine (2022).
QBF Programming with the Modeling Language Bule.
In 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel (pp. 31:1–31:14). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
DOI

Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, & Frank Wolter (2021).
Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions.
In Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021 (pp. 6193–6201). AAAI Press.
URL

Maurice Funk, Jean Christoph Jung, & Carsten Lutz (2021).
Actively Learning ELI Queries under DL-Lite Ontologies.
In Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 19th to 22nd, 2021. CEUR-WS.org.
URL

Maurice Funk, Jean Christoph Jung, & Carsten Lutz (2021).
Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies.
In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021 (pp. 1887–1893). ijcai.org.
DOI

Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, & Frank Wolter (2021).
Separating Data Examples by Description Logic Concepts with Restricted Signatures.
In Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021 (pp. 390–399).
DOI

Jean Christoph Jung, & Frank Wolter (2021).
Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments.
In 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021 (pp. 1–14). IEEE.
DOI

Jean Christoph Jung, Carsten Lutz, Mauricio Martel, & Thomas Schneider (2020).
Conservative Extensions in Horn Description Logics with Inverse Roles.
J. Artif. Intell. Res., 68, 365–411.

DOI

Timothy van Bremen, Anton Dries, & Jean Christoph Jung (2020).
onto2problog: A Probabilistic Ontology-Mediated Querying System using Probabilistic Logic Programming.
Künstliche Intell., 34(4), 501–507.

DOI

Jean Christoph Jung, Carsten Lutz, & Frank Wolter (2020).
Least General Generalizations in Description Logic: Verification and Existence.
In The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020 (pp. 2854–2861). AAAI Press.
URL

Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, & Frank Wolter (2020).
Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract).
In 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), Online Event [Rhodes, Greece], September 12th to 14th, 2020. CEUR-WS.org.
URL

Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, & Frank Wolter (2020).
Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures (Abstract).
In 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), Online Event [Rhodes, Greece], September 12th to 14th, 2020. CEUR-WS.org.
URL

Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, & Frank Wolter (2020).
Logical Separability of Incomplete Data under Ontologies.
In Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020 (pp. 517–528).
DOI

Jean Christoph Jung, Carsten Lutz, & Thomas Zeume (2020).
On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions.
In Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020 (pp. 529–538).
DOI

Timothy van Bremen, Anton Dries, & Jean Christoph Jung (2019).
Ontology-Mediated Queries over Probabilistic Data via Probabilistic Logic Programming.
In Proceedings of the 28th ACM International Conference on Information and Knowledge Management, CIKM 2019, Beijing, China, November 3-7, 2019 (pp. 2437–2440). ACM.
DOI

Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, & Frank Wolter (2019).
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Abstract).
In Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019. CEUR-WS.org.
URL

Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak (2019).
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles.
In Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019. CEUR-WS.org.
URL

Jean Christoph Jung, Carsten Lutz, & Thomas Zeume (2019).
Decidability and Complexity of ALCOIF with Transitive Closure (and More).
In Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019. CEUR-WS.org.
URL

Jean Christoph Jung, Fabio Papacchini, Frank Wolter, & Michael Zakharyaschev (2019).
Model Comparison Games for Horn Description Logics: A Summary.
In Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019. CEUR-WS.org.
URL

Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, & Frank Wolter (2019).
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?
In Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019 (pp. 1682–1688). ijcai.org.
DOI

Tomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak (2019).
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles.
In Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019 (pp. 1719–1725). ijcai.org.
DOI

Jean Christoph Jung, Fabio Papacchini, Frank Wolter, & Michael Zakharyaschev (2019).
Model Comparison Games for Horn Description Logics.
In 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019 (pp. 1–14). IEEE.
DOI

Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Jean Christoph Jung (2018).
Answering Regular Path Queries over SQ Ontologies. 
In Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018 (pp. 1845–1852). AAAI Press.
URL

Víctor Gutiérrez-Basulto, Jean Christoph Jung, & Leif Sabellek (2018).
Query-by-Example for Expressive Horn Description Logics.
In 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 - 29th, 2018. CEUR-WS.org.
URL

Jean Christoph Jung, Carsten Lutz, Mauricio Martel, & Thomas Schneider (2018).
Querying the Unary Negation Fragment with Regular Path Expressions.
In 21st International Conference on Database Theory, ICDT 2018, March 26-29, 2018, Vienna, Austria (pp. 15:1–15:18). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
DOI

Víctor Gutiérrez-Basulto, Jean Christoph Jung, & Leif Sabellek (2018).
Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies.
In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden (pp. 1847–1853). ijcai.org.
DOI

Víctor Gutiérrez-Basulto, Jean Christoph Jung, & Ondrej Kuzelka (2018).
Quantified Markov Logic Networks.
In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018 (pp. 602–612). AAAI Press.
URL

Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, & Lutz Schröder (2017).
Probabilistic Description Logics for Subjective Uncertainty.
J. Artif. Intell. Res., 58, 1–66.

DOI

Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Jean Christoph Jung (2017).
Number Restrictions on Transitive Roles in Description Logics with Nominals. 
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA (pp. 1121–1127). AAAI Press.
URL

Víctor Gutiérrez-Basulto, Yazmín Angélica Ibáñez-García, Jean Christoph Jung (2017.)
On Query Answering in Description Logics with Number Restrictions on Transitive Roles. 
In Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017. CEUR-WS.org.
URL

Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider, & Frank Wolter (2017).
Conservative Extensions in Guarded and Two-Variable Fragments.
In 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland (pp. 108:1–108:14). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
DOI

Víctor Gutiérrez-Basulto, Jean Christoph Jung (2017).
Combining DL-Lite_{bool}^N with Branching Time: A gentle Marriage. 
In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017 (pp. 1074–1080). ijcai.org.
DOI

Jean Christoph Jung, Carsten Lutz, Mauricio Martel, & Thomas Schneider (2017).
Query Conservative Extensions in Horn Description Logics with Inverse Roles.
In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017 (pp. 1116–1122). ijcai.org.
DOI

Víctor Gutiérrez-Basulto, Jean Christoph Jung, & Roman Kontchakov (2016).
On Decidability and Tractability of Querying in Temporal EL.
In Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016. CEUR-WS.org.
URL

Víctor Gutiérrez-Basulto, Jean Christoph Jung, & Ana Ozaki (2016).
On Metric Temporal Description Logics.
In ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016) (pp. 837–845). IOS Press.
DOI

Víctor Gutiérrez-Basulto, Jean Christoph Jung, & Roman Kontchakov (2016).
Temporalized EL Ontologies for Accessing Temporal Data: Complexity of Atomic Queries.
In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016 (pp. 1102–1108). IJCAI/AAAI Press.
URL

Stefan Göller, Jean Christoph Jung, & Markus Lohrey (2015).
The Complexity of Decomposing Modal and First-Order Theories.
ACM Trans. Comput. Log., 16(1), 9:1–9:43.

DOI

Víctor Gutiérrez-Basulto, Jean Christoph Jung, & Thomas Schneider (2015).
The Complexity of Temporal Description Logics with Rigid Roles and Restricted TBoxes: In Quest of Saving a Troublesome Marriage.
In Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015. CEUR-WS.org.
URL

Víctor Gutiérrez-Basulto, Jean Christoph Jung, & Thomas Schneider (2015).
Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes.
In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015 (pp. 3015–3021). AAAI Press.
URL

Jean Christoph Jung (2014). 
Reasoning in many dimensions: uncertainty and products of modal logics.
(Doctoral dissertation, University of Bremen).
URL

Jean Christoph Jung, Carsten Lutz, Sergey Goncharov, & Lutz Schröder (2014).
Monodic Fragments of Probabilistic First-Order Logic.
In Automata, Languages, and Programming - 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II (pp. 256–267). Springer.
DOI

Víctor Gutiérrez-Basulto, Jean Christoph Jung, & Thomas Schneider (2014).
Lightweight Description Logics and Branching Time: A Troublesome Marriage.
In Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014. AAAI Press.
URL

Jean Christoph Jung, & Carsten Lutz (2013).
Ontology-Based Access to Probabilistic Data.
In Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013 (pp. 258–270). CEUR-WS.org.
URL

Víctor Gutiérrez-Basulto, Jean Christoph Jung, & Carsten Lutz (2012).
Complexity of Branching Temporal Description Logics.
In ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, August 27-31 , 2012 (pp. 390–395). IOS Press.
DOI

Stefan Göller, Jean Christoph Jung, & Markus Lohrey (2012).
The Complexity of Decomposing Modal and First-Order Theories.
In Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, June 25-28, 2012 (pp. 325–334). IEEE Computer Society.
DOI

Jean Christoph Jung, & Carsten Lutz (2012).
Ontology-Based Access to Probabilistic Data with OWL QL.
In The Semantic Web - ISWC 2012 - 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I (pp. 182–197). Springer.
DOI

Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, & Lutz Schröder (2011).
A Closer Look at the Probabilistic Description Logic Prob-EL.
In Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011. AAAI Press.
URL

Jean Christoph Jung, Víctor Gutiérrez-Basulto, Carsten Lutz, & Lutz Schröder (2011).
The Complexity of Probabilistic EL.
In Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011. CEUR-WS.org.
URL

Jean Christoph Jung, Stefan Frehse, Robert Wille, & Rolf Drechsler (2010).
Enhancing debugging of multiple missing control errors in reversible logic.
In Proceedings of the 20th ACM Great Lakes Symposium on VLSI 2009, Providence, Rhode Island, USA, May 16-18 2010 (pp. 465–470). ACM.
DOI