default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFrank Wolter
Person information
- affiliation: University of Liverpool, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j70]James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, Frank Wolter:
Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Perspectives Workshop 22282). Dagstuhl Manifestos 10(1): 1-61 (2024)- [c166]Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter:
An Update on Non-Rigid Designators in Modalised Description Logics (Extended Abstract). Description Logics 2024 - [c165]Louwe Kuijer, Tony Tan, Frank Wolter, Michael Zakharyaschev:
Separating Counting from Non-Counting in Fragments of Two-Variable First-Order Logic (Extended Abstract). Description Logics 2024 - [c164]Frank Wolter, Michael Zakharyaschev:
Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations. Description Logics 2024 - [i44]Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
The interpolant existence problem for weak K4 and difference logic. CoRR abs/2403.11255 (2024) - [i43]Frank Wolter, Michael Zakharyaschev:
Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations. CoRR abs/2404.02683 (2024) - [i42]Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Extremal Separation Problems for Temporal Instance Queries. CoRR abs/2405.03511 (2024) - [i41]Alessandro Artale, Roman Kontchakov, Andrea Mazzullo, Frank Wolter:
Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version). CoRR abs/2405.07656 (2024) - 2023
- [j69]Alessandro Artale
, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter:
Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions. ACM Trans. Comput. Log. 24(4): 34:1-34:51 (2023) - [c163]Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries (Extended Abstract). Description Logics 2023 - [c162]Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev:
Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. IJCAI 2023: 3230-3238 - [c161]Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
Definitions and (Uniform) Interpolants in First-Order Modal Logic. KR 2023: 417-428 - [i40]Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
Definitions and (Uniform) Interpolants in First-Order Modal Logic. CoRR abs/2303.04598 (2023) - [i39]Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev:
Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. CoRR abs/2305.01248 (2023) - [i38]Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries. CoRR abs/2306.07662 (2023) - [i37]James P. Delgrande, Birte Glimm, Thomas Andreas Meyer, Miroslaw Truszczynski, Frank Wolter:
Current and Future Challenges in Knowledge Representation and Reasoning. CoRR abs/2308.04161 (2023) - [i36]Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
A non-uniform view of Craig interpolation in modal logics with linear frames. CoRR abs/2312.05929 (2023) - 2022
- [j68]Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter:
Logical separability of labeled data examples under ontologies. Artif. Intell. 313: 103785 (2022) - [j67]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries. J. Artif. Intell. Res. 75: 1223-1291 (2022) - [c160]Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev:
Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract). Description Logics 2022 - [c159]Jean Christoph Jung, Andrea Mazzullo, Frank Wolter:
More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions. Description Logics 2022 - [c158]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract). IJCAI 2022: 5703-5707 - [c157]Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev:
Unique Characterisability and Learnability of Temporal Instance Queries. KR 2022 - [c156]Marie Fortin, Boris Konev, Frank Wolter:
Interpolants and Explicit Definitions in Extensions of the Description Logic EL. KR 2022 - [i35]Marie Fortin, Boris Konev, Frank Wolter:
Interpolants and Explicit Definitions in Extensions of the Description Logic EL. CoRR abs/2202.07186 (2022) - [i34]Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev:
Unique Characterisability and Learnability of Temporal Instance Queries. CoRR abs/2205.01651 (2022) - [i33]James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, Milene Santos Teixeira, Frank Wolter:
Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282). Dagstuhl Reports 12(7): 62-79 (2022) - 2021
- [j66]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
First-order rewritability of ontology-mediated queries in linear temporal logic. Artif. Intell. 299: 103536 (2021) - [c155]Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter:
Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions. AAAI 2021: 6193-6201 - [c154]Marie Fortin, Boris Konev, Frank Wolter:
Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract). Description Logics 2021 - [c153]Anneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter:
How to Approximate Ontology-Mediated Queries (Extended Abstract. Description Logics 2021 - [c152]Frank Wolter:
Living Without Beth and Craig: Explicit Definitions and Interpolants without Beth Definability and Craig Interpolation (Abstract of Invited Talk). SOQE@KR 2021: 14 - [c151]Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter:
On Free Description Logics with Definite Descriptions. KR 2021: 63-73 - [c150]Anneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter:
How to Approximate Ontology-Mediated Queries. KR 2021: 323-333 - [c149]Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter:
Separating Data Examples by Description Logic Concepts with Restricted Signatures. KR 2021: 390-399 - [c148]Jean Christoph Jung, Frank Wolter:
Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments. LICS 2021: 1-14 - [i32]Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter:
On Free Description Logics with Definite Descriptions. CoRR abs/2106.15513 (2021) - [i31]Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter:
Separating Data Examples by Description Logic Concepts with Restricted Signatures. CoRR abs/2107.05285 (2021) - [i30]Anneke Haga, Carsten Lutz, Leif Sabellek, Frank Wolter:
How to Approximate Ontology-Mediated Queries. CoRR abs/2107.05369 (2021) - [i29]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries. CoRR abs/2111.06806 (2021) - 2020
- [j65]André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter:
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. ACM Trans. Comput. Log. 21(3): 20:1-20:47 (2020) - [c147]Jean Christoph Jung, Carsten Lutz, Frank Wolter:
Least General Generalizations in Description Logic: Verification and Existence. AAAI 2020: 2854-2861 - [c146]Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter:
Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract). Description Logics 2020 - [c145]Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter:
On Free Description Logics with Definite Descriptions. Description Logics 2020 - [c144]Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter:
A Journey into Ontology Approximation: From Non-Horn to Horn (Abstract). Description Logics 2020 - [c143]Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter:
Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures (Abstract). Description Logics 2020 - [c142]Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter:
A Journey into Ontology Approximation: From Non-Horn to Horn. IJCAI 2020: 1827-1833 - [c141]Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter:
Logical Separability of Incomplete Data under Ontologies. KR 2020: 517-528 - [c140]Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Boolean Role Inclusions in DL-Lite With and Without Time. KR 2020: 582-591 - [i28]Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter:
A Journey into Ontology Approximation: From Non-Horn to Horn. CoRR abs/2001.07754 (2020) - [i27]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic. CoRR abs/2004.07221 (2020) - [i26]Jean Christoph Jung, Frank Wolter:
Living without Beth and Craig: Explicit Definitions and Interpolants in the Guarded Fragment. CoRR abs/2007.01597 (2020) - [i25]Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter:
Logical Separability of Incomplete Data under Ontologies. CoRR abs/2007.01610 (2020) - [i24]Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter:
Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures. CoRR abs/2007.02669 (2020) - [i23]Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter:
Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals. CoRR abs/2007.02736 (2020) - [i22]Cristina Feier, Carsten Lutz, Frank Wolter:
From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying. CoRR abs/2010.11848 (2020) - [i21]Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter:
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics. CoRR abs/2011.09836 (2020)
2010 – 2019
- 2019
- [j64]Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query inseparability for ALC ontologies. Artif. Intell. 272: 1-51 (2019) - [j63]Stanislav Kikot, Agi Kurucz, Yoshihito Tanaka, Frank Wolter, Michael Zakharyaschev:
Kripke Completeness of strictly positive Modal Logics over Meet-Semilattices with operators. J. Symb. Log. 84(2): 533-588 (2019) - [j62]Carsten Lutz, Inanç Seylan, Frank Wolter:
The Data Complexity of Ontology-Mediated Queries with Closed Predicates. Log. Methods Comput. Sci. 15(3) (2019) - [c139]Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter:
A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction. Description Logic, Theory Combination, and All That 2019: 1-14 - [c138]Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter:
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Abstract). Description Logics 2019 - [c137]Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev:
Model Comparison Games for Horn Description Logics: A Summary. Description Logics 2019 - [c136]Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
A Note on DL-Lite with Boolean Role Inclusions. Description Logics 2019 - [c135]Anneke Bötcher, Carsten Lutz, Frank Wolter:
Ontology Approximation in Horn Description Logics. IJCAI 2019: 1574-1580 - [c134]Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter:
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?. IJCAI 2019: 1682-1688 - [c133]Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev:
Model Comparison Games for Horn Description Logics. LICS 2019: 1-14 - [e12]Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter:
Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 11560, Springer 2019, ISBN 978-3-030-22101-0 [contents] - [i20]Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query Inseparability for ALC Ontologies. CoRR abs/1902.00014 (2019) - [i19]Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev:
Model Comparison Games for Horn Description Logics. CoRR abs/1904.06919 (2019) - 2018
- [c132]Stanislav Kikot, Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
On Strictly Positive Modal Logics with S4.3 Frames. Advances in Modal Logic 2018: 427-446 - [c131]Anneke Bötcher, Carsten Lutz, Frank Wolter:
Complete Approximations of Horn DL Ontologies. Description Logics 2018 - [c130]Cristina Feier, Carsten Lutz, Frank Wolter:
From Conjunctive Queries to SPARQL Queries in Ontology-Mediated Querying. Description Logics 2018 - [c129]Fabio Papacchini, Frank Wolter:
A Van Benthem Theorem for Horn Description and Modal Logic. Description Logics 2018 - [c128]Cristina Feier, Carsten Lutz, Frank Wolter:
From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying. IJCAI 2018: 1810-1816 - [c127]André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter:
Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying. IJCAI 2018: 1861-1867 - [e11]Michael Thielscher, Francesca Toni, Frank Wolter:
Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018. AAAI Press 2018, ISBN 978-1-57735-803-9 [contents] - [i18]André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter:
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. CoRR abs/1804.06894 (2018) - [i17]Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. CoRR abs/1804.07805 (2018) - [i16]Carsten Lutz, Inanç Seylan, Frank Wolter:
The Data Complexity of Ontology-Mediated Queries with Closed Predicates. CoRR abs/1809.00134 (2018) - 2017
- [j61]Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter:
Exact Learning of Lightweight Description Logic Ontologies. J. Mach. Learn. Res. 18: 201:1-201:63 (2017) - [j60]Carsten Lutz, Frank Wolter:
The Data Complexity of Description Logic Ontologies. Log. Methods Comput. Sci. 13(4) (2017) - [c126]André Hernich, Julio Lemos, Frank Wolter:
Query Answering in DL-Lite with Datatypes: A Non-Uniform Approach. AAAI 2017: 1142-1148 - [c125]André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter:
Horn Rewritability vs PTime Query Answering for Description Logic TBoxes. Description Logics 2017 - [c124]Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider, Frank Wolter:
Conservative Extensions in Guarded and Two-Variable Fragments. ICALP 2017: 108:1-108:14 - [c123]André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter:
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment. PODS 2017: 185-199 - [c122]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk). TIME 2017: 1:1-1:37 - [i15]Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider, Frank Wolter:
Conservative Extensions in Guarded and Two-Variable Fragments. CoRR abs/1705.10115 (2017) - [i14]Stanislav Kikot, Ágnes Kurucz, Yoshihito Tanaka, Frank Wolter, Michael Zakharyaschev:
Kripke Completeness of Strictly Positive Modal Logics over Meet-semilattices with Operators. CoRR abs/1708.03403 (2017) - [i13]Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter:
Exact Learning of Lightweight Description Logic Ontologies. CoRR abs/1709.07314 (2017) - 2016
- [j59]Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Games for query inseparability of description logic knowledge bases. Artif. Intell. 234: 78-119 (2016) - [j58]Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter:
Query and Predicate Emptiness in Ontology-Based Data Access. J. Artif. Intell. Res. 56: 1-59 (2016) - [c121]Boris Konev, Ana Ozaki, Frank Wolter:
A Model for Learning Description Logic Ontologies Based on Exact Learning. AAAI 2016: 1008-1015 - [c120]Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter:
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics. Description Logics 2016 - [c119]Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
When is Query Inseparability for ALC Ontologies Decidable? Description Logics 2016 - [c118]André Hernich, Julio Lemos, Frank Wolter:
Constraint Patterns for Tractable Ontology-Mediated Queries with Datatypes. Description Logics 2016 - [c117]Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter:
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics. IJCAI 2016: 965-971 - [c116]Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query-Based Entailment and Inseparability for ALC Ontologies. IJCAI 2016: 1001-1007 - [c115]Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Conservative Rewritability of Description Logic TBoxes. IJCAI 2016: 1153-1159 - [c114]Frank Wolter:
Automata for Ontologies. LATA 2016: 57-60 - [c113]Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. RW 2016: 27-89 - [e10]Chitta Baral, James P. Delgrande, Frank Wolter:
Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016. AAAI Press 2016, ISBN 978-1-57735-755-1 [contents] - [i12]Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query-Based Entailment and Inseparability for ALC Ontologies (Full Version). CoRR abs/1604.04164 (2016) - [i11]Carsten Lutz, Frank Wolter:
The Data Complexity of Description Logic Ontologies. CoRR abs/1611.02453 (2016) - 2015
- [j57]Leszek Gasieniec, Russell Martin, Frank Wolter, Prudence W. H. Wong:
Fundamentals of Computation Theory. Theor. Comput. Sci. 590: 1 (2015) - [c112]Piero A. Bonatti, Marco Faella, Carsten Lutz, Luigi Sauro, Frank Wolter:
Decidability of Circumscribed Description Logics Revisited. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation 2015: 112-124 - [c111]André Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter:
Schema.org as a Description Logic. Description Logics 2015 - [c110]Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Conservative Rewritability of Description Logic TBoxes: First Results. Description Logics 2015 - [c109]Boris Konev, Ana Ozaki, Frank Wolter:
Exact Learning Description Logic Ontologies from Data Retrieval Examples. Description Logics 2015 - [c108]Carsten Lutz, Frank Wolter:
On the Relationship between Consistent Query Answering and Constraint Satisfaction Problems. ICDT 2015: 363-379 - [c107]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
First-Order Rewritability of Temporal Ontology-Mediated Queries. IJCAI 2015: 2706-2712 - [c106]Peter Hansen, Carsten Lutz, Inanç Seylan, Frank Wolter:
Efficient Query Rewriting in the Description Logic EL and Beyond. IJCAI 2015: 3034-3040 - [c105]André Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter:
Schema.org as a Description Logic. IJCAI 2015: 3048-3054 - [c104]Carsten Lutz, Inanç Seylan, Frank Wolter:
Ontology-Mediated Queries with Closed Predicates. IJCAI 2015: 3120-3126 - [c103]Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
When Are Description Logic Knowledge Bases Indistinguishable? IJCAI 2015: 4240-4246 - 2014
- [j56]Meghyn Bienvenu, Balder ten Cate, Carsten Lutz, Frank Wolter:
Ontology-Based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP. ACM Trans. Database Syst. 39(4): 33:1-33:44 (2014) - [c102]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Temporal OBDA with LTL and DL-Lite. Description Logics 2014: 21-32 - [c101]Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query Inseparability by Games. Description Logics 2014: 83-95 - [c100]