Browse by People

Konev, Boris ORCID: 0000-0002-6507-0494 and Kutsia, Temur (2016) Anti-Unification of Concepts in Description Logic EL. In: 15th International Conference on Principles of Knowledge Representation and Reasoning, 2016-4-25 - 2016-4-29, Cape Town.

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.

Duarte, Ricardo, Konev, Boris ORCID: 0000-0002-6507-0494 and Ozaki, Ana (2018) ExactLearner: A Tool for Exact Learning of εL Ontologies. In: 16th International Conference on Principles of Knowledge Representation and Reasoning, 2018-10-30 - 2018-11-2, Tempe, Arizona, USA.

Artale, Alessandro, Kontchakov, Roman, Kovtunova, Alisa, Ryzhikov, Vladislav, Wolter, Frank and Zakharyaschev, Michael (2022) First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 75. pp. 1223-1291.

Artale, Alessandro, Kontchakov, Roman, Kovtunova, Alisa, Ryzhikov, Vladislav, Wolter, Frank and Zakharyaschev, Michael (2021) First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic. Artificial Intelligence, 299. p. 103536.

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.

Fortin, Marie, Konev, Boris ORCID: 0000-0002-6507-0494 and Wolter, Frank ORCID: 0000-0002-4470-606X (2022) Interpolants and Explicit Definitions in Extensions of the Description Logic EL. In: 19th International Conference on Principles of Knowledge Representation and Reasoning {KR-2022}, 2022-7-31 - 2022-8-5.

Fortin, Marie, Konev, Boris ORCID: 0000-0002-6507-0494 and Wolter, Frank ORCID: 0000-0002-4470-606X (2022) Interpolants and Explicit Definitions in Extensions of the Description Logic EL. [Preprint]

Fortin, Marie, Konev, Boris ORCID: 0000-0002-6507-0494 and Wolter, Frank ORCID: 0000-0002-4470-606X (2021) Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract). In: 34th International Workshop on Description Logics, 2021-9-19 - 2021-9-21, Bratislava.

Kikot, Stanislav, Kurucz, Agi, Tanaka, Yoshihito, Wolter, Frank and Zakharyaschev, Michael (2019) KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS. JOURNAL OF SYMBOLIC LOGIC, 84 (2). pp. 533-588.

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. .

Jimenez Ruiz, E, Payne, TR ORCID: 0000-0002-0106-8731, Solimando, A and Tamma, VAM ORCID: 0000-0002-1320-610X (2016) Limiting logical violations in ontology alignment through negotiation. In: 15th International Conference on Principles of Knowledge Representation and Reasoning, 2016-4-25 - 2016-4-29, Cape Town, South Africa.

Artale, Alessandro, Jung, Jean Christoph, Mazzullo, Andrea, Ozaki, Ana and Wolter, Frank ORCID: 0000-0002-4470-606X (2023) Living Without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions. ACM Transactions on Computational Logic, 24 (4). pp. 1-51.

Jung, Jean Christoph and Wolter, Frank ORCID: 0000-0002-4470-606X (2021) Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments. In: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021-6-29 - 2021-7-2.

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.

Pulcini, Hadrien (2022) Logical Separability of Open-World Data. PhD thesis, University of Liverpool.

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

Geleta, D (2018) Minimal Definition Signatures: Computation and Application to Ontology Alignment. PhD thesis, University of Liverpool.

Konev, Boris ORCID: 0000-0002-6507-0494, Ozaki, Ana and Wolter, Frank ORCID: 0000-0002-4470-606X (2016) A Model for Learning Description Logic Ontologies Based on Exact Learning. .

Piro, Robert Model-theoretic characterisations of description logics. Doctor of Philosophy thesis, University of Liverpool.

Artale, Alessandro, Mazzullo, Andrea, Ozaki, Ana and Wolter, Frank ORCID: 0000-0002-4470-606X (2021) On Free Description Logics with Definite Descriptions. In: 18th International Conference on Principles of Knowledge Representation and Reasoning {KR-2021}, 2020-11-12 - 2021-11-18.

Hernich, Andre, Lemos, Julio and Wolter, Frank ORCID: 0000-0002-4470-606X (2017) Query Answering in DL-Lite with Datatypes: A Non-Uniform Approach. In: AAAI, 2017-2-4 - 2017-2-9, San Francisco.

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.

Fortin, Marie, Konev, Boris ORCID: 0000-0002-6507-0494, Ryzhikov, Vladislav, Savateev, Yury, Wolter, Frank ORCID: 0000-0002-4470-606X and Zakharyaschev, Michael (2023) Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. In: Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}, 2023-8-19 - 2023-8-25.

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.

Artale, Alessandro, Kontchakov, Roman, Wolter, Frank and Zakharyaschev, Michael (2013) Temporal Description Logic for Ontology-Based Data Access (Extended Version).

Lazzarini Lemos, JC (2019) Tractable Ontology-Mediated Query Answering with Datatypes. PhD thesis, University of Liverpool.

Fortin, Marie, Konev, Boris ORCID: 0000-0002-6507-0494, Ryzhikov, Vladislav, Savateev, Yury, Wolter, Frank ORCID: 0000-0002-4470-606X and Zakharyaschev, Michael (2022) Unique Characterisability and Learnability of Temporal Instance Queries. [Preprint]

Fortin, Marie, Konev, Boris ORCID: 0000-0002-6507-0494, Ryzhikov, Vladislav, Savateev, Yury, Wolter, Frank ORCID: 0000-0002-4470-606X and Zakharyaschev, Michael (2022) Unique Characterisability and Learnability of Temporal Instance Queries. In: 19th International Conference on Principles of Knowledge Representation and Reasoning {KR-2022}, 2022-7-31 - 2022-8-5.