Skip to main content

Professor Frank Wolter

Professor
Computer Science
Part of
School of Electrical Engineering, Electronics and Computer Science
Faculty of Science and Engineering

Contact

Wolter@liverpool.ac.uk

https://cgi.csc.liv.ac.uk/~frank/

+44 (0)151 795 4238

Publications

What type of publication do you want to show?

2024

An Update on Non-Rigid Designators in Modalised Description Logics (Extended Abstract)

Artale, A., Kontchakov, R., Mazzullo, A., & Wolter, F. (2024). An Update on Non-Rigid Designators in Modalised Description Logics (Extended Abstract). In CEUR Workshop Proceedings Vol. 3739.

Conference Paper

Extremal Separation Problems for Temporal Instance Queries

Jung, J. C., Ryzhikov, V., Wolter, F., & Zakharyaschev, M. (2024). Extremal Separation Problems for Temporal Instance Queries. In Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence (pp. 3448-3456). International Joint Conferences on Artificial Intelligence Organization. doi:10.24963/ijcai.2024/382

DOI
10.24963/ijcai.2024/382
Conference Paper

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations

Wolter, F., & Zakharyaschev, M. (2024). Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations. In CEUR Workshop Proceedings Vol. 3739.

Conference Paper

Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version).

Preprint

2023

Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions.

Artale, A., Jung, J. C., Mazzullo, A., Ozaki, A., & Wolter, F. (2023). Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions.. ACM Trans. Comput. Log., 24, 34:1.

Journal article

A non-uniform view of Craig interpolation in modal logics with linear frames.

Preprint

Current and Future Challenges in Knowledge Representation and Reasoning.

Preprint

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

Kurucz, A., Wolter, F., & Zakharyaschev, M. (2023). Definitions and (Uniform) Interpolants in First-Order Modal Logic. In Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning (pp. 417-428). International Joint Conferences on Artificial Intelligence Organization. doi:10.24963/kr.2023/41

DOI
10.24963/kr.2023/41
Conference Paper

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

Kurucz, A., Wolter, F., & Zakharyaschev, M. (2023). Definitions and (Uniform) Interpolants in First-Order Modal Logic.. In P. Marquis, T. C. Son, & G. Kern-Isberner (Eds.), KR (pp. 417-428). Retrieved from https://doi.org/10.24963/kr.2023

Conference Paper

Reverse Engineering of Temporal Queries Mediated by LTL Ontologies

Fortin, M., Konev, B., Ryzhikov, V., Savateev, Y., Wolter, F., & Zakharyaschev, M. (2023). Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. In Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (pp. 3230-3238). International Joint Conferences on Artificial Intelligence Organization. doi:10.24963/ijcai.2023/360

DOI
10.24963/ijcai.2023/360
Conference Paper

Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries (Extended Abstract).

Jung, J. C., Ryzhikov, V., Wolter, F., & Zakharyaschev, M. (2023). Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries (Extended Abstract).. In O. Kutz, C. Lutz, & A. Ozaki (Eds.), Description Logics Vol. 3515. CEUR-WS.org. Retrieved from https://ceur-ws.org/Vol-3515

Conference Paper

2022

Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282).

Delgrande, J. P., Glimm, B., Meyer, T., Truszczynski, M., Teixeira, M. S., & Wolter, F. (2022). Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282).. Dagstuhl Reports, 12, 62-79.

Journal article

First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries.

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.. J. Artif. Intell. Res., 75, 1223-1291.

Journal article

Interpolants and Explicit Definitions in Extensions of the Description Logic EL.

Fortin, M., Konev, B., & Wolter, F. (2022). Interpolants and Explicit Definitions in Extensions of the Description Logic EL.. In G. Kern-Isberner, G. Lakemeyer, & T. Meyer (Eds.), KR. Retrieved from https://doi.org/10.24963/kr.2022

Conference Paper

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

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 Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (pp. 5703-5707). International Joint Conferences on Artificial Intelligence Organization. doi:10.24963/ijcai.2022/794

DOI
10.24963/ijcai.2022/794
Conference Paper

Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract).

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 (Extended Abstract).. In O. Arieli, M. Homola, J. C. Jung, & M. -L. Mugnier (Eds.), Description Logics Vol. 3263. CEUR-WS.org. Retrieved from http://ceur-ws.org/Vol-3263

Conference Paper

Unique Characterisability and Learnability of Temporal Instance Queries

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 (pp. 163-173). International Joint Conferences on Artificial Intelligence Organization. doi:10.24963/kr.2022/17

