Professor Frank Wolter

Professor Computer Science

+44 (0)151 795 4238
Work email Wolter@liverpool.ac.uk
Personal Websitehttps://cgi.csc.liv.ac.uk/~frank/

Publications

Filter the publication list

Filter list by type

Show all
Journal article
Conference paper
Chapter
Other

2023

Living Without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions (Journal article)

Artale, A., Jung, J. C., Mazzullo, A., Ozaki, A., & Wolter, F. (n.d.). Living Without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions. ACM Transactions on Computational Logic. doi:10.1145/3597301

DOI: 10.1145/3597301

Current and Future Challenges in Knowledge Representation and Reasoning (Preprint)

Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries (Preprint)

Reverse Engineering of Temporal Queries Mediated by LTL Ontologies (Preprint)

Definitions and (Uniform) Interpolants in First-Order Modal Logic (Preprint)

Reverse Engineering of Temporal Queries Mediated by LTL Ontologies (Conference Paper)

Fortin, M., Konev, B., Ryzhikov, V., Savateev, Y., Wolter, F., & Zakharyaschev, M. (2023). Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. In IJCAI International Joint Conference on Artificial Intelligence Vol. 2023-August (pp. 3230-3238).

Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries (Journal article)

Jung, J. C., Ryzhikov, V., Wolter, F., & Zakharyaschev, M. (2023). Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries. CEUR Workshop Proceedings, 3515.

2022

Logical separability of labeled data examples under ontologies (Journal article)

Jung, J. C., Lutz, C., Pulcini, H., & Wolter, F. (2022). Logical separability of labeled data examples under ontologies. Artificial Intelligence, 103785. doi:10.1016/j.artint.2022.103785

DOI: 10.1016/j.artint.2022.103785

Unique Characterisability and Learnability of Temporal Instance Queries (Preprint)

Interpolants and Explicit Definitions in Extensions of the Description Logic EL (Preprint)

First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries (Journal article)

Artale, A., Kontchakov, R., Kovtunova, A., Ryzhikov, V., Wolter, F., & Zakharyaschev, M. (2022). First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 75, 1223-1291. Retrieved from https://www.webofscience.com/

Interpolants and Explicit Definitions in Extensions of the Description Logic EL (Conference Paper)

Fortin, M., Konev, B., & Wolter, F. (2022). Interpolants and Explicit Definitions in Extensions of the Description Logic EL. In Proceedings of the Nineteenth International Conference on Principles of Knowledge Representation and Reasoning. International Joint Conferences on Artificial Intelligence Organization. doi:10.24963/kr.2022/16

DOI: 10.24963/kr.2022/16

More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions (Conference Paper)

Jung, J. C., Mazzullo, A., & Wolter, F. (2022). More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions. In CEUR Workshop Proceedings Vol. 3263.

On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract) (Conference Paper)

Artale, A., Kontchakov, R., Kovtunova, A., Ryzhikov, V., Wolter, F., & Zakharyaschev, M. (2022). On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract). In IJCAI International Joint Conference on Artificial Intelligence (pp. 5703-5707).

Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Conference Paper)

Fortin, M., Konev, B., Ryzhikov, V., Savateev, Y., Wolter, F., & Zakharyaschev, M. (2022). Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps. In CEUR Workshop Proceedings Vol. 3263.

Unique Characterisability and Learnability of Temporal Instance Queries (Conference Paper)

Fortin, M., Konev, B., Ryzhikov, V., Savateev, Y., Wolter, F., & Zakharyaschev, M. (2022). Unique Characterisability and Learnability of Temporal Instance Queries. In Proceedings of the Nineteenth International Conference on Principles of Knowledge Representation and Reasoning. International Joint Conferences on Artificial Intelligence Organization. doi:10.24963/kr.2022/17

DOI: 10.24963/kr.2022/17

2021

First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries (Preprint)

Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract). (Conference Paper)

Fortin, M., Konev, B., & Wolter, F. (2021). Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract).. In M. Homola, V. Ryzhikov, & R. A. Schmidt (Eds.), Description Logics Vol. 2954. CEUR-WS.org. Retrieved from http://ceur-ws.org/Vol-2954

How to Approximate Ontology-Mediated Queries (Conference Paper)

Haga, A., Lutz, C., Sabellek, L., & Wolter, F. (2021). How to Approximate Ontology-Mediated Queries. Retrieved from http://arxiv.org/abs/2107.05369v2

Separating Data Examples by Description Logic Concepts with Restricted Signatures (Conference Paper)

Jung, J. C., Lutz, C., Pulcini, H., & Wolter, F. (2021). Separating Data Examples by Description Logic Concepts with Restricted Signatures. Retrieved from http://arxiv.org/abs/2107.05285v1

Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments. (Conference Paper)

Jung, J. C., & Wolter, F. (2021). Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments.. In LICS (pp. 1-14). IEEE. Retrieved from https://doi.org/10.1109/LICS52264.2021

On Free Description Logics with Definite Descriptions. (Conference Paper)

Artale, A., Mazzullo, A., Ozaki, A., & Wolter, F. (2021). On Free Description Logics with Definite Descriptions. In Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021 (pp. 63-73).

2020

From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying (Conference Paper)

Feier, C., Lutz, C., & Wolter, F. (2018). From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying. In PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (pp. 1810-1816). Retrieved from https://www.webofscience.com/

Dichotomies in Ontology-Mediated Querying with the Guarded Fragment (Journal article)

Wolter, F., Hernich, A., Papacchini, F., & Lutz, C. (2020). Dichotomies in Ontology-Mediated Querying with theGuarded Fragment. ACM Transactions on Computational Logic, 21(3). doi:10.1145/3375628

DOI: 10.1145/3375628

Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions (Journal article)

Artale, A., Jung, J. C., Mazzullo, A., Ozaki, A., & Wolter, F. (2021). Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions. THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 35, 6193-6201. Retrieved from https://www.webofscience.com/

Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures (Journal article)

Jung, J. C., Lutz, C., Pulcini, H., & Wolter, F. (2020). Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures. Retrieved from http://arxiv.org/abs/2007.02669v1

Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments (Conference Paper)

Jung, J. C., & Wolter, F. (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). doi:10.1109/LICS52264.2021.9470585

Logical Separability of Labeled Data Examples under Ontologies (Conference Paper)

Jung, J. C., Lutz, C., Pulcini, H., & Wolter, F. (2020). Logical Separability of Labeled Data Examples under Ontologies. Retrieved from http://arxiv.org/abs/2007.01610v2

First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Journal article)

Artale, A., Kontchakov, R., Kovtunova, A., Ryzhikov, V., Wolter, F., & Zakharyaschev, M. (2021). First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic. Artificial Intelligence. doi:10.1016/j.artint.2021.103536

DOI: 10.1016/j.artint.2021.103536

A Journey into Ontology Approximation: From Non-Horn to Horn (Journal article)

Haga, A., Lutz, C., Marti, J., & Wolter, F. (2020). A Journey into Ontology Approximation: From Non-Horn to Horn. Retrieved from http://arxiv.org/abs/2001.07754v4

A Journey into Ontology Approximation: From Non-Horn to Horn (Conference Paper)

Haga, A., Lutz, C., Marti, J., & Wolter, F. (2020). A Journey into Ontology Approximation: From Non-Horn to Horn. In PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (pp. 1827-1833). Retrieved from https://www.webofscience.com/

A Journey into Ontology Approximation: From Non-Horn to Horn (Abstract). (Conference Paper)

Haga, A., Lutz, C., Marti, J., & Wolter, F. (2020). A Journey into Ontology Approximation: From Non-Horn to Horn (Abstract).. In S. Borgwardt, & T. Meyer (Eds.), Description Logics Vol. 2663. CEUR-WS.org. Retrieved from http://ceur-ws.org/Vol-2663

Boolean Role Inclusions in DL-Lite With andWithout Time (Conference Paper)

Kontchakov, R., Ryzhikov, V., Wolter, F., & Zakharyaschev, M. (2020). Boolean Role Inclusions in DL-Lite With andWithout Time. In KR2020: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING (pp. 582-591). Retrieved from https://www.webofscience.com/

Boolean role inclusions in Dl-Lite with and without time (Conference Paper)

Kontchakov, R., Ryzhikov, V., Wolter, F., & Zakharyaschev, M. (2020). Boolean role inclusions in Dl-Lite with and without time. In 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020 Vol. 2 (pp. 581-590).

First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics. (Journal article)

Bienvenu, M., Hansen, P., Lutz, C., & Wolter, F. (2020). First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics.. CoRR, abs/2011.09836.

From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying. (Journal article)

Feier, C., Lutz, C., & Wolter, F. (2020). From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying.. CoRR, abs/2010.11848.

Least General Generalizations in Description Logic: Verification and Existence (Conference Paper)

Jung, J. C., Lutz, C., & Wolter, F. (2020). Least General Generalizations in Description Logic: Verification and Existence. In THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE Vol. 34 (pp. 2854-2861). Retrieved from https://www.webofscience.com/

Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract). (Conference Paper)

Artale, A., Jung, J. C., Mazzullo, A., Ozaki, A., & Wolter, F. (2020). Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract).. In S. Borgwardt, & T. Meyer (Eds.), Description Logics Vol. 2663. CEUR-WS.org. Retrieved from http://ceur-ws.org/Vol-2663

Logical Separability of Incomplete Data under Ontologies (Conference Paper)

Jung, J. C., Lutz, C., Pulcini, H., & Wolter, F. (2020). Logical Separability of Incomplete Data under Ontologies. In KR2020: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING (pp. 517-528). Retrieved from https://www.webofscience.com/

Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures (Abstract). (Conference Paper)

Jung, J. C., Lutz, C., Pulcini, H., & Wolter, F. (2020). Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures (Abstract).. In S. Borgwardt, & T. Meyer (Eds.), Description Logics Vol. 2663. CEUR-WS.org. Retrieved from http://ceur-ws.org/Vol-2663

2019

The Data Complexity of Ontology-Mediated Queries with Closed Predicates (Journal article)

Lutz, C., Seylan, I., & Wolter, F. (2019). The Data Complexity of Ontology-Mediated Queries with Closed Predicates. Logical Methods in Computer Science, 15(3). doi:10.23638/LMCS-15(3:23)2019

DOI: 10.23638/LMCS-15(3:23)2019

Model comparison games for horn description logics (Conference Paper)

Jung, J. C., Papacchini, F., Wolter, F., & Zakharyaschev, M. (2019). Model comparison games for horn description logics. In Proceedings - Symposium on Logic in Computer Science Vol. 2019-June. doi:10.1109/LICS.2019.8785658

