Browse by People

Jung, Jean Christoph, Lutz, Carsten, Martel, Mauricio, Schneider, Thomas and Wolter, Frank (2017) Conservative Extensions in Guarded and Two-Variable Fragments. Leibniz International Proceedings in Informatics, LIPIcs, 80.

Lutz, Carsten and Wolter, Frank (2017) THE DATA COMPLEXITY OF DESCRIPTION LOGIC ONTOLOGIES. LOGICAL METHODS IN COMPUTER SCIENCE, 13 (4). 2017-.

Lutz, Carsten and Wolter, Frank ORCID: 0000-0002-4470-606X (2017) The Data Complexity of Description Logic Ontologies. Logical Methods in Computer Science, 13.

Lutz, Carsten, Seylan, Inanc and Wolter, Frank (2019) The Data Complexity of Ontology-Mediated Queries with Closed Predicates. Logical Methods in Computer Science, 15 (3). 2019-.

Wolter, Frank, Hernich, Andre, Papacchini, Fabio ORCID: 0000-0002-0310-7378 and Lutz, Carsten (2020) Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. ACM Transactions on Computational Logic, 21 (3). pp. 1-47.

Hernich, Andre, Lutz, Carsten, Papacchini, Fabio ORCID: 0000-0002-0310-7378 and Wolter, Frank (2017) Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. In: SIGMOD/PODS'17: International Conference on Management of Data, 2017-5-14 - 2017-5-19, Chicago, IL, USA.

Konev, Boris, Lutz, Carsten, Ozaki, Ana and Wolter, Frank (2018) Exact Learning of Light weight Description Logic Ontologies. JOURNAL OF MACHINE LEARNING RESEARCH, 18.

Konev, Boris ORCID: 0000-0002-6507-0494, Lutz, Carsten, Ozaki, Ana and Wolter, Frank (2018) Exact Learning of Lightweight Description Logic Ontologies. Journal of Machine Learning Research, 18 (201). pp. 1-63.

Konev, Boris, Lutz, Carsten, Ozaki, Ana and Wolter, Frank (2018) Exact Learning of Lightweight Description Logic Ontologies. Journal of Machine Learning Research, 18. 201:1 - 201:1.

Feier, Cristina, Lutz, Carsten and Wolter, Frank (2018) From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying. In: Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}, 2018-7-13 - 2018-7-19.

Hernich, Andre, Lutz, Carsten, Papacchini, Fabio ORCID: 0000-0002-0310-7378 and Wolter, Frank (2018) Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying. In: Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}, 2018-7-13 - 2018-7-19.

Haga, Anneke, Lutz, Carsten, Sabellek, Leif and Wolter, Frank (2021) How to Approximate Ontology-Mediated Queries. In: International Conference on Principles of Knowledge Representation and Reasoning.

Botoeva, Elena, Konev, Boris ORCID: 0000-0002-6507-0494, Lutz, Carsten, Ryzhikov, Vladislav, Wolter, Frank and Zakharyaschev, Michael (2018) Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. .

Botoeva, Elena, Konev, Boris ORCID: 0000-0002-6507-0494, Lutz, Carsten, Ryzhikov, Vladislav, Wolter, Frank ORCID: 0000-0002-4470-606X and Zakharyaschev, Michael (2018) Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. CoRR, abs/18. pp. 27-89.

Funk, Maurice, Jung, Jean Christoph, Lutz, Carsten, Pulcini, Hadrien and Wolter, Frank ORCID: 0000-0002-4470-606X (2019) Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? In: Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}, 2019-8-10 - 2019-8-16.

Jung, Jean Christoph, Lutz, Carsten and Wolter, Frank ORCID: 0000-0002-4470-606X (2020) Least General Generalizations in Description Logic: Verification and Existence. .

Jung, Jean Christoph, Lutz, Carsten, Pulcini, Hadrien and Wolter, Frank (2020) Logical Separability of Labeled Data Examples under Ontologies. In: International Conference on Principles of Knowledge Representation and Reasoning, 2020-9-10 - 2020-9-16, Rhodes.

Jung, Jean Christoph, Lutz, Carsten, Pulcini, Hadrien and Wolter, Frank (2022) Logical separability of labeled data examples under ontologies. Artificial Intelligence, 313. p. 103785.

Botoeva, Elena, Lutz, Carsten, Ryzhikov, Vladislav, Wolter, F and Zakharyaschev, Michael (2019) Query Inseparability for ALC Ontologies. Artificial Intelligence, 272. pp. 1-51.

Baader, Franz, Bienvenu, Meghyn, Lutz, Carsten and Wolter, Frank (2016) Query and Predicate Emptiness in Ontology-Based Data Access. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 56. pp. 1-59.

Hernich, Andre, Lutz, Carsten, Ozaki, Ana and Wolter, Frank (2015) Schema.org as a Description Logic. In: Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015-7-25 - 2015-7-31, Buenos Aires, Argentina.

Jung, Jean Christoph, Lutz, Carsten, Pulcini, Hadrien and Wolter, Frank (2021) Separating Data Examples by Description Logic Concepts with Restricted Signatures. In: International Conference on Principles of Knowledge Representation and Reasoning.

Jung, Jean Christoph, Lutz, Carsten, Pulcini, Hadrien and Wolter, Frank (2020) Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures. CEUR Workshop Proceedings, 2663.