Prof Frank Wolter

Professor Computer Science

    Publications

    Selected Publications

    1. Exact Learning of Lightweight Description Logic Ontologies (Journal article - 2018)
    2. Model-theoretic inseparability and modularity of description logic ontologies (Journal article - 2013)
    3. Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP (Conference Paper - 2013)
    4. Semantic Modularity and Module Extraction in Description Logics (Journal article - 2013)
    5. Temporal Description Logic for Ontology-Based Data Access (Conference Paper - 2013)

    2020

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

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

    DOI: 10.1145/3375628

    2019

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

    Lutz, C., Seylan, I., & Wolter, F. (2019). The Data Complexity of Ontology-Mediated Queries with Closed Predicates. Logical Methods in Computer Science. Retrieved from http://arxiv.org/abs/1809.00134v2

    Model comparison games for horn description logics (Conference Paper)

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

    DOI: 10.1109/LICS.2019.8785658

    Query inseparability for ALC ontologies (Journal article)

    Botoeva, E., Lutz, C., Ryzhikov, V., Wolter, F., & Zakharyaschev, M. (2019). Query inseparability for ALC ontologies. ARTIFICIAL INTELLIGENCE, 272, 1-51. doi:10.1016/j.artint.2018.09.003

    DOI: 10.1016/j.artint.2018.09.003

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

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

    DOI: 10.1017/jsl.2019.22

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

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

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

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

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

    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 CEUR Workshop Proceedings Vol. 2373.

    Ontology approximation in horn description logics (Conference Paper)

    Bötcher, A., Lutz, C., & Wolter, F. (2019). Ontology approximation in horn description logics. In IJCAI International Joint Conference on Artificial Intelligence Vol. 2019-August (pp. 1574-1580).

    2018

    Complete approximation of horn DL ontologies (Conference Paper)

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

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

    Feier, C., Lutz, C., & Wolter, F. (2018). From conjunctive queries to instance queries in ontology-mediated querying. In IJCAI International Joint Conference on Artificial Intelligence Vol. 2018-July (pp. 1810-1816).

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

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

    Exact Learning of Lightweight Description Logic Ontologies (Journal article)

    Konev, B., Lutz, C., Ozaki, A., & Wolter, F. (2018). Exact Learning of Lightweight Description Logic Ontologies. Journal of Machine Learning Research, TBC. Retrieved from http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7918

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

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

    Exact learning of lightweight description logic ontologies (Journal article)

    Konev, B., Lutz, C., Ozaki, A., & Wolter, F. (2018). Exact learning of lightweight description logic ontologies. Journal of Machine Learning Research, 18, 1-63.

    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.

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

    Hernich, A., Lutz, C., Papacchini, F., & Wolter, F. (2018). Dichotomies in Ontology-Mediated Querying with the Guarded Fragment.. CoRR, abs/1804.06894.

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

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

    Horn-rewritability vs PTIMe query evaluation in ontology-mediated querying (Conference Paper)

    Hernich, A., Lutz, C., Papacchini, F., & Wolter, F. (2018). Horn-rewritability vs PTIMe query evaluation in ontology-mediated querying. In IJCAI International Joint Conference on Artificial Intelligence Vol. 2018-July (pp. 1861-1867).

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

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

    2017

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

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

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

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

    DOI: 10.4230/LIPIcs.TIME.2017.1

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

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

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

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

    DOI: 10.1145/3034786.3056108

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

    Hernich, A., Lemos, J., Wolter, F., & AAAI. (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 http://gateway.webofknowledge.com/

    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 fuer Informatik. Retrieved from http://www.dagstuhl.de/dagpub/978-3-95977-041-5

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

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

    DOI: 10.1007/978-3-319-49493-7_2

    THE DATA COMPLEXITY OF DESCRIPTION LOGIC ONTOLOGIES (Journal article)

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

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

    2016

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

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

    Conservative Rewritability of Description Logic TBoxes (Conference Paper)

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

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

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

    DOI: 10.1016/j.artint.2016.01.010

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

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

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

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

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

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

    Automata for Ontologies (Conference Paper)

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

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

    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 http://gateway.webofknowledge.com/

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

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

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

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

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

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

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

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

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

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

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

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

    2015

    Fundamentals of Computation Theory Preface (Journal article)

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

    DOI: 10.1016/j.tcs.2015.05.040

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

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

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

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

    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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 9060 (pp. 112-124).

    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 http://gateway.webofknowledge.com/

    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 http://gateway.webofknowledge.com/

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

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

    DOI: 10.4230/LIPIcs.ICDT.2015.363

    Ontology-Mediated Queries with Closed Predicates (Conference Paper)

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

    Schema.org as a Description Logic (Conference Paper)

    Hernich, A., Lutz, C., Ozaki, A., & Wolter, F. (2015). Schema.org as a Description Logic. In PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI) (pp. 3048-3054). Retrieved from http://gateway.webofknowledge.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 http://gateway.webofknowledge.com/

    2014

    Exact learning of lightweight description logic ontologies (Conference Paper)

    Konev, B., Lutz, C., Ozaki, A., & Wolter, F. (2014). Exact learning of lightweight description logic ontologies. In Proc. Int. Workshop Tempor. Represent. Reason. (pp. 298-307).

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

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

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

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

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

    On the Blok-Esakia Theorem (Chapter)

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

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

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

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

    DOI: 10.1145/2661643

    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 inseparability for description logic knowledge bases (Conference Paper)

    Botoeva, E., Kontchakov, R., Ryzhikov, V., Wolter, F., & Zakharyaschev, M. (2014). Query inseparability for description logic knowledge bases. In Proc. Int. Workshop Tempor. Represent. Reason. (pp. 238-247).

    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

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

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

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

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

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

    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)

    Fundamentals of Computation Theory (2013). Springer Berlin Heidelberg. doi:10.1007/978-3-642-40164-0

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

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

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

    DOI: 10.1016/j.artint.2013.07.004

    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

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

    Lutz, C., Seylan, İ., Toman, D., & Wolter, F. (2013). The Combined Approach to OBDA: Taming Role Hierarchies Using Filters. In Unknown Conference (pp. 314-330). Springer Berlin Heidelberg. doi:10.1007/978-3-642-41335-3_20

    DOI: 10.1007/978-3-642-41335-3_20

    2012

    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

    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

    Logical Difference Computation with CEX2.5 (Conference Paper)

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

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

    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

    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

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

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

    DOI: 10.1613/jair.3552

    2011

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

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

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

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

    Conjunctive Query Inseparability of OWL 2 QL TBoxes (Conference Paper)

    Konev, B., Kontchakov, R., Ludwig, M., Schneider, T., Wolter, F., & Zakharyaschev, M. (2011). Conjunctive Query Inseparability of OWL 2 QL TBoxes. In W. Burgard, & D. Roth (Eds.), Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011. Menlo Park, California, USA: AAAI Press. Retrieved from http://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/view/3573

    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.

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

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

    DOI: 10.1016/j.artint.2011.08.003

    Module Extraction via Query Inseparability in OWL 2 QL (Conference Paper)

    Konev, B., Kontchakov, R., Ludwig, M., Schneider, T., Wolter, F., & Zakharyaschev, M. (2011). Module Extraction via Query Inseparability in OWL 2 QL. In R. Rosati, S. Rudolph, & M. Zakharyaschev (Eds.), 24th International Workshop on Description Logics (DL 2011) (pp. 257-267). Aachen: CEUR. Retrieved from http://ceur-ws.org/Vol-745/

    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

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

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

    DOI: 10.1016/j.apal.2009.04.001

    Deciding inseparability and conservative extensions in the description logic EL (Journal article)

    Lutz, C., & Wolter, F. (2010). Deciding inseparability and conservative extensions in the description logic EL. Journal of Symbolic Computation.

    Decomposing Description Logic Ontologies (Conference Paper)

    Konev, B., Lutz, C., Ponomaryov, D., & Wolter, F. (2010). Decomposing Description Logic Ontologies. In Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning. Toronto. Retrieved from http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1356

    Enriching EL-Concepts with Greatest Fixpoints (Conference Paper)

    Lutz, C., Piro, R., & Wolter, F. (2010). Enriching EL-Concepts with Greatest Fixpoints. In ECAI 2010 - 19th European Conference on Artificial Intelligence (pp. 41-46). Lisbon: IOS Press.

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

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

    DOI: 10.1016/j.artint.2010.06.003

    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.

    Spatial logics with connectedness predicates (Journal article)

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

    DOI: 10.2168/LMCS-6(3:7)2010

    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 Twelfth International Conference on the Principles of Knowledge Representation and Reasoning. Toronto. Retrieved from http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1282

    2009

    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 Description Logics (pp. Don't know). Don't know: Don't know.

    Conjunctive Query Answering in the Description Logic EL Using a Relational Database System (Conference Paper)

    Toman, D., Lutz, C., & Wolter, F. (2009). Conjunctive Query Answering in the Description Logic EL Using a Relational Database System. In IJCAI (pp. 2070-2075). Don't know: Don't know. Retrieved from http://ijcai.org/papers09/Papers/IJCAI09-341.pdf

    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 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. Sattler (Eds.), 22nd International Workshop on Description Logics (DL 2009) (pp. N/A). Aachen: CEUR. Retrieved from http://www.ceur-ws.org/Vol-477/

    Forgetting and uniform interpolation and large-scale Description Logic Terminologies (Conference Paper)

    Konev, B., Walther, D., & Wolter, F. (2009). Forgetting and uniform interpolation and large-scale Description Logic Terminologies. In IJCAI (pp. 830-835). Don't know: Don't know.

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

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

    Formal Properties of Modularisation (Chapter)

    Konev, B., Lutz, C., Walther, D., & Wolter, F. (2009). Formal Properties of Modularisation. In 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

    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.

    Mathematical Logic for Life Science Ontologies (Conference Paper)

    Lutz, C., & Wolter, F. (2009). Mathematical Logic for Life Science Ontologies. In Workshop on Logic, Language, and Computation Vol. 5514 (pp. 37-47). 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 (pp. 836-841). Don't know: Don't know.

    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 Description Logics (pp. Don't know). Don't know: Don't know.

    The Complexity of Circumscription in DLs (Journal article)

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

    DOI: 10.1613/jair.2763

    2008

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

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

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

    CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL (Conference Paper)

    Konev, B., Lutz, C., Walther, D., & Wolter, F. (2008). CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL. In C. Clark, & P. F. Patel-Schneider (Eds.), 4th international workshop OWL: EXPERIENCES AND DIRECTIONS, OWLED-08 DC (pp. NA). Washington: www.webont.org. Retrieved from http://www.webont.org/owled/2008dc/papers/owled2008dc_paper_12.pdf

    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 International Conference on Principles of Knowledge Representation and Reasoning (pp. 285-295). Sydney: AAAI Press.

    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 Description Logic Workshop (pp. 12 pages). Dresden: CEUR Workshop Proceedings. Retrieved from http://ceur-ws.org/Vol-353/KontchakovRyzhikovWolterZakharyaschev.pdf

    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 F. Baader, C. Lutz, & B. Motik (Eds.), 21st International Workshop on Description Logics (DL2008) Vol. 353 (pp. NA). Dresden: CEUR Workshop Proceedings. Retrieved from http://sunsite.informatik.rwth-aachen.de/

    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 Logic for Programming, Artificial Intelligence, and Reasoning (LPAR) Vol. 5330 (pp. 574-589). Doha: Springer.

    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 European Conference on Artificial Intelligence (ECAI 2008) Vol. 178 (pp. 55-59). Patras: I O S PRESS. doi:10.3233/978-1-58603-891-5-55

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

    Temporal description logics: a survey (Conference Paper)

    Lutz, C., Wolter, F., & Zakharyaschev, M. (2008). Temporal description logics: a survey. In 15th International Symposium on Temporal Representation and Reasoning (pp. 3-14). Quebec: IEEE Computer Society.

    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 (pp. 151-176). Nancy: College Publications.

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

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

    2007

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

    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.

    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

    ATL Satisfiability is Indeed EXPTIME-complete (Journal article)

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

    DOI: 10.1093/logcom/exl009

    Automated reasoning about metric and topology (Conference Paper)

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

    DOI: 10.1007/11853886_44

    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 Conference (AiML'06) (pp. 187-208). Noosa: College PublicationsCollege Publications www.dcs.kcl.ac.uk/kcl-publications/.

    Description Logics with Circumscription (Conference Paper)

    Bonatti, P., Lutz, C., & Wolter, F. (2006). Description Logics with Circumscription. In Principles of Knowledge Representation and Reasoning (KR) (pp. 400-410). Lake District, UK: AAAI Press.

    Did I damage my ontology: A Case for Conservative Extensions of Description Logics, (Conference Paper)

    Ghilardi, S., Lutz, C., & Wolter, F. (2006). Did I damage my ontology: A Case for Conservative Extensions of Description Logics,. In Principles of Knowledge Representation and Reasoning (KR) (pp. 187-197). Lake District, UK: AAAI Press.

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

    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 G. Governatori, I. M. Hodkinson, & Y. Venema (Eds.), Sixth conference on "Advances in Modal Logic" (pp. 299-318). London: College 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/.

    Modal Logics of Topological Relations (Journal article)

    Lutz, C., & Wolter, F. (n.d.). Modal Logics of Topological Relations. June, 22, 2006. doi:10.2168/LMCS-2(2:5)2006

    DOI: 10.2168/LMCS-2(2:5)2006

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

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

    DOI: 10.1016/j.apal.2006.01.001

    On Dynamic Topological and Metric Logics (Journal article)

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

    DOI: 10.1007/s11225-006-9005-x

    Reasoning about Actions using Description logics with general TBoxes (Conference Paper)

    Liu, H., Lutz, C., Milicic, M., & Wolter, F. (2006). Reasoning about Actions using Description logics with general TBoxes. In JELIA. Berlin: Springer.

    Updating Description Logic ABoxes (Conference Paper)

    Liu, H., Lutz, C., Milicic, M., & Wolter, F. (2006). Updating Description Logic ABoxes. In Principles of Knowledge Representation and Reasoning (KR) (pp. 46-56). Lake District, UK: AAAI Press.

    Willem Blok and Modal Logic (Journal article)

    Rautenberg, W., Wolter, F., & Zakharyaschev, M. (2006). Willem Blok and Modal Logic. Studia Logica.

    2005

    'Closer' representation and reasoning (Conference Paper)

    Sheremet, M., Tishkovsky, D., Wolter, F., & Zakharyaschev, M. (2005). 'Closer' representation and reasoning. In I. Horrocks, U. Sattler, & F. Wolter (Eds.), The 2005 International Workshop on Description Logics (DL'05) (pp. 25-36). Aahen: CEUR-WS.org.

    A Logic for Concepts and Similarity (Journal article)

    Sheremet, M., Tishkovsky, D., Wolter, F., & Zakharyaschev, M. (2005). A Logic for Concepts and Similarity. Journal of Logic and Computation.

    A logic for metric and topology (Journal article)

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

    DOI: 10.2178/jsl/1122038915

    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.

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

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

    DOI: 10.1613/jair.1537

    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 Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference (LPAR) Vol. 3835 (pp. 651-665). Montego Bay: Springer, Lecture Notes in Computer Science.

    Integrating Description Logics and Action Formalisms: First Results (Conference Paper)

    Baader, F., Lutz, C., Milicic, M., Sattler, U., & Wolter, F. (2005). Integrating Description Logics and Action Formalisms: First Results. In M. M. Veloso, & S. Kambhampati (Eds.), The Twentieth National Conference on Artificial Intelligence (AAAI) (pp. 572-577). Pittsburgh: AAAI Press.

    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.

    Products of ‘transitive” modal logics (Journal article)

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

    DOI: 10.2178/jsl/1122038925

    Quantitative temporal logics: PSPACE and below (Conference Paper)

    Lutz, C., Walther, D., & Wolter, F. (2005). Quantitative temporal logics: PSPACE and below. In J. Chomicki, D. Toman, & I. C. S. Press (Eds.), Temporal Representation and Reasoning. TIME 2005. 12th International Symposion (pp. 138-146). Burlington: IEEE Computer Society Press.

    Temporal logics over transitive states (Conference Paper)

    Konev, B., Wolter, F., & Zakharyaschev, M. (2005). Temporal logics over transitive states. In Conference on Automated Deduction CADE-20 Vol. 3632 (pp. 182-203). Berlin: Springer.

    2004

    -connections of abstract description systems (Journal article)

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

    DOI: 10.1016/j.artint.2004.02.002

    On non-local propositional and weak monodic quantified CTL (Journal article)

    Bauer, S., Hodkinson, I., Wolter, F., & Zakharyaschev, M. (2004). On non-local propositional and weak monodic quantified CTL. Journal of Logic and Computation, 14, 3-22.

    Temporalizing tableaux (Journal article)

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

    2003

    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. Fundamenta Informaticae, 57, 1-33.

    Logics of Metric Spaces (Journal article)

    Kutz, O., Sturm, H., Suzuki, N., Wolter, F., & Zakharyaschev, M. (2003). Logics of Metric Spaces. ACM Transactions on Computational Logic, 260-294.

    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 Distances (Conference Paper)

    Wolter, F., & Zakharyaschev, M. (2003). Reasoning about Distances. In IJCAI-03, International Joint Conference on Artificial Intelligence (pp. 1275-1282). Acapulco: Morgan Kaufmann.

    2002

    A tableau calculus for temporal description logics with expanding domain (Journal article)

    Sturm, H., & Wolter, F. (2002). A tableau calculus for temporal description logics with expanding domain. Journal of Logic and Computation, 12(5), 809-838.

    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 the monodic fragment of first-order temporal logic (Journal article)

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

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

    Common knowledge and quantification (Journal article)

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

    DOI: 10.1007/s001990100201

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

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

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

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

    DOI: 10.1613/jair.919

    Multi-dimensional Modal Logic as a Framework for Spatio-Temporal Reasining (Journal article)

    Bennett, B., Cohn, A., Wolter, F., & Zakharyaschev, M. (2002). Multi-dimensional Modal Logic as a Framework for Spatio-Temporal Reasining. Applied Intelligence, 17(3), 239-251.

    2001

    Advanced Modal Logic (Chapter)

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

    Decidability of modal predicate logics (Journal article)

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