DOI: 10.1109/LICS.2019.8785658

Query Inseparability for ALC Ontologies (Journal article)

Botoeva, E., Lutz, C., Ryzhikov, V., Wolter, F., & Zakharyaschev, M. (2019). Query Inseparability for ALC Ontologies. Artificial Intelligence, 272, 1-51. doi:10.1016/j.artint.2018.09.003

DOI: 10.1016/j.artint.2018.09.003

A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction (Chapter)

Lutz, C., Sattler, U., Tinelli, C., Turhan, A. -Y., & Wolter, F. (2019). A Tour of Franz Baader’s Contributions to Knowledge Representation and Automated Deduction. In Lecture Notes in Computer Science (pp. 1-14). Springer International Publishing. doi:10.1007/978-3-030-22102-7_1

DOI: 10.1007/978-3-030-22102-7_1

A note on DL-Lite with Boolean role inclusions (Conference Paper)

Kontchakov, R., Ryzhikov, V., Wolter, F., & Zakharyaschev, M. (2019). A note on DL-Lite with Boolean role inclusions. In CEUR Workshop Proceedings Vol. 2373.

Kripke Completeness of strictly positive Modal Logics over Meet-Semilattices with operators. (Journal article)

Kikot, S., Kurucz, A., Tanaka, Y., Wolter, F., & Zakharyaschev, M. (2019). Kripke Completeness of strictly positive Modal Logics over Meet-Semilattices with operators.. J. Symb. Log., 84, 533-588.

Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Conference Paper)

Funk, M., Jung, J. C., Lutz, C., Pulcini, H., & Wolter, F. (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. International Joint Conferences on Artificial Intelligence Organization. doi:10.24963/ijcai.2019/233

DOI: 10.24963/ijcai.2019/233

Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Conference Paper)

Funk, M., Jung, J. C., Lutz, C., Pulcini, H., & Wolter, F. (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 (pp. 1682-1688). Retrieved from https://www.webofscience.com/

Model Comparison Games for Horn Description Logics. (Conference Paper)

Jung, J. C., Papacchini, F., Wolter, F., & Zakharyaschev, M. (2019). Model Comparison Games for Horn Description Logics.. In LICS (pp. 1-14). IEEE. Retrieved from https://ieeexplore.ieee.org/xpl/conhome/8765678/proceeding

Model Comparison Games for Horn Description Logics. (Journal article)

Jung, J. C., Papacchini, F., Wolter, F., & Zakharyaschev, M. (2019). Model Comparison Games for Horn Description Logics.. CoRR, abs/1904.06919.

Ontology Approximation in Horn Description Logics (Conference Paper)

Boetcher, A., Lutz, C., & Wolter, F. (2019). Ontology Approximation in Horn Description Logics. In PROCEEDINGS OF THE TWENTY-EIGHTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (pp. 1574-1580). Retrieved from https://www.webofscience.com/

Query inseparability for ALC ontologies. (Journal article)

Botoeva, E., Lutz, C., Ryzhikov, V., Wolter, F., & Zakharyaschev, M. (2019). Query inseparability for ALC ontologies.. Artif. Intell., 272, 1-51.

The Data Complexity of Ontology-Mediated Queries with Closed Predicates. (Journal article)

Lutz, C., Seylan, I., & Wolter, F. (2019). The Data Complexity of Ontology-Mediated Queries with Closed Predicates.. Log. Methods Comput. Sci., 15. doi:10.23638/LMCS-15(3:23)2019

DOI: 10.23638/LMCS-15(3:23)2019

2018

Horn rewritability vs PTime query evaluation for description logic TBoxes (Conference Paper)

Hernich, A., Lutz, C., Papacchini, F., & Wolter, F. (2018). Horn rewritability vs PTime query evaluation for description logic TBoxes. In CEUR Workshop Proceedings Vol. 1879.

Exact Learning of Lightweight Description Logic Ontologies (Journal article)

Konev, B., Lutz, C., Ozaki, A., & Wolter, F. (2018). Exact Learning of Lightweight Description Logic Ontologies. Journal of Machine Learning Research, 18(201), 1-63. Retrieved from http://www.jmlr.org/papers/v18/16-256.html

Exact Learning of Lightweight Description Logic Ontologies. (Journal article)

Konev, B., Lutz, C., Ozaki, A., & Wolter, F. (2018). Exact Learning of Lightweight Description Logic Ontologies.. Journal of Machine Learning Research, 18, 201:1.

Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey (Conference Paper)

Botoeva, E., Konev, B., Lutz, C., Ryzhikov, V., Wolter, F., & Zakharyaschev, M. (2018). Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. Retrieved from http://dx.doi.org/10.1007/978-3-319-49493-7_2

Dichotomies in Ontology-Mediated Querying with the Guarded Fragment (Conference Paper)

Hernich, A., Lutz, C., Papacchini, F., & Wolter, F. (2017). Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. In PODS'17: PROCEEDINGS OF THE 36TH ACM SIGMOD-SIGACT-SIGAI SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS (pp. 184-199). doi:10.1145/3034786.3056108

DOI: 10.1145/3034786.3056108

A van benthem theorem for horn description and modal logic (Conference Paper)

Papacchini, F., & Wolter, F. (2018). A van benthem theorem for horn description and modal logic. In CEUR Workshop Proceedings Vol. 2211.

Complete approximation of horn DL ontologies (Conference Paper)

Bötcher, A., Lutz, C., & Wolter, F. (2018). Complete approximation of horn DL ontologies. In CEUR Workshop Proceedings Vol. 2211.

Exact Learning of Light weight Description Logic Ontologies (Journal article)

Konev, B., Lutz, C., Ozaki, A., & Wolter, F. (2018). Exact Learning of Light weight Description Logic Ontologies. JOURNAL OF MACHINE LEARNING RESEARCH, 18. Retrieved from http://gateway.webofknowledge.com/

From conjunctive queries to SPARQL queries in ontology-mediated querying (Conference Paper)

Feier, C., Lutz, C., & Wolter, F. (2018). From conjunctive queries to SPARQL queries in ontology-mediated querying. In CEUR Workshop Proceedings Vol. 2211.

Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying (Conference Paper)

Hernich, A., Lutz, C., Papacchini, F., & Wolter, F. (2018). Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying. In PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (pp. 1861-1867). Retrieved from https://www.webofscience.com/

Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. (Journal article)

Botoeva, E., Konev, B., Lutz, C., Ryzhikov, V., Wolter, F., & Zakharyaschev, M. (2018). Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey.. CoRR, abs/1804.07805.

On strictly positive modal logics with S4.3 frames (Conference Paper)

Kikot, S., Kurucz, A., Wolter, F., & Zakharyaschev, M. (2018). On strictly positive modal logics with S4.3 frames. In Advances in Modal Logic Vol. 12 (pp. 427-446).

Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018. (Conference Paper)

Thielscher, M., Toni, F., & Wolter, F. (Eds.) (2018). Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018.. In KR. AAAI Press.

2017

The Data Complexity of Description Logic Ontologies. (Journal article)

Lutz, C., & Wolter, F. (2017). The Data Complexity of Description Logic Ontologies.. Logical Methods in Computer Science, 13.

Ontology-mediated query answering over temporal data: A survey (Conference Paper)

Artale, A., Kontchakov, R., Kovtunova, A., Ryzhikov, V., Wolter, F., & Zakharyaschev, M. (2017). Ontology-mediated query answering over temporal data: A survey. In Leibniz International Proceedings in Informatics, LIPIcs Vol. 90. doi:10.4230/LIPIcs.TIME.2017.1

DOI: 10.4230/LIPIcs.TIME.2017.1

KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Journal article)

Kikot, S., Kurucz, A., Tanaka, Y., Wolter, F., & Zakharyaschev, M. (2019). KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS. JOURNAL OF SYMBOLIC LOGIC, 84(2), 533-588. doi:10.1017/jsl.2019.22

DOI: 10.1017/jsl.2019.22

Conservative Extensions in Guarded and Two-Variable Fragments (Journal article)

Jung, J. C., Lutz, C., Martel, M., Schneider, T., & Wolter, F. (2017). Conservative Extensions in Guarded and Two-Variable Fragments. Retrieved from http://arxiv.org/abs/1705.10115v1

Conservative Extensions in Guarded and Two-Variable Fragments. (Conference Paper)

Jung, J. C., Lutz, C., Martel, M., Schneider, T., & Wolter, F. (2017). Conservative Extensions in Guarded and Two-Variable Fragments.. In I. Chatzigiannakis, P. Indyk, F. Kuhn, & A. Muscholl (Eds.), ICALP Vol. 80 (pp. 108:1). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. Retrieved from http://www.dagstuhl.de/dagpub/978-3-95977-041-5

Query Answering in DL-Lite with Datatypes: A Non-Uniform Approach (Conference Paper)

Hernich, A., Lemos, J., & Wolter, F. (2017). Query Answering in DL-Lite with Datatypes: A Non-Uniform Approach. In THIRTY-FIRST AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (pp. 1142-1148). Retrieved from https://www.webofscience.com/

2016

THE DATA COMPLEXITY OF DESCRIPTION LOGIC ONTOLOGIES (Journal article)

Lutz, C., & Wolter, F. (2017). THE DATA COMPLEXITY OF DESCRIPTION LOGIC ONTOLOGIES. LOGICAL METHODS IN COMPUTER SCIENCE, 13(4). doi:10.23638/LMCS-13(4:7)2017

DOI: 10.23638/LMCS-13(4:7)2017

First order-rewritability and containment of conjunctive queries in horn description logics (Conference Paper)

Bienvenu, M., Hansen, P., Lutz, C., & Wolter, F. (2016). First order-rewritability and containment of conjunctive queries in horn description logics. In IJCAI. New York.

Conservative Rewritability of Description Logic TBoxes (Conference Paper)

Konev, B., Lutz, C., Wolter, F., & Zakharyaschev, M. (2016). Conservative Rewritability of Description Logic TBoxes. In IJCAI/AAAI Press (pp. 1153-1159). New York.

Games for query inseparability of description logic knowledge bases (Journal article)

Botoeva, E., Kontchakov, R., Ryzhikov, V., Wolter, F., & Zakharyaschev, M. (2016). Games for query inseparability of description logic knowledge bases. Artificial Intelligence, 234, 78-119. doi:10.1016/j.artint.2016.01.010

DOI: 10.1016/j.artint.2016.01.010

Query and Predicate Emptiness in Ontology-Based Data Access (Journal article)

Baader, F., Bienvenu, M., Lutz, C., & Wolter, F. (2016). Query and Predicate Emptiness in Ontology-Based Data Access. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 56, 1-59. Retrieved from https://www.webofscience.com/