DOI
10.24963/kr.2022/17
Conference Paper

Unique Characterisability and Learnability of Temporal Instance Queries.

Preprint

2021

How to Approximate Ontology-Mediated Queries

Haga, A., Lutz, C., Sabellek, L., & Wolter, F. (2021). How to Approximate Ontology-Mediated Queries. In Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning (pp. 323-333). International Joint Conferences on Artificial Intelligence Organization. doi:10.24963/kr.2021/31

DOI
10.24963/kr.2021/31
Conference Paper

Separating Data Examples by Description Logic Concepts with Restricted Signatures

Jung, J. C., Lutz, C., Pulcini, H., & Wolter, F. (2021). Separating Data Examples by Description Logic Concepts with Restricted Signatures. In Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning (pp. 390-399). International Joint Conferences on Artificial Intelligence Organization. doi:10.24963/kr.2021/37

DOI
10.24963/kr.2021/37
Conference Paper

Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions

Artale, A., Jung, J. C., Mazzullo, A., Ozaki, A., & Wolter, F. (n.d.). Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions. Proceedings of the AAAI Conference on Artificial Intelligence, 35(7), 6193-6201. doi:10.1609/aaai.v35i7.16770

DOI
10.1609/aaai.v35i7.16770
Journal article

How to Approximate Ontology-Mediated Queries (Extended Abstract.

Haga, A., Lutz, C., Sabellek, L., & Wolter, F. (2021). How to Approximate Ontology-Mediated Queries (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

Conference Paper

Living Without Beth and Craig: Explicit Definitions and Interpolants without Beth Definability and Craig Interpolation (Abstract of Invited Talk).

Wolter, F. (2021). Living Without Beth and Craig: Explicit Definitions and Interpolants without Beth Definability and Craig Interpolation (Abstract of Invited Talk).. In R. A. Schmidt, C. Wernhard, & Y. Zhao (Eds.), SOQE@KR Vol. 3009 (pp. 14). CEUR-WS.org. Retrieved from http://ceur-ws.org/Vol-3009

Conference Paper

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

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

Conference Paper

On Free Description Logics with Definite Descriptions.

Artale, A., Mazzullo, A., Ozaki, A., & Wolter, F. (2021). On Free Description Logics with Definite Descriptions. In Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning (pp. 63-73). International Joint Conferences on Artificial Intelligence Organization. doi:10.24963/kr.2021/7

Conference Paper

On Free Description Logics with Definite Descriptions.

Artale, A., Mazzullo, A., Ozaki, A., & Wolter, F. (2021). On Free Description Logics with Definite Descriptions.. In M. Bienvenu, G. Lakemeyer, & E. Erdem (Eds.), KR (pp. 63-73). Retrieved from https://doi.org/10.24963/kr.2021

Conference Paper

2020

Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions

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/

Journal article

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

DOI
10.48550/arxiv.2007.02736
Preprint

Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures

DOI
10.48550/arxiv.2007.02669
Preprint

Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments

DOI
10.48550/arxiv.2007.01597
Preprint

Boolean Role Inclusions in DL-Lite With andWithout Time

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/

Conference Paper

Logical Separability of Incomplete Data under Ontologies

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/

Conference Paper

A Journey into Ontology Approximation: From Non-Horn to Horn

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/

Conference Paper

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

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

Conference Paper

Boolean role inclusions in Dl-Lite with and without time

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

Conference Paper

First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics.

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.

Journal article

From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying.

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

Journal article

Least General Generalizations in Description Logic: Verification and Existence

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/

Conference Paper

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

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

Conference Paper

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

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

Conference Paper

2019

Model comparison games for horn description logics

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
Conference Paper

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

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
Chapter

A note on DL-Lite with Boolean role inclusions

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

Conference Paper

Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

Lutz, C., Sattler, U., Tinelli, C., Turhan, A. -Y., & Wolter, F. (Eds.) (2019). Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday. In Description Logic, Theory Combination, and All That Vol. 11560. Springer.

Conference Paper

Kripke Completeness of strictly positive Modal Logics over Meet-Semilattices with operators.

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.

Journal article

Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?

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/

Conference Paper

Model Comparison Games for Horn Description Logics.

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

Conference Paper

Ontology Approximation in Horn Description Logics

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/

Conference Paper

Query inseparability for ALC ontologies.

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

Journal article

The Data Complexity of Ontology-Mediated Queries with Closed Predicates.

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

Journal article

2018

Exact Learning of Lightweight Description Logic Ontologies

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

Journal article

Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey

DOI
10.48550/arxiv.1804.07805
Preprint

A van benthem theorem for horn description and modal logic

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

Conference Paper

Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying

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/

Conference Paper

On strictly positive modal logics with S4.3 frames

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

Conference Paper

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

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.

Conference Paper

2017

Kripke Completeness of Strictly Positive Modal Logics over Meet-semilattices with Operators

DOI
10.48550/arxiv.1708.03403
Preprint

Conservative Extensions in Guarded and Two-Variable Fragments.

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

Conference Paper

2016

Query and Predicate Emptiness in Ontology-Based Data Access

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/

Journal article

Automata for Ontologies

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/

Conference Paper

Automata for Ontologies

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
Conference Paper

First order-rewritability and containment of conjunctive queries in horn description logics

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

Conference Paper

Is query inseparability for ALC ontologies decidable?

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

Conference Paper

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

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.

Conference Paper

Query-Based Entailment and Inseparability for ALC Ontologies.

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

Conference Paper

When is Query Inseparability for ALC Ontologies Decidable?

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

Conference Paper

2015

Fundamentals of Computation Theory Preface

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
Journal article

Decidability of Circumscribed Description Logics Revisited

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
Conference Paper

Efficient Query Rewriting in the Description Logic EL and Beyond

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/

Conference Paper

First-Order Rewritability of Temporal Ontology-Mediated Queries

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/

Conference Paper

On the relationship between consistent query answering and constraint satisfaction problems

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
Conference Paper

Ontology-Mediated Queries with Closed Predicates

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/

Conference Paper

Schema.org as a Description Logic

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/

Conference Paper

Schema.org as a description logic

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

Conference Paper

When Are Description Logic Knowledge Bases Indistinguishable?

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/

Conference Paper

2014

The Logical Difference for the Lightweight Description Logic EL

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

Journal article

The Complexity of Circumscription in DLs

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

Journal article

Exact Learning of Lightweight Description Logic Ontologies

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/

Conference Paper

Lower and Upper Approximations for Depleting Modules of Description Logic Ontologies

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
Conference Paper

Lower and upper approximations for depleting modules of description logic ontologies

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

Conference Paper

On the Blok-Esakia Theorem

Wolter, F., & Zakharyaschev, M. (2014). On the Blok-Esakia Theorem. In Outstanding Contributions to Logic (pp. 99-118). Springer Netherlands. doi:10.1007/978-94-017-8860-1_5

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

Query Inseparability for Description Logic Knowledge Bases

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/

Conference Paper

Query inseparability by games

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

Conference Paper

Query rewriting under EL-TBoxes: Effcient algorithms

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

Conference Paper

Temporal OBDA with LTL and DL-Lite

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

Conference Paper

2013

Exact learning of TBoxes in EL and DL-Lite

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

Conference Paper

First-order rewritability of atomic queries in Horn description logics

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

Conference Paper

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

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

Conference Paper

Temporal description logic for ontology-based data access

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

Conference Paper

Temporalising OWL 2QL

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

Conference Paper

The Combined Approach to OBDA: Taming Role Hierarchies Using Filters

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/

Conference Paper

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

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

Book

Model-theoretic inseparability and modularity of description logic ontologies

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
Journal article

Exact learning of TBoxes in EL and DL-lite

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

Conference Paper

First-Order Rewritability of Atomic Queries in Horn Description Logics

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

Conference Paper

Fundamentals of Computation Theory

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
Conference Paper

Module extraction for acyclic ontologies

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

Conference Paper

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

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

Conference Paper

Semantic Modularity and Module Extraction in Description Logics

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

Journal article

Temporal Description Logic for Ontology-Based Data Access

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

Conference Paper

2012

Deciding FO-rewritability in EL

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

Conference Paper

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

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

Conference Paper

Preface

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

Conference Paper

Logical Difference Computation with CEX2.5

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
Conference Paper

Book Reviews

Wolter, F. (2012). Book Reviews. Studia Logica, 100(3), 649-651. doi:10.1007/s11225-012-9408-9

DOI
10.1007/s11225-012-9408-9
Journal article

An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL

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

Conference Paper

An automata-theoretic approach to uniform interpolation and approximation in the description logic EL

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

Conference Paper

Description Logic Workshop

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

Conference Paper

Non-Uniform Data Complexity of Query Answering in Description Logics

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

Conference Paper

Non-uniform data complexity of query answering in description logics

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

Conference Paper

Query Containment in Description Logics Reconsidered

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

Conference Paper

Query containment in description logics reconsidered

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

Conference Paper

The combined approach to OBDA: Taming role hierarchies using filters

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

Conference Paper

2011

Description logic TBoxes: Model-theoretic characterizations and rewritability

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
Conference Paper

Foundations for uniform interpolation and forgetting in expressive description logics

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
Conference Paper

Foundations of instance level updates in expressive description logics

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
Journal article

Non-uniform data complexity of query answering in description logics

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

Conference Paper

On P/NP dichotomies for εL subsumption under relational constraints

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

Conference Paper

The combined approach to ontology-based data access

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
Conference Paper

Conjunctive Query Inseparability of OWL 2 QL TBoxes

Konev, B., Kontchakov, R., Ludwig, M., Schneider, T., Wolter, F., & Zakharyaschev, M. (n.d.). Conjunctive Query Inseparability of OWL 2 QL TBoxes. In Proceedings of the AAAI Conference on Artificial Intelligence Vol. 25 (pp. 221-226). Association for the Advancement of Artificial Intelligence (AAAI). doi:10.1609/aaai.v25i1.7846

DOI
10.1609/aaai.v25i1.7846
Conference Paper

Combining Spatial and Temporal Logics: Expressiveness vs. Complexity

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

Journal article

Conjunctive Query Inseparability of OWL2QL TBoxes

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

Conference Paper

Fusions of Description Logics and Abstract Description Systems

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

Journal article

Eighteenth International Symposium on Temporal Representation and Reasoning

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.

Conference Paper

Message from the Chairs

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

DOI
10.1109/time.2011.4
Conference Paper

Module extraction via query inseparability in OWL 2QL

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

Conference Paper

Non-Uniform Data Complexity of Query Answering in Description Logics

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

Conference Paper

On P/NP Dichotomies for EL Subsumption under Relational Constraints

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

Conference Paper

The Combined Approach to Ontology-Based Data Access

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

Conference Paper

Versioning Based on Logical Difference for Lightweight Description Logic Terminologies

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

Journal article

2010

EL-concepts go second-order: Greatest fixpoints and simulation quantifiers

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

Conference Paper

Islands of tractability for relational constraints: Towards dichotomy results for the description logic ℰℒ

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

Conference Paper

Logic-based ontology comparison and module extraction, with an application to DL-Lite

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
Journal article

Spatial logics with connectedness predicates

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

Journal article

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>

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
Journal article

A modal logic framework for reasoning about comparative distances and topology

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
Journal article

Decomposing description logic ontologies

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

Conference Paper

Enriching ℰℒ-concepts with greatest fixpoints

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
Conference Paper

Query and Predicate Emptiness in Description Logics

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.

Conference Paper

Query and predicate emptiness in description logics

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

Conference Paper

The combined approach to query answering in DL-Lite

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

Conference Paper

2009

CEX and MEX: Logical diff and semantic module extraction in a fragment of OWL

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.

Conference Paper

Combined FO rewritability for conjunctive query answering in DL-Lite

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.

Conference Paper

Conjunctive query answering in ℰℒ using a database system

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

Conference Paper

Forgetting and uniform interpolation in extensions of the description logic EL

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

Conference Paper

Query answering over DL ABoxes: How to pick the relevant symbols

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.

Conference Paper

Formal Properties of Modularisation

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
Chapter

Mathematical Logic for Life Science Ontologies

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
Conference Paper

Conjunctive query answering in the description logic EL using a relational database system

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

Conference Paper

Forgetting and Uniform Interpolation in Extensions of the Description Logic EL

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

Conference Paper

Forgetting and uniform interpolation in large-scale description logic terminologies

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

Conference Paper

Forgetting and uniform interpolation in large-scale description logic terminologies

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

Conference Paper

Formal Properties of Modularisation

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.

Chapter

Minimal module extraction from DL-lite ontologies using QBF solvers

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

Conference Paper

2008

On the Computational Complexity of Spatial Logics with Connectedness Constraints

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
Conference Paper

Checking DL-Lite modularity with QBF solvers

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

Conference Paper

Logical difference and module extraction with CEX and MEX

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

Conference Paper

Topology, connectedness, and modal logic

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

Conference Paper

The Logical Difference Problem for Description Logic Terminologies

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
Conference Paper

Temporal Description Logics: A Survey

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

DOI
10.1109/time.2008.14
Conference Paper

Semantic modularity and module extraction in description logics

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
Conference Paper

Can you tell the difference between DL-Lite ontologies?

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

Conference Paper

2007

7 Modal decision problems

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
Journal article

Conservative extensions in expressive description logics

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

Conference Paper

Modularity in DL-Lite

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

Conference Paper

Preface

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
Book

Temporalising Tractable Description Logics

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) (pp. 11-22). IEEE. doi:10.1109/time.2007.62

DOI
10.1109/time.2007.62
Conference Paper

Extensions to Description Logics

Baader, F., Küsters, R., & Wolter, F. (2007). Extensions to Description Logics. In The Description Logic Handbook (pp. 237-282). Cambridge University Press. doi:10.1017/cbo9780511711787.008

DOI
10.1017/cbo9780511711787.008
Chapter

A Logic for Concepts and Similarity

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
Journal article

A logic of concepts and Similarity

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

Journal article

Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$

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
Conference Paper

Conservative extensions in expressive description logics

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.

Conference Paper

Conservative extensions in the lightweight description logic EL

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

Conference Paper

Foreword

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

Conference Paper

Handbook of Modal Logic

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

Book

Preface

Blackburn, P., van Benthem, J., & Wolter, F. (2007). Preface. In Handbook of Modal Logic (Vol. 3, pp. xi-xxiii). Elsevier. doi:10.1016/s1570-2464(07)80003-6

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

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

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.

Conference Paper

Quantitative temporal logics over the reals: PSpace and below

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
Journal article

Spatial Logic + Temporal Logic = ?

Kontchakov, R., Kurucz, A., Wolter, F., & Zakharyaschev, M. (2007). Spatial Logic + Temporal Logic = ?. In Handbook of Spatial Logics (pp. 497-564). Springer Netherlands. doi:10.1007/978-1-4020-5587-4_9

DOI
10.1007/978-1-4020-5587-4_9
Chapter

Spatial Logic + Temporal logic = ?

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.

Chapter

Temporalising tractable description logics

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.

Conference Paper

2006

Conservative extensions in modal logic

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

Conference Paper

DL actions with GCIs: A pragmatic approach

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

Conference Paper

Dynamic topological logics over spaces with continuous functions

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

Conference Paper

From topology to metric: Modal logic and quantification in metric spaces

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

Conference Paper

On Dynamic Topological and Metric Logics

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
Journal article

Non-primitive recursive decidability of products of modal logics with expanding domains

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
Journal article

Undecidability of the unification and admissibility problems for modal and description logics

DOI
10.48550/arxiv.cs/0609052
Preprint

Willem Blok and Modal Logic

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
Journal article

Modal Logics of Topological Relations

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

Journal article

ATL Satisfiability is Indeed EXPTIME-complete

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
Journal article

Automated reasoning about metric and topology

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
Conference Paper

Description logics with circumscription

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

Conference Paper

Did I damage my ontology? A case for conservative extensions in description logic

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

Conference Paper

Dynamic topological logics over spaces with continuous functions

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

Conference Paper

From topology to metric: modal logic and quantification in metric spaces

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

Conference Paper

Reasoning About Actions Using Description Logics with General TBoxes

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
Conference Paper

Updating description logic ABoxes

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

Conference Paper

2005

Closer representation and reasoning

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

Conference Paper

Comparative Similarity, Tree Automata, and Diophantine Equations

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
Conference Paper

Integrating description logics and action formalisms: First results

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

Conference Paper

Integrating description logics and action formalisms: First results

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.

Conference Paper

Quantitative Temporal Logics: PSPACE and Below

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) (pp. 138-146). IEEE. doi:10.1109/time.2005.31

