2023
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/3597301DOI: 10.1145/3597301
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. International Joint Conferences on Artificial Intelligence Organization. doi:10.24963/ijcai.2023/360DOI: 10.24963/ijcai.2023/360
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
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.103785DOI: 10.1016/j.artint.2022.103785
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/
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/16DOI: 10.24963/kr.2022/16
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 Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization. doi:10.24963/ijcai.2022/794DOI: 10.24963/ijcai.2022/794
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.
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/17DOI: 10.24963/kr.2022/17
2021
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
Haga, A., Lutz, C., Sabellek, L., & Wolter, F. (2021). How to Approximate Ontology-Mediated Queries. Retrieved from http://arxiv.org/abs/2107.05369v2
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
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. International Joint Conferences on Artificial Intelligence Organization. doi:10.24963/kr.2021/7
2020
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/
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/3375628DOI: 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/
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
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
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
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/
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/
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.103536DOI: 10.1016/j.artint.2021.103536
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 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.
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
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
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)2019DOI: 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.8785658DOI: 10.1109/LICS.2019.8785658
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.003DOI: 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_1DOI: 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.
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/233DOI: 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
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.
2018
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.
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
Konev, B., Lutz, C., Ozaki, A., & Wolter, F. (2018). Exact Learning of Lightweight Description Logic Ontologies.. Journal of Machine Learning Research, 18, 201:1.
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
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.3056108DOI: 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.
Bötcher, A., Lutz, C., & Wolter, F. (2018). Complete approximation of horn DL ontologies. In CEUR Workshop Proceedings Vol. 2211.
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/
Feier, C., Lutz, C., & Wolter, F. (2018). From conjunctive queries to SPARQL queries in ontology-mediated querying. In CEUR Workshop Proceedings Vol. 2211.
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/
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
Lutz, C., & Wolter, F. (2017). The Data Complexity of Description Logic Ontologies.. Logical Methods in Computer Science, 13.
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.1DOI: 10.4230/LIPIcs.TIME.2017.1
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.22DOI: 10.1017/jsl.2019.22
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
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
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)2017DOI: 10.23638/LMCS-13(4:7)2017
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.
Konev, B., Lutz, C., Wolter, F., & Zakharyaschev, M. (2016). Conservative Rewritability of Description Logic TBoxes. In IJCAI/AAAI Press (pp. 1153-1159). New York.
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.010DOI: 10.1016/j.artint.2016.01.010
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/
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
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_4DOI: 10.1007/978-3-319-30000-9_4
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.040DOI: 10.1016/j.tcs.2015.05.040
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_8DOI: 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/
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.363DOI: 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/
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
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/2661643DOI: 10.1145/2661643
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
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
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-345DOI: 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_5DOI: 10.1007/978-94-017-8860-1_5
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.004DOI: 10.1016/j.artint.2013.07.004
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
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-0DOI: 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_29DOI: 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-169DOI: 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-170DOI: 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.003DOI: 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-442DOI: 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. (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.7846DOI: 10.1609/aaai.v25i1.7846
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).
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
Lutz, C., Piro, R., & Wolter, F. (2011). Description Logic TBoxes: Model-theoretic Characterizations and Rewritability. Retrieved from http://arxiv.org/abs/1104.2844v2
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.4DOI: 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.003DOI: 10.1016/j.artint.2010.06.003
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.007DOI: 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.001DOI: 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-41DOI: 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_3DOI: 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_4DOI: 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 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
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).
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_40DOI: 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_21DOI: 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.14DOI: 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-55DOI: 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-3DOI: 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).
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.62DOI: 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/exm007DOI: 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_7DOI: 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.006DOI: 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-xDOI: 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.001DOI: 10.1016/j.apal.2006.01.001
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-2DOI: 10.1007/s11225-006-8296-2
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/exl009DOI: 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_44DOI: 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_23DOI: 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_45DOI: 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.31DOI: 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-8DOI: 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/1122038915DOI: 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/1122038925DOI: 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_14DOI: 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.002DOI: 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.3DOI: 10.1093/logcom/14.1.3
Temporalising Tableaux (Journal article)
Kontchakov, R., Lutz, C., Wolter, F., & Zakharyaschev, M. (2004). Temporalising Tableaux. Studia Logica, 76(1), 91-134. doi:10.1023/b:stud.0000027468.28935.6dDOI: 10.1023/b:stud.0000027468.28935.6d
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.635504DOI: 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_12DOI: 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_1DOI: 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-5DOI: 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:1020083231504DOI: 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.809DOI: 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_9DOI: 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-439DOI: 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/s001990100201DOI: 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:1021308527417DOI: 10.1023/a:1021308527417
2001
Advanced Modal Logic (Chapter)
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_2DOI: 10.1007/978-94-017-0454-0_2
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/2695115DOI: 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:1013360121031DOI: 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_18DOI: 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_1DOI: 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_10DOI: 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-xDOI: 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.223DOI: 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_23DOI: 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_4DOI: 10.1007/3-540-40006-0_4
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-39405DOI: 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/2586754DOI: 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/s001530050090DOI: 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:1004218110879DOI: 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:1008237600846DOI: 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-8DOI: 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/s000120050021DOI: 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:1017956722866DOI: 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/2275736DOI: 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/bf02672476DOI: 10.1007/bf02672476
(Journal article)
Kracht, M., & Wolter, F. (1997). Unknown Title. Studia Logica, 59(2), 149-177. doi:10.1023/a:1004900300438DOI: 10.1023/a:1004900300438
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/1040046085DOI: 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.19960420140DOI: 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.19960420113DOI: 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/bf01236512DOI: 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/bf01054711DOI: 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.21DOI: 10.1093/logcom/4.1.21