Query-Based Entailment and Inseparability for ALC Ontologies (Full Version) (Journal article)

Botoeva, E., Lutz, C., Ryzhikov, V., Wolter, F., & Zakharyaschev, M. (2016). Query-Based Entailment and Inseparability for ALC Ontologies (Full Version). Retrieved from http://arxiv.org/abs/1604.04164v2

A Model for Learning Description Logic Ontologies Based on Exact Learning (Conference Paper)

Konev, B., Ozaki, A., & Wolter, F. (2016). A Model for Learning Description Logic Ontologies Based on Exact Learning. In THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (pp. 1008-1015). Retrieved from https://www.webofscience.com/

Automata for Ontologies (Conference Paper)

Wolter, F. (2016). Automata for Ontologies. In LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, LATA 2016 Vol. 9618 (pp. XVIII). Retrieved from https://www.webofscience.com/

Automata for Ontologies (Conference Paper)

Wolter, F. (2016). Automata for Ontologies. In LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, LATA 2016 Vol. 9618 (pp. 57-60). doi:10.1007/978-3-319-30000-9_4

DOI: 10.1007/978-3-319-30000-9_4

Constraint patterns for tractable ontology-mediated queries with datatypes (Conference Paper)

Hernich, A., Lemos, J., & Wolter, F. (2016). Constraint patterns for tractable ontology-mediated queries with datatypes. In CEUR Workshop Proceedings Vol. 1577.

First order-rewritability and containment of conjunctive queries in horn description logics (Conference Paper)

Bienvenu, M., Hansen, P., Lutz, C., & Wolter, F. (2016). First order-rewritability and containment of conjunctive queries in horn description logics. In IJCAI International Joint Conference on Artificial Intelligence Vol. 2016-January (pp. 965-971).

Is query inseparability for ALC ontologies decidable? (Conference Paper)

Botoeva, E., Lutz, C., Ryzhikov, V., Wolter, F., & Zakharyaschev, M. (2016). Is query inseparability for ALC ontologies decidable?. In CEUR Workshop Proceedings Vol. 1577.

Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016. (Conference Paper)

Baral, C., Delgrande, J. P., & Wolter, F. (Eds.) (2016). Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016.. In KR. AAAI Press.

Query-Based Entailment and Inseparability for ALC Ontologies. (Conference Paper)

Botoeva, E., Lutz, C., Ryzhikov, V., Wolter, F., & Zakharyaschev, M. (2016). Query-Based Entailment and Inseparability for ALC Ontologies.. In S. Kambhampati (Ed.), IJCAI (pp. 1001-1007). IJCAI/AAAI Press. Retrieved from http://www.ijcai.org/Proceedings/2016

When is Query Inseparability for ALC Ontologies Decidable? (Conference Paper)

Botoeva, E., Lutz, C., Ryzhikov, V., Wolter, F., & Zakharyaschev, M. (2016). When is Query Inseparability for ALC Ontologies Decidable?. In M. Lenzerini, & R. Peñaloza (Eds.), Description Logics Vol. 1577. CEUR-WS.org. Retrieved from http://ceur-ws.org/Vol-1577

2015

Fundamentals of Computation Theory Preface (Journal article)

Gasieniec, L., Martin, R., Wolter, F., & Wong, P. W. H. (2015). Fundamentals of Computation Theory Preface. THEORETICAL COMPUTER SCIENCE, 590, 1. doi:10.1016/j.tcs.2015.05.040

DOI: 10.1016/j.tcs.2015.05.040

Conservative rewritability of description logic TBoxes: First results (Conference Paper)

Konev, B., Lutz, C., Wolter, F., & Zakharyaschev, M. (2015). Conservative rewritability of description logic TBoxes: First results. In CEUR Workshop Proceedings Vol. 1350.

Decidability of Circumscribed Description Logics Revisited (Conference Paper)

Bonatti, P., Faella, M., Lutz, C., Sauro, L., & Wolter, F. (2015). Decidability of Circumscribed Description Logics Revisited. In Unknown Conference (pp. 112-124). Springer International Publishing. doi:10.1007/978-3-319-14726-0_8

DOI: 10.1007/978-3-319-14726-0_8

Efficient Query Rewriting in the Description Logic EL and Beyond (Conference Paper)

Hansen, P., Lutz, C., Seylan, I., & Wolter, F. (2015). Efficient Query Rewriting in the Description Logic EL and Beyond. In PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI) (pp. 3034-3040). Retrieved from https://www.webofscience.com/

Exact learning description logic ontologies from data retrieval examples (Conference Paper)

Konev, B., Ozaki, A., & Wolter, F. (2015). Exact learning description logic ontologies from data retrieval examples. In CEUR Workshop Proceedings Vol. 1350.

First-Order Rewritability of Temporal Ontology-Mediated Queries (Conference Paper)

Artale, A., Kontchakov, R., Kovtunova, A., Ryzhikov, V., Wolter, F., & Zakharyaschev, M. (2015). First-Order Rewritability of Temporal Ontology-Mediated Queries. In PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI) (pp. 2706-2712). Retrieved from https://www.webofscience.com/

On the relationship between consistent query answering and constraint satisfaction problems (Conference Paper)

Lutz, C., & Wolter, F. (2015). On the relationship between consistent query answering and constraint satisfaction problems. In Leibniz International Proceedings in Informatics, LIPIcs Vol. 31 (pp. 363-379). doi:10.4230/LIPIcs.ICDT.2015.363

DOI: 10.4230/LIPIcs.ICDT.2015.363

Ontology-Mediated Queries with Closed Predicates (Conference Paper)

Lutz, C., Seylan, I., & Wolter, F. (2015). Ontology-Mediated Queries with Closed Predicates. In PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI) (pp. 3120-3126). Retrieved from https://www.webofscience.com/

Schema.org as a Description Logic (Conference Paper)

Hernich, A., Lutz, C., Ozaki, A., & Wolter, F. (2015). Schema.org as a Description Logic. In PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI) (pp. 3048-3054). Retrieved from https://www.webofscience.com/

Schema.org as a description logic (Conference Paper)

Hernich, A., Lutz, C., Ozaki, A., & Wolter, F. (2015). Schema.org as a description logic. In CEUR Workshop Proceedings Vol. 1350.

When Are Description Logic Knowledge Bases Indistinguishable? (Conference Paper)

Botoeva, E., Kontchakov, R., Ryzhikov, V., Wolter, F., & Zakharyaschev, M. (2015). When Are Description Logic Knowledge Bases Indistinguishable?. In PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI) (pp. 4240-4246). Retrieved from https://www.webofscience.com/

2014

Ontology-Based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP (Journal article)

Bienvenu, M., ten Cate, B., Lutz, C., & Wolter, F. (2014). Ontology-Based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP. ACM Transactions on Database Systems, 39(4). doi:10.1145/2661643

DOI: 10.1145/2661643

The Logical Difference for the Lightweight Description Logic EL (Journal article)

Konev, B., Ludwig, M., Walther, D., & Wolter, F. (2014). The Logical Difference for the Lightweight Description Logic EL. Journal Of Artificial Intelligence Research, Volume 44, pages 633-708, 2012. Retrieved from http://dx.doi.org/10.1613/jair.3552

The Complexity of Circumscription in DLs (Journal article)

Bonatti, P. A., Lutz, C., & Wolter, F. (2014). The Complexity of Circumscription in DLs. Journal Of Artificial Intelligence Research, Volume 35, pages 717-773, 2009. Retrieved from http://dx.doi.org/10.1613/jair.2763

Exact Learning of Lightweight Description Logic Ontologies (Conference Paper)

Konev, B., Lutz, C., Ozaki, A., & Wolter, F. (2014). Exact Learning of Lightweight Description Logic Ontologies. In FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING (pp. 298-307). Retrieved from https://www.webofscience.com/

Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies (Conference Paper)

Gatens, W., Konev, B., & Wolter, F. (2014). Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies. In 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014) Vol. 263 (pp. 345-350). doi:10.3233/978-1-61499-419-0-345

DOI: 10.3233/978-1-61499-419-0-345

Lower and upper approximations for depleting modules of description logic ontologies (Conference Paper)

Gatens, W., Konev, B., & Wolter, F. (2014). Lower and upper approximations for depleting modules of description logic ontologies. In CEUR Workshop Proceedings Vol. 1193 (pp. 181-184).

On the Blok-Esakia Theorem (Chapter)

Wolter, F., & Zakharyaschev, M. (2014). On the Blok-Esakia Theorem. In Leo Esakia on Duality in Modal and Intuitionistic Logics (pp. 99-118). Springer Netherlands. doi:10.1007/978-94-017-8860-1_5

DOI: 10.1007/978-94-017-8860-1_5

Query Inseparability for Description Logic Knowledge Bases (Conference Paper)

Botoeva, E., Kontchakov, R., Ryzhikov, V., Wolter, F., & Zakharyaschev, M. (2014). Query Inseparability for Description Logic Knowledge Bases. In FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING (pp. 238-247). Retrieved from https://www.webofscience.com/

Query inseparability by games (Conference Paper)

Botoeva, E., Kontchakov, R., Ryzhikov, V., Wolter, F., & Zakharyaschev, M. (2014). Query inseparability by games. In CEUR Workshop Proceedings Vol. 1193 (pp. 83-95).

Query rewriting under EL-TBoxes: Effcient algorithms (Conference Paper)

Hansen, P., Lutz, C., Seylan, I., & Wolter, F. (2014). Query rewriting under EL-TBoxes: Effcient algorithms. In CEUR Workshop Proceedings Vol. 1193 (pp. 197-208).

Temporal OBDA with LTL and DL-Lite (Conference Paper)

Artale, A., Kontchakov, R., Kovtunova, A., Ryzhikov, V., Wolter, F., & Zakharyaschev, M. (2014). Temporal OBDA with LTL and DL-Lite. In CEUR Workshop Proceedings Vol. 1193 (pp. 21-32).

2013

Exact learning of TBoxes in EL and DL-Lite (Conference Paper)

Konev, B., Lutz, C., & Wolter, F. (2013). Exact learning of TBoxes in EL and DL-Lite. In CEUR Workshop Proceedings Vol. 1014 (pp. 341-352).

First-order rewritability of atomic queries in Horn description logics (Conference Paper)

Bienvenu, M., Lutz, C., & Wolter, F. (2013). First-order rewritability of atomic queries in Horn description logics. In IJCAI International Joint Conference on Artificial Intelligence (pp. 754-760).

Ontology-based data access with closed predicates is inherently intractable (sometimes) (Conference Paper)

Lutz, C., Seylan, I., & Wolter, F. (2013). Ontology-based data access with closed predicates is inherently intractable (sometimes). In IJCAI International Joint Conference on Artificial Intelligence (pp. 1024-1030).