DOI
10.1109/time.2005.31
Conference Paper

All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete

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
Journal article

A logic for metric and topology

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
Journal article

Products of ‘transitive” modal logics

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
Journal article

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

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.

Conference Paper

Temporal Logics over Transitive States

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
Conference Paper

2004

-connections of abstract description systems

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
Journal article

On Non-local Propositional and Weak Monodic Quantified CTL*

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
Journal article

The algebraic face of minimality

Wolter, F. (n.d.). The algebraic face of minimality. Logic and Logical Philosophy, 6(0), 225. doi:10.12775/llp.1998.013

DOI
10.12775/llp.1998.013
Journal article

Temporalising Tableaux

Kontchakov, R., Lutz, C., Wolter, F., & Zakharyaschev, M. (2004). Temporalising Tableaux. Studia Logica, 76(1), 91-134. doi:10.1023/b:stud.0000027468.28935.6d

DOI
10.1023/b:stud.0000027468.28935.6d
Journal article

2003

Reasoning about distances

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

Conference Paper

From Tableaux to Automata for Description Logics

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

Conference Paper

Logics of metric spaces

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
Journal article

-connections of description logics

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

Conference Paper

A Tableau Algorithm for Reasoning about Concepts and Similarity

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
Conference Paper

Advances in Modal logic 4

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