Temporal description logic for ontology-based data access (Conference Paper)

Artale, A., Kontchakov, R., Wolter, F., & Zakharyaschev, M. (2013). Temporal description logic for ontology-based data access. In IJCAI International Joint Conference on Artificial Intelligence (pp. 711-717).

Temporalising OWL 2QL (Conference Paper)

Artale, A., Kontchakov, R., Wolter, F., & Zakharyaschev, M. (2013). Temporalising OWL 2QL. In CEUR Workshop Proceedings Vol. 1014 (pp. 17-28).

The Combined Approach to OBDA: Taming Role Hierarchies Using Filters (Conference Paper)

Lutz, C., Seylan, I., Toman, D., & Wolter, F. (2013). The Combined Approach to OBDA: Taming Role Hierarchies Using Filters. In SEMANTIC WEB - ISWC 2013, PART I Vol. 8218 (pp. 314-330). Retrieved from https://www.webofscience.com/

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface (Book)

Ga̧sieniec, L., & Wolter, F. (2013). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface (Vol. 8070 LNCS).

Model-theoretic inseparability and modularity of description logic ontologies (Journal article)

Konev, B., Lutz, C., Walther, D., & Wolter, F. (2013). Model-theoretic inseparability and modularity of description logic ontologies. Artificial Intelligence, 203, 66-103. doi:10.1016/j.artint.2013.07.004

DOI: 10.1016/j.artint.2013.07.004

Temporal Description Logic for Ontology-Based Data Access (Extended Version) (Journal article)

Artale, A., Kontchakov, R., Wolter, F., & Zakharyaschev, M. (2013). Temporal Description Logic for Ontology-Based Data Access (Extended Version). Retrieved from http://arxiv.org/abs/1304.5185v2

Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP (Conference Paper)

Bienvenu, M., Cate, B. T., Lutz, C., & Wolter, F. (2013). Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP. Retrieved from http://arxiv.org/abs/1301.6479v2

Exact learning of TBoxes in EL and DL-lite (Conference Paper)

Konev, B., Lutz, C., & Wolter, F. (2013). Exact learning of TBoxes in EL and DL-lite. In CEUR Workshop Proceedings Vol. 1014 (pp. 246-257).

First-Order Rewritability of Atomic Queries in Horn Description Logics (Conference Paper)

Bienvenue., Lutz., & Wolter. (2013). First-Order Rewritability of Atomic Queries in Horn Description Logics. In IJCAI 2013 (pp. ??). Beijing: IJCAI/AAAI. Retrieved from http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6907

Fundamentals of Computation Theory (Conference Paper)

Gąsieniec, L., & Wolter, F. (Eds.) (2013). Fundamentals of Computation Theory. In . Springer Berlin Heidelberg. doi:10.1007/978-3-642-40164-0

DOI: 10.1007/978-3-642-40164-0

Module extraction for acyclic ontologies (Conference Paper)

Gatens, W., Konev, B., & Wolter, F. (2013). Module extraction for acyclic ontologies. In CEUR Workshop Proceedings Vol. 1081 (pp. 49-60).

Ontology-Based Data Access with Closed Predicates is Inherently Intractable(Sometimes). (Conference Paper)

Lutz., Seylan., & Wolter. (2013). Ontology-Based Data Access with Closed Predicates is Inherently Intractable(Sometimes).. In IJCAI 2013 (pp. 2013). Beijing: IJCAI/AAAI. Retrieved from http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6870

Semantic Modularity and Module Extraction in Description Logics (Journal article)

Konev, B., Lutz, C., Walther, D., & Wolter, F. (2013). Semantic Modularity and Module Extraction in Description Logics. Artificial Intelligence.

Temporal Description Logic for Ontology-Based Data Access (Conference Paper)

Artale., Kontchakov., Zakharyaschev., & Wolter. (2013). Temporal Description Logic for Ontology-Based Data Access. In IJCAI 2013 (pp. ??). Beijing: IJCAI/AAAI. Retrieved from http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6824

2012

Deciding FO-rewritability in EL (Conference Paper)

Bienvenu, M., Lutz, C., & Wolter, F. (2012). Deciding FO-rewritability in EL. In CEUR Workshop Proceedings Vol. 846 (pp. 70-80).

Mixing open and closed world assumption in ontology-based data access: Non-uniform data complexity (Conference Paper)

Lutz, C., Seylan, I., & Wolter, F. (2012). Mixing open and closed world assumption in ontology-based data access: Non-uniform data complexity. In CEUR Workshop Proceedings Vol. 846 (pp. 268-278).

Preface (Conference Paper)

Kazakov, Y., Lembo, D., & Wolter, F. (2012). Preface. In CEUR Workshop Proceedings Vol. 846.

Logical Difference Computation with CEX2.5 (Conference Paper)

Konev, B., Ludwig, M., & Wolter, F. (2012). Logical Difference Computation with CEX2.5. In Unknown Conference (pp. 371-377). Springer Berlin Heidelberg. doi:10.1007/978-3-642-31365-3_29

DOI: 10.1007/978-3-642-31365-3_29

An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL (Conference Paper)

Lutz, C., Seylan, I., & Wolter, F. (2012). An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL. In Principles of Knowledge Representation and Reasoning (KR) (pp. None). Rome: AAAI Press. Retrieved from http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4511

An automata-theoretic approach to uniform interpolation and approximation in the description logic EL (Conference Paper)

Lutz, C., Seylan, I., & Wolter, F. (2012). An automata-theoretic approach to uniform interpolation and approximation in the description logic EL. In Proceedings of the International Conference on Knowledge Representation and Reasoning (pp. 286-296).

Description Logic Workshop (Conference Paper)

Kazakov, Y., Lembo, D., & Wolter, F. (Eds.) (2012). Description Logic Workshop. In Description Logics (pp. None). Trier: CEUR. Retrieved from http://ceur-ws.org/Vol-846

Non-Uniform Data Complexity of Query Answering in Description Logics (Conference Paper)

Lutz, C., & Wolter, F. (2012). Non-Uniform Data Complexity of Query Answering in Description Logics. In Principles of Knowledge Respresentation and Reasoning (KR) (pp. None). Rome: AAAI Press. Retrieved from http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4533

Non-uniform data complexity of query answering in description logics (Conference Paper)

Lutz, C., & Wolter, F. (2012). Non-uniform data complexity of query answering in description logics. In Proceedings of the International Conference on Knowledge Representation and Reasoning (pp. 297-307).

Query Containment in Description Logics Reconsidered (Conference Paper)

Bienvenu, M., Lutz, C., & Wolter, F. (2012). Query Containment in Description Logics Reconsidered. In Principles of Knowledge Representation and Reasoning (KR) (pp. None). Rome: AAAI Press. Retrieved from http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4535

Query containment in description logics reconsidered (Conference Paper)

Bienvenu, M., Lutz, C., & Wolter, F. (2012). Query containment in description logics reconsidered. In Proceedings of the International Conference on Knowledge Representation and Reasoning (pp. 221-231).

The combined approach to OBDA: Taming role hierarchies using filters (Conference Paper)

Lutz, C., Seylan, I., Toman, D., & Wolter, F. (2012). The combined approach to OBDA: Taming role hierarchies using filters. In CEUR Workshop Proceedings Vol. 943 (pp. 16-31).

2011

Description logic TBoxes: Model-theoretic characterizations and rewritability (Conference Paper)

Lutz, C., Piro, R., & Wolter, F. (2011). Description logic TBoxes: Model-theoretic characterizations and rewritability. In IJCAI International Joint Conference on Artificial Intelligence (pp. 983-988). doi:10.5591/978-1-57735-516-8/IJCAI11-169

DOI: 10.5591/978-1-57735-516-8/IJCAI11-169

Foundations for uniform interpolation and forgetting in expressive description logics (Conference Paper)

Lutz, C., & Wolter, F. (2011). Foundations for uniform interpolation and forgetting in expressive description logics. In IJCAI International Joint Conference on Artificial Intelligence (pp. 989-995). doi:10.5591/978-1-57735-516-8/IJCAI11-170

DOI: 10.5591/978-1-57735-516-8/IJCAI11-170

Foundations of instance level updates in expressive description logics (Journal article)

Liu, H., Lutz, C., Miličić, M., & Wolter, F. (2011). Foundations of instance level updates in expressive description logics. Artificial Intelligence, 175(18), 2170-2197. doi:10.1016/j.artint.2011.08.003

DOI: 10.1016/j.artint.2011.08.003

Non-uniform data complexity of query answering in description logics (Conference Paper)

Lutz, C., & Wolter, F. (2011). Non-uniform data complexity of query answering in description logics. In CEUR Workshop Proceedings Vol. 745 (pp. 301-311).

On P/NP dichotomies for εL subsumption under relational constraints (Conference Paper)

Kurucz, A., Wolter, F., & Zakharyaschev, M. (2011). On P/NP dichotomies for εL subsumption under relational constraints. In CEUR Workshop Proceedings Vol. 745 (pp. 279-289).

The combined approach to ontology-based data access (Conference Paper)

Kontchakov, R., Lutz, C., Toman, D., Wolter, F., & Zakharyaschev, M. (2011). The combined approach to ontology-based data access. In IJCAI International Joint Conference on Artificial Intelligence (pp. 2656-2661). doi:10.5591/978-1-57735-516-8/IJCAI11-442

DOI: 10.5591/978-1-57735-516-8/IJCAI11-442

Conjunctive query inseparability of OWL 2 QL TBoxes (Conference Paper)

Konev, B., Kontchakov, R., Ludwig, M., Schneider, T., Wolter, F., & Zakharyaschev, M. (2011). Conjunctive query inseparability of OWL 2 QL TBoxes. In Proceedings of the National Conference on Artificial Intelligence Vol. 1 (pp. 221-226).

Combining Spatial and Temporal Logics: Expressiveness vs. Complexity (Journal article)

Gabelaia, D., Kontchakov, R., Kurucz, A., Wolter, F., & Zakharyaschev, M. (2011). Combining Spatial and Temporal Logics: Expressiveness vs. Complexity. Journal Of Artificial Intelligence Research, Volume 23, pages 167-243, 2005. Retrieved from http://dx.doi.org/10.1613/jair.1537

Conjunctive Query Inseparability of OWL2QL TBoxes (Conference Paper)

Konev, B., Kontchakov, R., Ludwig, M., Schneider, T., Wolter, F., & Zakharyaschev, M. (2011). Conjunctive Query Inseparability of OWL2QL TBoxes. In Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011 (pp. 221-226).

Fusions of Description Logics and Abstract Description Systems (Journal article)