Book

Extensions to Description Logics

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.

Chapter

From Tableaux to Automata for Description Logics

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
Journal article

Many-Dimensional Modal Logics: Theory and Applications

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

Book

Qualitative spatio-temporal representation and reasoning: a computational perspective

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.

Chapter

Reasoning about concepts and similarity

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

Conference Paper

2002

Axiomatizing the monodic fragment of first-order temporal logic

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
Journal article

Kurucz, A., Zakharyaschev, M., & Wolter, F. (2002). Unknown Title. Studia Logica, 72(2), 145-146. doi:10.1023/a:1021324625600

DOI
10.1023/a:1021324625600
Journal article

A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case

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
Journal article

A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries

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
Conference Paper

A temporal description logic for reasoning over conceptual schemas and queries

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

Conference Paper

Advances in Modal Logic 3

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

Book

Axiomatizing Distance Logics

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
Journal article

Common knowledge and quantification

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
Journal article

Decidable and undecidable fragments of first-order branching time temporal logics

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.

Conference Paper

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
Journal article

2001

Advanced Modal Logic

Zakharyaschev, M., Wolter, F., & Chagrov, A. (2001). Advanced Modal Logic. In Handbook of Philosophical Logic (pp. 83-266). Springer Netherlands. doi:10.1007/978-94-017-0454-0_2