Baader, F., Lutz, C., Sturm, H., & Wolter, F. (2011). Fusions of Description Logics and Abstract Description Systems. Journal Of Artificial Intelligence Research, Volume 16, pages 1-58, 2002. Retrieved from http://dx.doi.org/10.1613/jair.919

Description Logic TBoxes: Model-theoretic Characterizations and Rewritability (Conference Paper)

Lutz, C., Piro, R., & Wolter, F. (2011). Description Logic TBoxes: Model-theoretic Characterizations and Rewritability. Retrieved from http://arxiv.org/abs/1104.2844v2

Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics (Conference Paper)

Lutz, C., & Wolter, F. (2011). Foundations for Uniform Interpolation and Forgetting in Expressive Description Logics. Retrieved from http://arxiv.org/abs/1104.2825v1

Eighteenth International Symposium on Temporal Representation and Reasoning (Conference Paper)

Combi, C., Leucker, M., & Wolter, F. (Eds.) (2011). Eighteenth International Symposium on Temporal Representation and Reasoning. In Eighteenth International Symposium on Temporal Representation and Reasoning (pp. Don't know). Luebeck: IEEE.

Message from the Chairs (Conference Paper)

Message from the Chairs (2011). In 2011 Eighteenth International Symposium on Temporal Representation and Reasoning. IEEE. doi:10.1109/time.2011.4

DOI: 10.1109/time.2011.4

Module extraction via query inseparability in OWL 2QL (Conference Paper)

Konev, B., Kontchakov, R., Ludwig, M., Schneider, T., Wolter, F., & Zakharyaschev, M. (2011). Module extraction via query inseparability in OWL 2QL. In CEUR Workshop Proceedings Vol. 745 (pp. 257-267).

Non-Uniform Data Complexity of Query Answering in Description Logics (Conference Paper)

Lutz, C., & Wolter, F. (2011). Non-Uniform Data Complexity of Query Answering in Description Logics. In Description Logics (pp. Don't know). Barcelona: CEUR. Retrieved from http://ceur-ws.org/Vol-745/paper_35.pdf

On P/NP Dichotomies for EL Subsumption under Relational Constraints (Conference Paper)

Kurucz, A., Wolter, F., & Zakharyaschev, M. (2011). On P/NP Dichotomies for EL Subsumption under Relational Constraints. In Description Logics (pp. Don't know). Barcelona: CEUR. Retrieved from http://ceur-ws.org/Vol-745/paper_41.pdf

The Combined Approach to Ontology-Based Data Access (Conference Paper)

Kontchakov, R., Lutz, C., Toman, D., Wolter, F., & Zakharyaschev, M. (2011). The Combined Approach to Ontology-Based Data Access. In T. Walsh (Ed.), International Joint Conference on Artificial Intelligence (pp. don't know). Barcelona: IJCAI/AAAI}.

Versioning Based on Logical Difference for Lightweight Description Logic Terminologies (Journal article)

Gatens, W., Konev, B., Ludwig, M., & Wolter, F. (2011). Versioning Based on Logical Difference for Lightweight Description Logic Terminologies. Proceedings of the IJCAI-11 Workshop on Automated Reasoning about Context and Ontology Evolution, ARCOE-11, 36-40. Retrieved from http://www.arcoe.org/download.html

2010

EL-concepts go second-order: Greatest fixpoints and simulation quantifiers (Conference Paper)

Lutz, C., Piro, R., & Wolter, F. (2010). EL-concepts go second-order: Greatest fixpoints and simulation quantifiers. In CEUR Workshop Proceedings Vol. 573 (pp. 43-54).

Islands of tractability for relational constraints: Towards dichotomy results for the description logic ℰℒ (Conference Paper)

Kurucz, A., Wolter, F., & Zakharyaschev, M. (2010). Islands of tractability for relational constraints: Towards dichotomy results for the description logic ℰℒ. In Advances in Modal Logic 2006 Vol. 8 (pp. 271-291).

Logic-based ontology comparison and module extraction, with an application to DL-Lite (Journal article)

Kontchakov, R., Wolter, F., & Zakharyaschev, M. (2010). Logic-based ontology comparison and module extraction, with an application to DL-Lite. Artificial Intelligence, 174(15), 1093-1141. doi:10.1016/j.artint.2010.06.003

DOI: 10.1016/j.artint.2010.06.003

Spatial logics with connectedness predicates (Journal article)

Kontchakov, R., Pratt-Hartmann, I., Wolter, F., & Zakharyaschev, M. (2010). Spatial logics with connectedness predicates. August, 18, 2010. Retrieved from http://dx.doi.org/10.2168/LMCS-6(3:7)2010

Deciding inseparability and conservative extensions in the description logic <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" display="inline" overflow="scroll"><mml:mi mathvariant="script">E</mml:mi><mml:mi mathvariant="script">L</mml:mi></mml:math> (Journal article)

Lutz, C., & Wolter, F. (2010). Deciding inseparability and conservative extensions in the description logic <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" display="inline" overflow="scroll"><mml:mi mathvariant="script">E</mml:mi><mml:mi mathvariant="script">L</mml:mi></mml:math>. Journal of Symbolic Computation, 45(2), 194-228. doi:10.1016/j.jsc.2008.10.007

DOI: 10.1016/j.jsc.2008.10.007

A modal logic framework for reasoning about comparative distances and topology (Journal article)

Sheremet, M., Wolter, F., & Zakharyaschev, M. (2010). A modal logic framework for reasoning about comparative distances and topology. Annals of Pure and Applied Logic, 161(4), 534-559. doi:10.1016/j.apal.2009.04.001

DOI: 10.1016/j.apal.2009.04.001

Decomposing description logic ontologies (Conference Paper)

Konev, B., Lutz, C., Ponomaryov, D., & Wolter, F. (2010). Decomposing description logic ontologies. In Proceedings of the International Conference on Knowledge Representation and Reasoning (pp. 236-246).

Enriching ℰℒ-concepts with greatest fixpoints (Conference Paper)

Lutz, C., Piro, R., & Wolter, F. (2010). Enriching ℰℒ-concepts with greatest fixpoints. In Frontiers in Artificial Intelligence and Applications Vol. 215 (pp. 41-46). doi:10.3233/978-1-60750-606-5-41

DOI: 10.3233/978-1-60750-606-5-41

Query and Predicate Emptiness in Description Logics (Conference Paper)

Baader, F., Bienvenu, M., Lutz, C., & Wolter, F. (2010). Query and Predicate Emptiness in Description Logics. In Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010 (pp. don't know). Toronto: AAAI Press.

Query and predicate emptiness in description logics (Conference Paper)

Baader, F., Bienvenu, M., Lutz, C., & Wolter, F. (2010). Query and predicate emptiness in description logics. In Proceedings of the International Conference on Knowledge Representation and Reasoning (pp. 192-202).

The combined approach to query answering in DL-Lite (Conference Paper)

Kontchakov, R., Lutz, C., Toman, D., Wolter, F., & Zakharyaschev, M. (2010). The combined approach to query answering in DL-Lite. In Proceedings of the International Conference on Knowledge Representation and Reasoning (pp. 247-257).

2009

CEX and MEX: Logical diff and semantic module extraction in a fragment of OWL (Conference Paper)

Konev, B., Lutz, C., Walther, D., & Wolter, F. (2009). CEX and MEX: Logical diff and semantic module extraction in a fragment of OWL. In CEUR Workshop Proceedings Vol. 496.

Combined FO rewritability for conjunctive query answering in DL-Lite (Conference Paper)

Kontchakov, R., Lutz, C., Toman, D., Wolter, F., & Zakharyaschev, M. (2009). Combined FO rewritability for conjunctive query answering in DL-Lite. In CEUR Workshop Proceedings Vol. 477.

Conjunctive query answering in ℰℒ using a database system (Conference Paper)

Lutz, C., Toman, D., & Wolter, F. (2009). Conjunctive query answering in ℰℒ using a database system. In CEUR Workshop Proceedings Vol. 432.

Forgetting and uniform interpolation in extensions of the description logic EL (Conference Paper)

Konev, B., Walther, D., & Wolter, F. (2009). Forgetting and uniform interpolation in extensions of the description logic EL. In CEUR Workshop Proceedings Vol. 477.

Query answering over DL ABoxes: How to pick the relevant symbols (Conference Paper)

Baader, F., Bienvenu, M., Lutz, C., & Wolter, F. (2009). Query answering over DL ABoxes: How to pick the relevant symbols. In CEUR Workshop Proceedings Vol. 477.

Formal Properties of Modularisation (Chapter)

Konev, B., Lutz, C., Walther, D., & Wolter, F. (2009). Formal Properties of Modularisation. In Lecture Notes in Computer Science (pp. 25-66). Springer Berlin Heidelberg. doi:10.1007/978-3-642-01907-4_3

DOI: 10.1007/978-3-642-01907-4_3

Mathematical Logic for Life Science Ontologies (Conference Paper)

Lutz, C., & Wolter, F. (2009). Mathematical Logic for Life Science Ontologies. In Unknown Conference (pp. 37-47). Springer Berlin Heidelberg. doi:10.1007/978-3-642-02261-6_4

DOI: 10.1007/978-3-642-02261-6_4

Conjunctive query answering in the description logic EL using a relational database system (Conference Paper)

Lutz, C., Toman, D., & Wolter, F. (2009). Conjunctive query answering in the description logic EL using a relational database system. In IJCAI International Joint Conference on Artificial Intelligence (pp. 2070-2075).

Forgetting and Uniform Interpolation in Extensions of the Description Logic EL (Conference Paper)

Konev, B., Walther, D., & Wolter, F. (2009). Forgetting and Uniform Interpolation in Extensions of the Description Logic EL. In B. Grau Cuenca, I. Horrocks, B. Motik, & U. Satter (Eds.), International Workshop on Description Logics (DL 2009), (pp. na). Oxford: CEUR-WS. Retrieved from http://ceur-ws.org/Vol-477/paper_28.pdf

Forgetting and uniform interpolation in large-scale description logic terminologies (Conference Paper)

Konev, B., Walther, D., & Wolter, F. (2009). Forgetting and uniform interpolation in large-scale description logic terminologies. In IJCAI International Joint Conference on Artificial Intelligence (pp. 830-835).

Forgetting and uniform interpolation in large-scale description logic terminologies (Conference Paper)

Konev, B., Walther, D., & Wolter, F. (2009). Forgetting and uniform interpolation in large-scale description logic terminologies. In C. Boutilier (Ed.), Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09) (pp. 830-835). Los Angeles: IJCAI-INT JOINT CONF ARTIF INTELL. Retrieved from http://ijcai.org/papers09/Papers/IJCAI09-142.pdf

Formal Properties of Modularisation (Chapter)

Konev, B., Lutz, C., Walther, D., & Wolter, F. (2009). Formal Properties of Modularisation. In H. Stuckenschmidt, C. Parent, & S. Spaccapietra (Eds.), Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization (pp. 25-66). Heidelberg: Springer.

Minimal module extraction from DL-lite ontologies using QBF solvers (Conference Paper)

Kontchakov, R., Pulina, L., Sattler, U., Schneider, T., Selmer, P., Wolter, F., & Zakharyaschev, M. (2009). Minimal module extraction from DL-lite ontologies using QBF solvers. In IJCAI International Joint Conference on Artificial Intelligence (pp. 836-841).

2008

On the Computational Complexity of Spatial Logics with Connectedness Constraints (Conference Paper)

Kontchakov, R., Pratt-Hartmann, I., Wolter, F., & Zakharyaschev, M. (2008). On the Computational Complexity of Spatial Logics with Connectedness Constraints. In Unknown Conference (pp. 574-589). Springer Berlin Heidelberg. doi:10.1007/978-3-540-89439-1_40

DOI: 10.1007/978-3-540-89439-1_40

Checking DL-Lite modularity with QBF solvers (Conference Paper)

Kontchakov, R., Ryzhikov, V., Wolter, F., & Zakharyaschev, M. (2008). Checking DL-Lite modularity with QBF solvers. In CEUR Workshop Proceedings Vol. 353.

Logical difference and module extraction with CEX and MEX (Conference Paper)

Konev, B., Lutz, C., Walther, D., & Wolter, F. (2008). Logical difference and module extraction with CEX and MEX. In CEUR Workshop Proceedings Vol. 353.

Topology, connectedness, and modal logic (Conference Paper)

Kontchakov, R., Pratt-Hartmann, I., Wolter, F., & Zakharyaschev, M. (2008). Topology, connectedness, and modal logic. In Advances in Modal Logic 2006 Vol. 7 (pp. 151-176).

The Logical Difference Problem for Description Logic Terminologies (Conference Paper)

Konev, B., Walther, D., & Wolter, F. (n.d.). The Logical Difference Problem for Description Logic Terminologies. In Unknown Conference (pp. 259-274). Springer Berlin Heidelberg. doi:10.1007/978-3-540-71070-7_21

DOI: 10.1007/978-3-540-71070-7_21

Temporal Description Logics: A Survey (Conference Paper)

Lutz, C., Wolter, F., & Zakharyaschev, M. (2008). Temporal Description Logics: A Survey. In 2008 15th International Symposium on Temporal Representation and Reasoning. IEEE. doi:10.1109/time.2008.14

DOI: 10.1109/time.2008.14

Semantic modularity and module extraction in description logics (Conference Paper)

Konev, B., Lutz, C., Walther, D., & Wolter, F. (2008). Semantic modularity and module extraction in description logics. In Frontiers in Artificial Intelligence and Applications Vol. 178 (pp. 55-59). doi:10.3233/978-1-58603-891-5-55

DOI: 10.3233/978-1-58603-891-5-55

Can you tell the difference between DL-Lite ontologies? (Conference Paper)

Kontchakov, R., Wolter, F., & Zakharyaschev, M. (2008). Can you tell the difference between DL-Lite ontologies?. In Proceedings of the International Conference on Knowledge Representation and Reasoning (pp. 285-295).

2007

7 Modal decision problems (Journal article)

Wolter, F., & Zakharyaschev, M. (2007). 7 Modal decision problems. Unknown Journal, 427-489. doi:10.1016/s1570-2464(07)80010-3

DOI: 10.1016/s1570-2464(07)80010-3

Conservative extensions in expressive description logics (Conference Paper)

Lutz, C., Walther, D., & Wolter, F. (2007). Conservative extensions in expressive description logics. In IJCAI International Joint Conference on Artificial Intelligence (pp. 453-458).

Modularity in DL-Lite (Conference Paper)

Kontchakov, R., Wolter, F., & Zakharyaschev, M. (2007). Modularity in DL-Lite. In CEUR Workshop Proceedings Vol. 250 (pp. 76-87).

Preface (Book)

Blackburn, P., van Benthem, J., & Wolter, F. (2007). Preface. Elsevier. doi:10.1016/s1570-2464(07)80003-6

DOI: 10.1016/s1570-2464(07)80003-6

Temporalising Tractable Description Logics (Conference Paper)

Artale, A., Kontchakov, R., Lutz, C., Wolter, F., & Zakharyaschev, M. (2007). Temporalising Tractable Description Logics. In 14th International Symposium on Temporal Representation and Reasoning (TIME'07). IEEE. doi:10.1109/time.2007.62

DOI: 10.1109/time.2007.62

A Logic for Concepts and Similarity (Journal article)

Sheremet, M., Tishkovsky, D., Wolter, F., & Zakharyaschev, M. (n.d.). A Logic for Concepts and Similarity. Journal of Logic and Computation, 17(3), 415-452. doi:10.1093/logcom/exm007

DOI: 10.1093/logcom/exm007

A logic of concepts and Similarity (Journal article)

Sheremet, M., Tishkowsky, D., Wolter, F., & Zakharyaschev, M. (2007). A logic of concepts and Similarity. Journal of Logic and Computation.

Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$ (Conference Paper)

Lutz, C., & Wolterinst, F. (n.d.). Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$. In Unknown Conference (pp. 84-99). Springer Berlin Heidelberg. doi:10.1007/978-3-540-73595-3_7

DOI: 10.1007/978-3-540-73595-3_7

Conservative extensions in expressive description logics (Conference Paper)

Lutz, C., Walther, D., & Wolter, F. (2007). Conservative extensions in expressive description logics. In International Joint Conference on Artificial Intelligence (IJCAI) (pp. 6). Heyderabad: Morgan Kaufmann.

Conservative extensions in the lightweight description logic EL (Conference Paper)

Lutz, C., & Wolter, F. (2007). Conservative extensions in the lightweight description logic EL. In Conference on Automated Deduction (CADE) (pp. 15). Bremen: Springer.

Foreword (Conference Paper)

Bouquet, P., Euzenat, J., Ghidini, C., McGuinness, D. L., De Paiva, V., Serafini, L., . . . Wolter, F. (2007). Foreword. In CEUR Workshop Proceedings Vol. 298.

Handbook of Modal Logic (Book)

Blackburn, P., van Benthem, J., & Wolter, F. (Eds.) (2007). Handbook of Modal Logic. Amsterdam: Elsevier Science.

Proceedings of 6th International Symposium on Frontiers of Combining Systems (FroCoS 2007) (Conference Paper)

Konev, B., & Wolter, F. (Eds.) (2007). Proceedings of 6th International Symposium on Frontiers of Combining Systems (FroCoS 2007). In 6th International Symposium on Frontiers of Combining Systems (FroCoS 2007) (pp. X282). Berlin Heidelberg: Springer.

Quantitative temporal logics over the reals: PSpace and below (Journal article)

Lutz, C., Walther, D., & Wolter, F. (2007). Quantitative temporal logics over the reals: PSpace and below. Information and Computation, 205(1), 99-123. doi:10.1016/j.ic.2006.08.006

DOI: 10.1016/j.ic.2006.08.006

Spatial Logic + Temporal logic = ? (Chapter)

Kontchakov, R., Kurucz, A., Wolter, F., & Zakharyaschev, M. (2007). Spatial Logic + Temporal logic = ?. In M. Aiello, I. Pratt-Hartmann, & J. van Benthem (Eds.), Handbook of Spatial Logics (pp. 90). Doordrecht: Springer.

Temporalising tractable description logics (Conference Paper)

Artale, A., Kontchakov, R., Lutz, C., Wolter, F., & Zakharyaschev, M. (2007). Temporalising tractable description logics. In Internation Symposium on Temporal Reasoning and Representation (pp. 10). Alicante, Spain: IEEE Computer Society Press.

2006

Conservative extensions in modal logic (Conference Paper)

Ghilardi, S., Lutz, C., Wolter, F., & Zakharyaschev, M. (2006). Conservative extensions in modal logic. In Advances in Modal Logic 2006 Vol. 6 (pp. 187-207).

DL actions with GCIs: A pragmatic approach (Conference Paper)

Liu, H., Lutz, C., Miličić, M., & Wolter, F. (2006). DL actions with GCIs: A pragmatic approach. In CEUR Workshop Proceedings Vol. 189 (pp. 27-38).

Dynamic topological logics over spaces with continuous functions (Conference Paper)

Konev, B., Wolter, F., Kontchakov, R., & Zakharyaschev, M. (2006). Dynamic topological logics over spaces with continuous functions. In Advances in Modal Logic 2006 Vol. 6 (pp. 299-318).

From topology to metric: Modal logic and quantification in metric spaces (Conference Paper)

Sheremet, M., Zakharyaschev, M., Tishkovsky, D., & Wolter, F. (2006). From topology to metric: Modal logic and quantification in metric spaces. In Advances in Modal Logic 2006 Vol. 6 (pp. 429-448).

On Dynamic Topological and Metric Logics (Journal article)

Konev, B., Kontchakov, R., Wolter, F., & Zakharyaschev, M. (2006). On Dynamic Topological and Metric Logics. Studia Logica, 84(1), 129-160. doi:10.1007/s11225-006-9005-x

DOI: 10.1007/s11225-006-9005-x

Non-primitive recursive decidability of products of modal logics with expanding domains (Journal article)

Gabelaia, D., Kurucz, A., Wolter, F., & Zakharyaschev, M. (2006). Non-primitive recursive decidability of products of modal logics with expanding domains. Annals of Pure and Applied Logic, 142(1-3), 245-268. doi:10.1016/j.apal.2006.01.001

DOI: 10.1016/j.apal.2006.01.001

Undecidability of the unification and admissibility problems for modal and description logics (Journal article)

Wolter, F., & Zakharyaschev, M. (2006). Undecidability of the unification and admissibility problems for modal and description logics. Retrieved from http://arxiv.org/abs/cs/0609052v1

Willem Blok and Modal Logic (Journal article)

Rautenberg, W., Zakharyaschev, M., & Wolter, F. (2006). Willem Blok and Modal Logic. Studia Logica, 83(1-3), 15-30. doi:10.1007/s11225-006-8296-2

DOI: 10.1007/s11225-006-8296-2

Modal Logics of Topological Relations (Journal article)

Lutz, C., & Wolter, F. (2006). Modal Logics of Topological Relations. June, 22, 2006. Retrieved from http://dx.doi.org/10.2168/LMCS-2(2:5)2006

ATL Satisfiability is Indeed EXPTIME-complete (Journal article)

Walther, D., Lutz, C., Wolter, F., & Wooldridge, M. (n.d.). ATL Satisfiability is Indeed EXPTIME-complete. Journal of Logic and Computation, 16(6), 765-787. doi:10.1093/logcom/exl009

DOI: 10.1093/logcom/exl009

Automated reasoning about metric and topology (Conference Paper)

Hustadt, U., Tishkovsky, D., Wolter, F., & Zakharyaschev, M. (2006). Automated reasoning about metric and topology. In LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS Vol. 4160 (pp. 490-493). doi:10.1007/11853886_44

DOI: 10.1007/11853886_44

Description logics with circumscription (Conference Paper)

Bonatti, P., Lutz, C., & Wolter, F. (2006). Description logics with circumscription. In Proceedings of the International Conference on Knowledge Representation and Reasoning (pp. 400-410).

Did I damage my ontology? A case for conservative extensions in description logic (Conference Paper)

Ghilardi, S., Lutz, C., & Wolter, F. (2006). Did I damage my ontology? A case for conservative extensions in description logic. In Proceedings of the International Conference on Knowledge Representation and Reasoning (pp. 187-197).

Dynamic topological logics over spaces with continuous functions (Conference Paper)

Konev, B., Kontchakov, R., Wolter, F., & Zakharyaschev, M. (2006). Dynamic topological logics over spaces with continuous functions. In Advances in Modal Logic Conference (AiML'06) (pp. 299-318). Noosa: College PublicationsCollege Publications www.dcs.kcl.ac.uk/kcl-publications/.

From topology to metric: modal logic and quantification in metric spaces (Conference Paper)

Sheremet, M., Tishkovsky, D., Wolter, F., & Zakharyaschev, M. (2006). From topology to metric: modal logic and quantification in metric spaces. In Advances in Modal Logic Conference (AiML'06) (pp. 428-429). London: College PublicationsCollege Publications www.dcs.kcl.ac.uk/kcl-publications/.

Reasoning About Actions Using Description Logics with General TBoxes (Conference Paper)

Liu, H., Lutz, C., Miličić, M., & Wolter, F. (2006). Reasoning About Actions Using Description Logics with General TBoxes. In Unknown Conference (pp. 266-279). Springer Berlin Heidelberg. doi:10.1007/11853886_23

DOI: 10.1007/11853886_23

Updating description logic ABoxes (Conference Paper)

Liu, H., Lutz, C., Miličić, M., & Wolter, F. (2006). Updating description logic ABoxes. In Proceedings of the International Conference on Knowledge Representation and Reasoning (pp. 46-56).

2005

Closer representation and reasoning (Conference Paper)

Sheremet, M., Tishkovsky, D., Wolter, F., & Zakharyaschev, M. (2005). Closer representation and reasoning. In CEUR Workshop Proceedings Vol. 147.

Comparative Similarity, Tree Automata, and Diophantine Equations (Conference Paper)

Sheremet, M., Tishkovsky, D., Wolter, F., & Zakharyaschev, M. (2005). Comparative Similarity, Tree Automata, and Diophantine Equations. In Unknown Conference (pp. 651-665). Springer Berlin Heidelberg. doi:10.1007/11591191_45

DOI: 10.1007/11591191_45

Integrating description logics and action formalisms: First results (Conference Paper)

Baader, F., Lutz, C., Miličić, M., Sattler, U., & Wolter, F. (2005). Integrating description logics and action formalisms: First results. In CEUR Workshop Proceedings Vol. 147.

Integrating description logics and action formalisms: First results (Conference Paper)

Baader, F., Lutz, C., Miličić, M., Sattler, U., & Wolter, F. (2005). Integrating description logics and action formalisms: First results. In Proceedings of the National Conference on Artificial Intelligence Vol. 2 (pp. 572-577).

Quantitative Temporal Logics: PSPACE and Below (Conference Paper)

Lutz, C., Walther, D., & Wolter, F. (n.d.). Quantitative Temporal Logics: PSPACE and Below. In 12th International Symposium on Temporal Representation and Reasoning (TIME'05). IEEE. doi:10.1109/time.2005.31

DOI: 10.1109/time.2005.31

All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete (Journal article)

Litak, T., & Wolter, F. (2005). All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete. Studia Logica, 81(2), 153-165. doi:10.1007/s11225-005-3702-8

DOI: 10.1007/s11225-005-3702-8

A logic for metric and topology (Journal article)

Wolter, F., & Zakharyaschev, M. (2005). A logic for metric and topology. Journal of Symbolic Logic, 70(3), 795-828. doi:10.2178/jsl/1122038915

DOI: 10.2178/jsl/1122038915

Products of ‘transitive” modal logics (Journal article)

Gabelaia, D., Kurucz, A., Wolter, F., & Zakharyaschev, M. (2005). Products of ‘transitive” modal logics. Journal of Symbolic Logic, 70(3), 993-1021. doi:10.2178/jsl/1122038925

DOI: 10.2178/jsl/1122038925

Proceedings of the 2005 International Workshop on Description Logics (DL2005) (Conference Paper)

Horrocks, I., Sattler, U., & Wolter, F. (Eds.) (2005). Proceedings of the 2005 International Workshop on Description Logics (DL2005). In 2005 International Workshop on Description Logics (pp. 300). Edinburgh: CEUR Workshop Proceedings.

Temporal Logics over Transitive States (Conference Paper)

Konev, B., Wolter, F., & Zakharyaschev, M. (2005). Temporal Logics over Transitive States. In Unknown Conference (pp. 182-203). Springer Berlin Heidelberg. doi:10.1007/11532231_14

DOI: 10.1007/11532231_14

2004

-connections of abstract description systems (Journal article)

Kutz, O., Lutz, C., Wolter, F., & Zakharyaschev, M. (2004). -connections of abstract description systems. Artificial Intelligence, 156(1), 1-73. doi:10.1016/j.artint.2004.02.002

DOI: 10.1016/j.artint.2004.02.002

On Non-local Propositional and Weak Monodic Quantified CTL* (Journal article)

Bauer, S. (2004). On Non-local Propositional and Weak Monodic Quantified CTL*. Journal of Logic and Computation, 14(1), 3-22. doi:10.1093/logcom/14.1.3

DOI: 10.1093/logcom/14.1.3

Temporalizing tableaux (Journal article)

Kontchakov, R., Lutz, C., Wolter, F., & Zakharyaschev, M. (2004). Temporalizing tableaux. Studia Logica, 76, 91-134.

2003

Reasoning about distances (Conference Paper)

Wolter, F., & Zakharyaschev, M. (2003). Reasoning about distances. In IJCAI International Joint Conference on Artificial Intelligence (pp. 1275-1280).

From Tableaux to Automata for Description Logics (Conference Paper)

Baader, F., Hladik, J., Lutz, C., & Wolter, F. (2003). From Tableaux to Automata for Description Logics. In Fundamenta Informaticae Vol. 57 (pp. 247-279).

Logics of metric spaces (Journal article)

Kutz, O., Wolter, F., Sturm, H., Suzuki, N. -Y., & Zakharyaschev, M. (2003). Logics of metric spaces. ACM Transactions on Computational Logic, 4(2), 260-294. doi:10.1145/635499.635504

DOI: 10.1145/635499.635504

-connections of description logics (Conference Paper)

Kutz, O., Lutz, C., Wolter, F., & Zakharyaschev, M. (2003). -connections of description logics. In CEUR Workshop Proceedings Vol. 81.

A Tableau Algorithm for Reasoning about Concepts and Similarity (Conference Paper)

Lutz, C., Wolter, F., & Zakharyaschev, M. (2003). A Tableau Algorithm for Reasoning about Concepts and Similarity. In Unknown Conference (pp. 134-149). Springer Berlin Heidelberg. doi:10.1007/978-3-540-45206-5_12

DOI: 10.1007/978-3-540-45206-5_12

Advances in Modal logic 4 (Book)

Balbiani, P., Suzuki, N. Y., Wolter, F., & Zakharyaschev, M. (2003). Advances in Modal logic 4. London: King's College Publications.

Extensions to Description Logics (Chapter)

Baader, F., Kuesters, R., & Wolter, F. (2003). Extensions to Description Logics. In F. Baader, D. McGuinness, D. Nardi, & P. Patel-Schneider (Eds.), The Description Logic Handbook (pp. 219-261). Cambridge: Cambridge University Press.

From Tableaux to Automata for Description Logics (Journal article)

Baader, F., Hladik, J., Lutz, C., & Wolter, F. (2003). From Tableaux to Automata for Description Logics. Unknown Journal, 1-32. doi:10.1007/978-3-540-39813-4_1

DOI: 10.1007/978-3-540-39813-4_1

Many-Dimensional Modal Logics: Theory and Applications (Book)

Gabbay, D., Kurucz, A., Wolter, F., & Zakharyaschev, M. (2003). Many-Dimensional Modal Logics: Theory and Applications. Amsterdam: Elsevier.

Qualitative spatio-temporal representation and reasoning: a computational perspective (Chapter)

Wolter, F., & Zakharyaschev, M. (2003). Qualitative spatio-temporal representation and reasoning: a computational perspective. In G. Lakemeyer, & B. Nebel (Eds.), Exploring Artificial Intelligence in the New Millenium (pp. 175-216). Boston: Morgan Kaufmann.

Reasoning about concepts and similarity (Conference Paper)

Lutz, C., Wolter, F., & Zakharyaschev, M. (2003). Reasoning about concepts and similarity. In CEUR Workshop Proceedings Vol. 81.

2002

Axiomatizing the monodic fragment of first-order temporal logic (Journal article)

Wolter, F., & Zakharyaschev, M. (2002). Axiomatizing the monodic fragment of first-order temporal logic. Annals of Pure and Applied Logic, 118(1-2), 133-145. doi:10.1016/s0168-0072(01)00124-5

DOI: 10.1016/s0168-0072(01)00124-5

(Journal article)

Bennett, B., Cohn, A. G., Wolter, F., & Zakharyaschev, M. (2002). Unknown Title. Applied Intelligence, 17(3), 239-251. doi:10.1023/a:1020083231504

DOI: 10.1023/a:1020083231504

A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case (Journal article)

Sturm, H. (2002). A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case. Journal of Logic and Computation, 12(5), 809-838. doi:10.1093/logcom/12.5.809

DOI: 10.1093/logcom/12.5.809

A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries (Conference Paper)

Artale, A., Franconi, E., Wolter, F., & Zakharyaschev, M. (2002). A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries. In Unknown Conference (pp. 98-110). Springer Berlin Heidelberg. doi:10.1007/3-540-45757-7_9

DOI: 10.1007/3-540-45757-7_9

A temporal description logic for reasoning over conceptual schemas and queries (Conference Paper)

Artale, A., Franconi, E., Wolter, F., & Zakharyaschev, M. (2002). A temporal description logic for reasoning over conceptual schemas and queries. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 2424 (pp. 98-110).

Advances in Modal Logic 3 (Book)

Wolter, F., Wansing, H., de Rijke, M., & Zakharyaschev, M. (2002). Advances in Modal Logic 3. Amsterdam: World Scientific.

Axiomatizing Distance Logics (Journal article)

Kutz, O., Sturm, H., Suzuki, N. -Y., Wolter, F., & Zakharyaschev, M. (2002). Axiomatizing Distance Logics. Journal of Applied Non-Classical Logics, 12(3-4), 425-439. doi:10.3166/jancl.12.425-439

DOI: 10.3166/jancl.12.425-439

Common knowledge and quantification (Journal article)

Sturm, H., Wolter, F., & Zakharyaschev, M. (2002). Common knowledge and quantification. Economic Theory, 19(1), 157-186. doi:10.1007/s001990100201

DOI: 10.1007/s001990100201

Decidable and undecidable fragments of first-order branching time temporal logics (Conference Paper)

Hodkinson, I., Wolter, F., & Zakharyaschev, M. (2002). Decidable and undecidable fragments of first-order branching time temporal logics. In LICS, IEEE Symposion on Logic in Computer Science (pp. 293-402). Copenhagen: IEEE Computer Society.

(Journal article)

Lutz, C., Sturm, H., Wolter, F., & Zakharyaschev, M. (2002). Unknown Title. Studia Logica, 72(2), 199-232. doi:10.1023/a:1021308527417

DOI: 10.1023/a:1021308527417

2001

Advanced Modal Logic (Chapter)

Zakharyaschev, M., Wolter, F., & Chagrov, A. (2001). Advanced Modal Logic. In D. Gabbay, & F. Guenthner (Eds.), Handbook of Philosphical Logic (Vol. 3, pp. 83-266). Dordrecht: Kluwer Academic Publishers.

Decidability of modal predicate logics (Journal article)

Wolter, F., & Zakharyaschev, M. (2001). Decidability of modal predicate logics. Journal of Symbolic Logic, 66(3), 1415-1438.

Decidable fragments of first-order modal logics (Journal article)

Wolter, F., & Zakharyaschev, M. (2001). Decidable fragments of first-order modal logics. Journal of Symbolic Logic, 66(3), 1415-1438. doi:10.2307/2695115

DOI: 10.2307/2695115

First-order Expressivity for S5-models: Modal vs. Two-sorted Languages (Journal article)

Sturm, H., & Wolter, F. (2001). First-order Expressivity for S5-models: Modal vs. Two-sorted Languages. Journal of Philosophical Logic, 30(6), 571-591. doi:10.1023/a:1013360121031

DOI: 10.1023/a:1013360121031

Modal Logic and the Two-Variable Fragment (Conference Paper)

Lutz, C., Sattler, U., & Wolter, F. (2001). Modal Logic and the Two-Variable Fragment. In Unknown Conference (pp. 247-261). Springer Berlin Heidelberg. doi:10.1007/3-540-44802-0_18

DOI: 10.1007/3-540-44802-0_18

Monodic Fragments of First-Order Temporal Logics: 2000–2001 A.D. (Conference Paper)

Hodkinson, I., Wolter, F., & Zakharyaschev, M. (2001). Monodic Fragments of First-Order Temporal Logics: 2000–2001 A.D.. In Unknown Conference (pp. 1-23). Springer Berlin Heidelberg. doi:10.1007/3-540-45653-8_1

DOI: 10.1007/3-540-45653-8_1

Tableaux for Temporal Description Logic with Constant Domains (Conference Paper)

Lutz, C., Sturm, H., Wolter, F., & Zakharyaschev, M. (2001). Tableaux for Temporal Description Logic with Constant Domains. In Unknown Conference (pp. 121-136). Springer Berlin Heidelberg. doi:10.1007/3-540-45744-5_10

DOI: 10.1007/3-540-45744-5_10

2000

Decidable fragments of first-order temporal logics (Journal article)

Hodkinson, I., Wolter, F., & Zakharyaschev, M. (2000). Decidable fragments of first-order temporal logics. Annals of Pure and Applied Logic, 106(1-3), 85-134. doi:10.1016/s0168-0072(00)00018-x

DOI: 10.1016/s0168-0072(00)00018-x

The product of converse PDL and polymodal K (Journal article)

Wolter, F. (2000). The product of converse PDL and polymodal K. Journal of Logic and Computation, 10(2), 223-251. doi:10.1093/logcom/10.2.223

DOI: 10.1093/logcom/10.2.223

Monodic Epistemic Predicate Logic (Conference Paper)

Sturm, H., Wolter, F., & Zakharyaschev, M. (2000). Monodic Epistemic Predicate Logic. In Unknown Conference (pp. 329-344). Springer Berlin Heidelberg. doi:10.1007/3-540-40006-0_23

DOI: 10.1007/3-540-40006-0_23

Semi-qualitative Reasoning about Distances: A Preliminary Report (Conference Paper)

Sturm, H., Suzuki, N. -Y., Wolter, F., & Zakharyaschev, M. (2000). Semi-qualitative Reasoning about Distances: A Preliminary Report. In Unknown Conference (pp. 37-56). Springer Berlin Heidelberg. doi:10.1007/3-540-40006-0_4

DOI: 10.1007/3-540-40006-0_4

(Journal article)

Wolter, F. (2000). Unknown Title. Studia Logica, 65(2), 249-271. doi:10.1023/a:1005271815356

DOI: 10.1023/a:1005271815356

1999

Multi-dimensional description logics (Conference Paper)

Wolter, F., & Zakharyaschev, M. (1999). Multi-dimensional description logics. In IJCAI International Joint Conference on Artificial Intelligence Vol. 1 (pp. 104-109).

Modal description logics: modalizing roles (Journal article)

Woltert, P., & Zakharyaschev, M. (1999). Modal description logics: modalizing roles. Fundamenta Informaticae, 39(4), 411-438. doi:10.3233/fi-1999-39405

DOI: 10.3233/fi-1999-39405

Normal monomodal logics can simulate all others (Journal article)

Kracht, M., & Wolter, F. (1999). Normal monomodal logics can simulate all others. Journal of Symbolic Logic, 64(1), 99-138. doi:10.2307/2586754

DOI: 10.2307/2586754

1998

All finitely axiomatizable subframe logics containing the provability logic CSM $_{0}$ are decidable (Journal article)

Wolter, F. (1998). All finitely axiomatizable subframe logics containing the provability logic CSM $_{0}$ are decidable. Archive for Mathematical Logic, 37(3), 167-182. doi:10.1007/s001530050090

DOI: 10.1007/s001530050090

On Logics with Coimplication (Journal article)

Wolter, F. (1998). On Logics with Coimplication. Journal of Philosophical Logic, 27(4), 353-387. doi:10.1023/a:1004218110879

DOI: 10.1023/a:1004218110879

(Journal article)

Suzuki, Y., Wolter, F., & Zakharyaschev, M. (1998). Unknown Title. Journal of Logic, Language and Information, 7(3), 317-339. doi:10.1023/a:1008237600846

DOI: 10.1023/a:1008237600846

1997

The structure of lattices of subframe logics (Journal article)

Wolter, F. (1997). The structure of lattices of subframe logics. Annals of Pure and Applied Logic, 86(1), 47-100. doi:10.1016/s0168-0072(96)00049-8

DOI: 10.1016/s0168-0072(96)00049-8

A note on atoms in polymodal algebras (Journal article)

Wolter, F. (1997). A note on atoms in polymodal algebras. Algebra Universalis, 37(3), 334-341. doi:10.1007/s000120050021

DOI: 10.1007/s000120050021

A Note on the Interpolation Property in Tense Logic (Journal article)

Wolter, F. (1997). A Note on the Interpolation Property in Tense Logic. Journal of Philosophical Logic, 26(5), 545-551. doi:10.1023/a:1017956722866

DOI: 10.1023/a:1017956722866

Completeness and decidability of tense logics closely related to logics above K4 (Journal article)

Wolter, F. (1997). Completeness and decidability of tense logics closely related to logics above K4. Journal of Symbolic Logic, 62(1), 131-158. doi:10.2307/2275736

DOI: 10.2307/2275736

The relation between intuitionistic and classical modal logics (Journal article)

Wolter, F., & Zakharyaschev, M. (1997). The relation between intuitionistic and classical modal logics. Algebra and Logic, 36(2), 73-92. doi:10.1007/bf02672476

DOI: 10.1007/bf02672476

(Journal article)

Kracht, M., & Wolter, F. (1997). Unknown Title. Studia Logica, 59(2), 149-177. doi:10.1023/a:1004900300438

DOI: 10.1023/a:1004900300438

(Journal article)

Wolter, F. (1997). Unknown Title. Studia Logica, 58(2), 229-259. doi:10.1023/a:1004916107078

DOI: 10.1023/a:1004916107078

1996

A Counterexample in Tense Logic (Journal article)

Wolter, F. (1996). A Counterexample in Tense Logic. Notre Dame Journal of Formal Logic, 37(2). doi:10.1305/ndjfl/1040046085

DOI: 10.1305/ndjfl/1040046085

Properties of Tense Logics (Journal article)

Wolter, F. (1996). Properties of Tense Logics. Mathematical Logic Quarterly, 42(1), 481-500. doi:10.1002/malq.19960420140

DOI: 10.1002/malq.19960420140

Tense Logic Without Tense Operators (Journal article)

Wolter, F. (1996). Tense Logic Without Tense Operators. Mathematical Logic Quarterly, 42(1), 145-171. doi:10.1002/malq.19960420113

DOI: 10.1002/malq.19960420113

1994

Representations of algebraic lattices (Journal article)

Herrmann, B., & Wolter, F. (1994). Representations of algebraic lattices. Algebra Universalis, 31(4), 612-613. doi:10.1007/bf01236512

DOI: 10.1007/bf01236512

What is the upper part of the lattice of bimodal logics? (Journal article)

Wolter, F. (1994). What is the upper part of the lattice of bimodal logics?. Studia Logica, 53(2), 235-241. doi:10.1007/bf01054711

DOI: 10.1007/bf01054711

Solution to a Problem of Goranko and Passy (Journal article)

WOLTER, F. (1994). Solution to a Problem of Goranko and Passy. Journal of Logic and Computation, 4(1), 21-22. doi:10.1093/logcom/4.1.21

DOI: 10.1093/logcom/4.1.21