DOI
10.1007/978-94-017-0454-0_2
Chapter

Decidability of modal predicate logics

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

Journal article

Decidable fragments of first-order modal logics

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
Journal article

First-order Expressivity for S5-models: Modal vs. Two-sorted Languages

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
Journal article

Modal Logic and the Two-Variable Fragment

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
Conference Paper

Monodic Fragments of First-Order Temporal Logics: 2000–2001 A.D.

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
Conference Paper

Tableaux for Temporal Description Logic with Constant Domains

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
Conference Paper

2000

Decidable fragments of first-order temporal logics

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
Journal article

The product of converse PDL and polymodal K

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
Journal article

Monodic Epistemic Predicate Logic

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
Conference Paper

Semi-qualitative Reasoning about Distances: A Preliminary Report

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
Conference Paper

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

DOI
10.1023/a:1005271815356
Journal article

1999

Multi-dimensional description logics

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

Conference Paper

Intuitionistic Modal Logic

Wolter, F., & Zakharyaschev, M. (1999). Intuitionistic Modal Logic. In Logic and Foundations of Mathematics (pp. 227-238). Springer Netherlands. doi:10.1007/978-94-017-2109-7_17

DOI
10.1007/978-94-017-2109-7_17
Chapter

Modal description logics: modalizing roles

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
Journal article

Normal monomodal logics can simulate all others

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
Journal article

1998

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

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
Journal article

On Logics with Coimplication

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
Journal article

1997

The structure of lattices of subframe logics

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
Journal article

A note on atoms in polymodal algebras

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

DOI
10.1007/s000120050021
Journal article

A Note on the Interpolation Property in Tense Logic

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
Journal article

Completeness and decidability of tense logics closely related to logics above K4

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
Journal article

The relation between intuitionistic and classical modal logics

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

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

DOI
10.1023/a:1004916107078
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

1996

A Counterexample in Tense Logic

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
Journal article

Properties of Tense Logics

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

DOI
10.1002/malq.19960420140
Journal article

Tense Logic Without Tense Operators

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
Journal article

1995

The finite model property in tense logic

Wolter, F. (1995). The finite model property in tense logic. Journal of Symbolic Logic, 60(3), 757-774. doi:10.2307/2275755

DOI
10.2307/2275755
Journal article

1994

Representations of algebraic lattices

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

DOI
10.1007/bf01236512
Journal article

What is the upper part of the lattice of bimodal logics?

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
Journal article

Solution to a Problem of Goranko and Passy

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
Journal article

1991

Properties of independently axiomatizable bimodal logics

Kracht, M., & Wolter, F. (1991). Properties of independently axiomatizable bimodal logics. Journal of Symbolic Logic, 56(4), 1469-1485. doi:10.2307/2275487

DOI
10.2307/2275487
Journal article