default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Frank Wolter
@article{DBLP:journals/dagstuhl-manifestos/DelgrandeG0TW24,
author = {James P. Delgrande and
Birte Glimm and
Thomas Meyer and
Miroslaw Truszczynski and
Frank Wolter},
title = {Current and Future Challenges in Knowledge Representation and Reasoning
(Dagstuhl Perspectives Workshop 22282)},
journal = {Dagstuhl Manifestos},
volume = {10},
number = {1},
pages = {1--61},
year = {2024},
url = {https://doi.org/10.4230/DagMan.10.1.1},
doi = {10.4230/DAGMAN.10.1.1},
timestamp = {Tue, 25 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-manifestos/DelgrandeG0TW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ArtaleKMW24,
author = {Alessandro Artale and
Roman Kontchakov and
Andrea Mazzullo and
Frank Wolter},
editor = {Laura Giordano and
Jean Christoph Jung and
Ana Ozaki},
title = {An Update on Non-Rigid Designators in Modalised Description Logics
(Extended Abstract)},
booktitle = {Proceedings of the 37th International Workshop on Description Logics
{(DL} 2024), Bergen, Norway, June 18-21, 2024},
series = {{CEUR} Workshop Proceedings},
volume = {3739},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3739/abstract-4.pdf},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/dlog/ArtaleKMW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KuijerTWZ24,
author = {Louwe Kuijer and
Tony Tan and
Frank Wolter and
Michael Zakharyaschev},
editor = {Laura Giordano and
Jean Christoph Jung and
Ana Ozaki},
title = {Separating Counting from Non-Counting in Fragments of Two-Variable
First-Order Logic (Extended Abstract)},
booktitle = {Proceedings of the 37th International Workshop on Description Logics
{(DL} 2024), Bergen, Norway, June 18-21, 2024},
series = {{CEUR} Workshop Proceedings},
volume = {3739},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3739/abstract-15.pdf},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlog/KuijerTWZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/WolterZ24,
author = {Frank Wolter and
Michael Zakharyaschev},
editor = {Laura Giordano and
Jean Christoph Jung and
Ana Ozaki},
title = {Interpolant Existence is Undecidable for Two-Variable First-Order
Logic with Two Equivalence Relations},
booktitle = {Proceedings of the 37th International Workshop on Description Logics
{(DL} 2024), Bergen, Norway, June 18-21, 2024},
series = {{CEUR} Workshop Proceedings},
volume = {3739},
publisher = {CEUR-WS.org},
year = {2024},
url = {https://ceur-ws.org/Vol-3739/paper-11.pdf},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlog/WolterZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-11255,
author = {Agi Kurucz and
Frank Wolter and
Michael Zakharyaschev},
title = {The interpolant existence problem for weak {K4} and difference logic},
journal = {CoRR},
volume = {abs/2403.11255},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.11255},
doi = {10.48550/ARXIV.2403.11255},
eprinttype = {arXiv},
eprint = {2403.11255},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-11255.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-02683,
author = {Frank Wolter and
Michael Zakharyaschev},
title = {Interpolant Existence is Undecidable for Two-Variable First-Order
Logic with Two Equivalence Relations},
journal = {CoRR},
volume = {abs/2404.02683},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.02683},
doi = {10.48550/ARXIV.2404.02683},
eprinttype = {arXiv},
eprint = {2404.02683},
timestamp = {Mon, 13 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-02683.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2405-03511,
author = {Jean Christoph Jung and
Vladislav Ryzhikov and
Frank Wolter and
Michael Zakharyaschev},
title = {Extremal Separation Problems for Temporal Instance Queries},
journal = {CoRR},
volume = {abs/2405.03511},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2405.03511},
doi = {10.48550/ARXIV.2405.03511},
eprinttype = {arXiv},
eprint = {2405.03511},
timestamp = {Fri, 07 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2405-03511.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2405-07656,
author = {Alessandro Artale and
Roman Kontchakov and
Andrea Mazzullo and
Frank Wolter},
title = {Non-Rigid Designators in Modal and Temporal Free Description Logics
(Extended Version)},
journal = {CoRR},
volume = {abs/2405.07656},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2405.07656},
doi = {10.48550/ARXIV.2405.07656},
eprinttype = {arXiv},
eprint = {2405.07656},
timestamp = {Sat, 15 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2405-07656.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/ArtaleJMOW23,
author = {Alessandro Artale and
Jean Christoph Jung and
Andrea Mazzullo and
Ana Ozaki and
Frank Wolter},
title = {Living without Beth and Craig: Definitions and Interpolants in Description
and Modal Logics with Nominals and Role Inclusions},
journal = {{ACM} Trans. Comput. Log.},
volume = {24},
number = {4},
pages = {34:1--34:51},
year = {2023},
url = {https://doi.org/10.1145/3597301},
doi = {10.1145/3597301},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/ArtaleJMOW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/JungRWZ23,
author = {Jean Christoph Jung and
Vladislav Ryzhikov and
Frank Wolter and
Michael Zakharyaschev},
editor = {Oliver Kutz and
Carsten Lutz and
Ana Ozaki},
title = {Temporalising Unique Characterisability and Learnability of Ontology-Mediated
Queries (Extended Abstract)},
booktitle = {Proceedings of the 36th International Workshop on Description Logics
{(DL} 2023) co-located with the 20th International Conference on Principles
of Knowledge Representation and Reasoning and the 21st International
Workshop on Non-Monotonic Reasoning {(KR} 2023 and {NMR} 2023)., Rhodes,
Greece, September 2-4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3515},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3515/abstract-13.pdf},
timestamp = {Thu, 26 Oct 2023 16:59:55 +0200},
biburl = {https://dblp.org/rec/conf/dlog/JungRWZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FortinKRSWZ23,
author = {Marie Fortin and
Boris Konev and
Vladislav Ryzhikov and
Yury Savateev and
Frank Wolter and
Michael Zakharyaschev},
title = {Reverse Engineering of Temporal Queries Mediated by {LTL} Ontologies},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {3230--3238},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/360},
doi = {10.24963/IJCAI.2023/360},
timestamp = {Mon, 28 Aug 2023 17:23:07 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FortinKRSWZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KuruczWZ23,
author = {Agi Kurucz and
Frank Wolter and
Michael Zakharyaschev},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Definitions and (Uniform) Interpolants in First-Order Modal Logic},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {417--428},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/41},
doi = {10.24963/KR.2023/41},
timestamp = {Tue, 05 Sep 2023 14:50:36 +0200},
biburl = {https://dblp.org/rec/conf/kr/KuruczWZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-04598,
author = {Agi Kurucz and
Frank Wolter and
Michael Zakharyaschev},
title = {Definitions and (Uniform) Interpolants in First-Order Modal Logic},
journal = {CoRR},
volume = {abs/2303.04598},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.04598},
doi = {10.48550/ARXIV.2303.04598},
eprinttype = {arXiv},
eprint = {2303.04598},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-04598.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-01248,
author = {Marie Fortin and
Boris Konev and
Vladislav Ryzhikov and
Yury Savateev and
Frank Wolter and
Michael Zakharyaschev},
title = {Reverse Engineering of Temporal Queries Mediated by {LTL} Ontologies},
journal = {CoRR},
volume = {abs/2305.01248},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.01248},
doi = {10.48550/ARXIV.2305.01248},
eprinttype = {arXiv},
eprint = {2305.01248},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-01248.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-07662,
author = {Jean Christoph Jung and
Vladislav Ryzhikov and
Frank Wolter and
Michael Zakharyaschev},
title = {Temporalising Unique Characterisability and Learnability of Ontology-Mediated
Queries},
journal = {CoRR},
volume = {abs/2306.07662},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.07662},
doi = {10.48550/ARXIV.2306.07662},
eprinttype = {arXiv},
eprint = {2306.07662},
timestamp = {Sat, 17 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-07662.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-04161,
author = {James P. Delgrande and
Birte Glimm and
Thomas Andreas Meyer and
Miroslaw Truszczynski and
Frank Wolter},
title = {Current and Future Challenges in Knowledge Representation and Reasoning},
journal = {CoRR},
volume = {abs/2308.04161},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.04161},
doi = {10.48550/ARXIV.2308.04161},
eprinttype = {arXiv},
eprint = {2308.04161},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-04161.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-05929,
author = {Agi Kurucz and
Frank Wolter and
Michael Zakharyaschev},
title = {A non-uniform view of Craig interpolation in modal logics with linear
frames},
journal = {CoRR},
volume = {abs/2312.05929},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.05929},
doi = {10.48550/ARXIV.2312.05929},
eprinttype = {arXiv},
eprint = {2312.05929},
timestamp = {Tue, 09 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-05929.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/JungLPW22,
author = {Jean Christoph Jung and
Carsten Lutz and
Hadrien Pulcini and
Frank Wolter},
title = {Logical separability of labeled data examples under ontologies},
journal = {Artif. Intell.},
volume = {313},
pages = {103785},
year = {2022},
url = {https://doi.org/10.1016/j.artint.2022.103785},
doi = {10.1016/J.ARTINT.2022.103785},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/JungLPW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/ArtaleKKRWZ22,
author = {Alessandro Artale and
Roman Kontchakov and
Alisa Kovtunova and
Vladislav Ryzhikov and
Frank Wolter and
Michael Zakharyaschev},
title = {First-Order Rewritability and Complexity of Two-Dimensional Temporal
Ontology-Mediated Queries},
journal = {J. Artif. Intell. Res.},
volume = {75},
pages = {1223--1291},
year = {2022},
url = {https://doi.org/10.1613/jair.1.13511},
doi = {10.1613/JAIR.1.13511},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/ArtaleKKRWZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/FortinKRSWZ22,
author = {Marie Fortin and
Boris Konev and
Vladislav Ryzhikov and
Yury Savateev and
Frank Wolter and
Michael Zakharyaschev},
editor = {Ofer Arieli and
Martin Homola and
Jean Christoph Jung and
Marie{-}Laure Mugnier},
title = {Reverse Engineering of Temporal Queries with and without {LTL} Ontologies:
First Steps (Extended Abstract)},
booktitle = {Proceedings of the 35th International Workshop on Description Logics
{(DL} 2022) co-located with Federated Logic Conference (FLoC 2022),
Haifa, Israel, August 7th to 10th, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3263},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3263/abstract-8.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/FortinKRSWZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/JungMW22,
author = {Jean Christoph Jung and
Andrea Mazzullo and
Frank Wolter},
editor = {Ofer Arieli and
Martin Homola and
Jean Christoph Jung and
Marie{-}Laure Mugnier},
title = {More on Interpolants and Explicit Definitions for Description Logics
with Nominals and/or Role Inclusions},
booktitle = {Proceedings of the 35th International Workshop on Description Logics
{(DL} 2022) co-located with Federated Logic Conference (FLoC 2022),
Haifa, Israel, August 7th to 10th, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3263},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3263/paper-15.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/JungMW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ArtaleKKRWZ22,
author = {Alessandro Artale and
Roman Kontchakov and
Alisa Kovtunova and
Vladislav Ryzhikov and
Frank Wolter and
Michael Zakharyaschev},
editor = {Luc De Raedt},
title = {On the First-Order Rewritability of Ontology-Mediated Queries in Linear
Temporal Logic (Extended Abstract)},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {5703--5707},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/794},
doi = {10.24963/IJCAI.2022/794},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ArtaleKKRWZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FortinKRSWZ22,
author = {Marie Fortin and
Boris Konev and
Vladislav Ryzhikov and
Yury Savateev and
Frank Wolter and
Michael Zakharyaschev},
editor = {Gabriele Kern{-}Isberner and
Gerhard Lakemeyer and
Thomas Meyer},
title = {Unique Characterisability and Learnability of Temporal Instance Queries},
booktitle = {Proceedings of the 19th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2022, Haifa, Israel,
July 31 - August 5, 2022},
year = {2022},
url = {https://proceedings.kr.org/2022/17/},
timestamp = {Tue, 05 Sep 2023 14:47:29 +0200},
biburl = {https://dblp.org/rec/conf/kr/FortinKRSWZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FortinKW22,
author = {Marie Fortin and
Boris Konev and
Frank Wolter},
editor = {Gabriele Kern{-}Isberner and
Gerhard Lakemeyer and
Thomas Meyer},
title = {Interpolants and Explicit Definitions in Extensions of the Description
Logic {EL}},
booktitle = {Proceedings of the 19th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2022, Haifa, Israel,
July 31 - August 5, 2022},
year = {2022},
url = {https://proceedings.kr.org/2022/16/},
timestamp = {Wed, 27 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/FortinKW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-07186,
author = {Marie Fortin and
Boris Konev and
Frank Wolter},
title = {Interpolants and Explicit Definitions in Extensions of the Description
Logic {EL}},
journal = {CoRR},
volume = {abs/2202.07186},
year = {2022},
url = {https://arxiv.org/abs/2202.07186},
eprinttype = {arXiv},
eprint = {2202.07186},
timestamp = {Fri, 18 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-07186.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-01651,
author = {Marie Fortin and
Boris Konev and
Vladislav Ryzhikov and
Yury Savateev and
Frank Wolter and
Michael Zakharyaschev},
title = {Unique Characterisability and Learnability of Temporal Instance Queries},
journal = {CoRR},
volume = {abs/2205.01651},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.01651},
doi = {10.48550/ARXIV.2205.01651},
eprinttype = {arXiv},
eprint = {2205.01651},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-01651.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/DelgrandeGMTTW22,
author = {James P. Delgrande and
Birte Glimm and
Thomas Meyer and
Miroslaw Truszczynski and
Milene Santos Teixeira and
Frank Wolter},
title = {Current and Future Challenges in Knowledge Representation and Reasoning
(Dagstuhl Seminar 22282)},
journal = {Dagstuhl Reports},
volume = {12},
number = {7},
pages = {62--79},
year = {2022},
url = {https://doi.org/10.4230/DagRep.12.7.62},
doi = {10.4230/DAGREP.12.7.62},
timestamp = {Tue, 07 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/DelgrandeGMTTW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/ArtaleKKRWZ21,
author = {Alessandro Artale and
Roman Kontchakov and
Alisa Kovtunova and
Vladislav Ryzhikov and
Frank Wolter and
Michael Zakharyaschev},
title = {First-order rewritability of ontology-mediated queries in linear temporal
logic},
journal = {Artif. Intell.},
volume = {299},
pages = {103536},
year = {2021},
url = {https://doi.org/10.1016/j.artint.2021.103536},
doi = {10.1016/J.ARTINT.2021.103536},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/ArtaleKKRWZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ArtaleJMOW21,
author = {Alessandro Artale and
Jean Christoph Jung and
Andrea Mazzullo and
Ana Ozaki and
Frank Wolter},
title = {Living Without Beth and Craig: Definitions and Interpolants in Description
Logics with Nominals and Role Inclusions},
booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
2021, Thirty-Third Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
2021},
pages = {6193--6201},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/aaai.v35i7.16770},
doi = {10.1609/AAAI.V35I7.16770},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ArtaleJMOW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/FortinKW21,
author = {Marie Fortin and
Boris Konev and
Frank Wolter},
editor = {Martin Homola and
Vladislav Ryzhikov and
Renate A. Schmidt},
title = {Interpolants and Explicit Definitions in Horn Description Logics (Extended
Abstract)},
booktitle = {Proceedings of the 34th International Workshop on Description Logics
{(DL} 2021) part of Bratislava Knowledge September {(BAKS} 2021),
Bratislava, Slovakia, September 19th to 22nd, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2954},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2954/abstract-16.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:15 +0100},
biburl = {https://dblp.org/rec/conf/dlog/FortinKW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/HagaLSW21,
author = {Anneke Haga and
Carsten Lutz and
Leif Sabellek and
Frank Wolter},
editor = {Martin Homola and
Vladislav Ryzhikov and
Renate A. Schmidt},
title = {How to Approximate Ontology-Mediated Queries (Extended Abstract},
booktitle = {Proceedings of the 34th International Workshop on Description Logics
{(DL} 2021) part of Bratislava Knowledge September {(BAKS} 2021),
Bratislava, Slovakia, September 19th to 22nd, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2954},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2954/abstract-20.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/HagaLSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Wolter21,
author = {Frank Wolter},
editor = {Renate A. Schmidt and
Christoph Wernhard and
Yizheng Zhao},
title = {Living Without Beth and Craig: Explicit Definitions and Interpolants
without Beth Definability and Craig Interpolation (Abstract of Invited
Talk)},
booktitle = {Proceedings of the Second Workshop on Second-Order Quantifier Elimination
and Related Topics {(SOQE} 2021) associated with the 18th International
Conference on Principles of Knowledge Representation and Reasoning
{(KR} 2021), Online Event, November 4, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3009},
pages = {14},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3009/invited2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:13 +0100},
biburl = {https://dblp.org/rec/conf/kr/Wolter21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ArtaleMOW21,
author = {Alessandro Artale and
Andrea Mazzullo and
Ana Ozaki and
Frank Wolter},
editor = {Meghyn Bienvenu and
Gerhard Lakemeyer and
Esra Erdem},
title = {On Free Description Logics with Definite Descriptions},
booktitle = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
pages = {63--73},
year = {2021},
url = {https://doi.org/10.24963/kr.2021/7},
doi = {10.24963/KR.2021/7},
timestamp = {Wed, 03 Nov 2021 12:46:57 +0100},
biburl = {https://dblp.org/rec/conf/kr/ArtaleMOW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HagaLSW21,
author = {Anneke Haga and
Carsten Lutz and
Leif Sabellek and
Frank Wolter},
editor = {Meghyn Bienvenu and
Gerhard Lakemeyer and
Esra Erdem},
title = {How to Approximate Ontology-Mediated Queries},
booktitle = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
pages = {323--333},
year = {2021},
url = {https://doi.org/10.24963/kr.2021/31},
doi = {10.24963/KR.2021/31},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/HagaLSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/JungLPW21,
author = {Jean Christoph Jung and
Carsten Lutz and
Hadrien Pulcini and
Frank Wolter},
editor = {Meghyn Bienvenu and
Gerhard Lakemeyer and
Esra Erdem},
title = {Separating Data Examples by Description Logic Concepts with Restricted
Signatures},
booktitle = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
pages = {390--399},
year = {2021},
url = {https://doi.org/10.24963/kr.2021/37},
doi = {10.24963/KR.2021/37},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/JungLPW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/JungW21,
author = {Jean Christoph Jung and
Frank Wolter},
title = {Living without Beth and Craig: Definitions and Interpolants in the
Guarded and Two-Variable Fragments},
booktitle = {36th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2021, Rome, Italy, June 29 - July 2, 2021},
pages = {1--14},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LICS52264.2021.9470585},
doi = {10.1109/LICS52264.2021.9470585},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/JungW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-15513,
author = {Alessandro Artale and
Andrea Mazzullo and
Ana Ozaki and
Frank Wolter},
title = {On Free Description Logics with Definite Descriptions},
journal = {CoRR},
volume = {abs/2106.15513},
year = {2021},
url = {https://arxiv.org/abs/2106.15513},
eprinttype = {arXiv},
eprint = {2106.15513},
timestamp = {Mon, 05 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-15513.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-05285,
author = {Jean Christoph Jung and
Carsten Lutz and
Hadrien Pulcini and
Frank Wolter},
title = {Separating Data Examples by Description Logic Concepts with Restricted
Signatures},
journal = {CoRR},
volume = {abs/2107.05285},
year = {2021},
url = {https://arxiv.org/abs/2107.05285},
eprinttype = {arXiv},
eprint = {2107.05285},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-05285.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-05369,
author = {Anneke Haga and
Carsten Lutz and
Leif Sabellek and
Frank Wolter},
title = {How to Approximate Ontology-Mediated Queries},
journal = {CoRR},
volume = {abs/2107.05369},
year = {2021},
url = {https://arxiv.org/abs/2107.05369},
eprinttype = {arXiv},
eprint = {2107.05369},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-05369.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-06806,
author = {Alessandro Artale and
Roman Kontchakov and
Alisa Kovtunova and
Vladislav Ryzhikov and
Frank Wolter and
Michael Zakharyaschev},
title = {First-Order Rewritability and Complexity of Two-Dimensional Temporal
Ontology-Mediated Queries},
journal = {CoRR},
volume = {abs/2111.06806},
year = {2021},
url = {https://arxiv.org/abs/2111.06806},
eprinttype = {arXiv},
eprint = {2111.06806},
timestamp = {Tue, 16 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-06806.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/HernichLPW20,
author = {Andr{\'{e}} Hernich and
Carsten Lutz and
Fabio Papacchini and
Frank Wolter},
title = {Dichotomies in Ontology-Mediated Querying with the Guarded Fragment},
journal = {{ACM} Trans. Comput. Log.},
volume = {21},
number = {3},
pages = {20:1--20:47},
year = {2020},
url = {https://doi.org/10.1145/3375628},
doi = {10.1145/3375628},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/HernichLPW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/JungLW20,
author = {Jean Christoph Jung and
Carsten Lutz and
Frank Wolter},
title = {Least General Generalizations in Description Logic: Verification and
Existence},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {2854--2861},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i03.5675},
doi = {10.1609/AAAI.V34I03.5675},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/JungLW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ArtaleJMOW20,
author = {Alessandro Artale and
Jean Christoph Jung and
Andrea Mazzullo and
Ana Ozaki and
Frank Wolter},
editor = {Stefan Borgwardt and
Thomas Meyer},
title = {Living Without Beth and Craig: Explicit Definitions and Interpolants
in Description Logics with Nominals (Extended Abstract)},
booktitle = {Proceedings of the 33rd International Workshop on Description Logics
{(DL} 2020) co-located with the 17th International Conference on Principles
of Knowledge Representation and Reasoning {(KR} 2020), Online Event
[Rhodes, Greece], September 12th to 14th, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2663},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2663/abstract-1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ArtaleJMOW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ArtaleMOW20,
author = {Alessandro Artale and
Andrea Mazzullo and
Ana Ozaki and
Frank Wolter},
editor = {Stefan Borgwardt and
Thomas Meyer},
title = {On Free Description Logics with Definite Descriptions},
booktitle = {Proceedings of the 33rd International Workshop on Description Logics
{(DL} 2020) co-located with the 17th International Conference on Principles
of Knowledge Representation and Reasoning {(KR} 2020), Online Event
[Rhodes, Greece], September 12th to 14th, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2663},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2663/paper-4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ArtaleMOW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/HagaLMW20,
author = {Anneke Haga and
Carsten Lutz and
Johannes Marti and
Frank Wolter},
editor = {Stefan Borgwardt and
Thomas Meyer},
title = {A Journey into Ontology Approximation: From Non-Horn to Horn (Abstract)},
booktitle = {Proceedings of the 33rd International Workshop on Description Logics
{(DL} 2020) co-located with the 17th International Conference on Principles
of Knowledge Representation and Reasoning {(KR} 2020), Online Event
[Rhodes, Greece], September 12th to 14th, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2663},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2663/abstract-14.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/HagaLMW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/JungLPW20,
author = {Jean Christoph Jung and
Carsten Lutz and
Hadrien Pulcini and
Frank Wolter},
editor = {Stefan Borgwardt and
Thomas Meyer},
title = {Separating Positive and Negative Data Examples by Concepts and Formulas:
The Case of Restricted Signatures (Abstract)},
booktitle = {Proceedings of the 33rd International Workshop on Description Logics
{(DL} 2020) co-located with the 17th International Conference on Principles
of Knowledge Representation and Reasoning {(KR} 2020), Online Event
[Rhodes, Greece], September 12th to 14th, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2663},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2663/abstract-15.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/JungLPW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HagaLMW20,
author = {Anneke Haga and
Carsten Lutz and
Johannes Marti and
Frank Wolter},
editor = {Christian Bessiere},
title = {A Journey into Ontology Approximation: From Non-Horn to Horn},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {1827--1833},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/253},
doi = {10.24963/IJCAI.2020/253},
timestamp = {Mon, 20 Jul 2020 12:38:52 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HagaLMW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/JungLPW20,
author = {Jean Christoph Jung and
Carsten Lutz and
Hadrien Pulcini and
Frank Wolter},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Logical Separability of Incomplete Data under Ontologies},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {517--528},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/52},
doi = {10.24963/KR.2020/52},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/JungLPW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KontchakovRWZ20,
author = {Roman Kontchakov and
Vladislav Ryzhikov and
Frank Wolter and
Michael Zakharyaschev},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Boolean Role Inclusions in DL-Lite With and Without Time},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {582--591},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/58},
doi = {10.24963/KR.2020/58},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/KontchakovRWZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-07754,
author = {Anneke Haga and
Carsten Lutz and
Johannes Marti and
Frank Wolter},
title = {A Journey into Ontology Approximation: From Non-Horn to Horn},
journal = {CoRR},
volume = {abs/2001.07754},
year = {2020},
url = {https://arxiv.org/abs/2001.07754},
eprinttype = {arXiv},
eprint = {2001.07754},
timestamp = {Wed, 22 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-07754.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-07221,
author = {Alessandro Artale and
Roman Kontchakov and
Alisa Kovtunova and
Vladislav Ryzhikov and
Frank Wolter and
Michael Zakharyaschev},
title = {First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal
Logic},
journal = {CoRR},
volume = {abs/2004.07221},
year = {2020},
url = {https://arxiv.org/abs/2004.07221},
eprinttype = {arXiv},
eprint = {2004.07221},
timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-07221.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-01597,
author = {Jean Christoph Jung and
Frank Wolter},
title = {Living without Beth and Craig: Explicit Definitions and Interpolants
in the Guarded Fragment},
journal = {CoRR},
volume = {abs/2007.01597},
year = {2020},
url = {https://arxiv.org/abs/2007.01597},
eprinttype = {arXiv},
eprint = {2007.01597},
timestamp = {Mon, 06 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-01597.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-01610,
author = {Jean Christoph Jung and
Carsten Lutz and
Hadrien Pulcini and
Frank Wolter},
title = {Logical Separability of Incomplete Data under Ontologies},
journal = {CoRR},
volume = {abs/2007.01610},
year = {2020},
url = {https://arxiv.org/abs/2007.01610},
eprinttype = {arXiv},
eprint = {2007.01610},
timestamp = {Mon, 06 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-01610.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-02669,
author = {Jean Christoph Jung and
Carsten Lutz and
Hadrien Pulcini and
Frank Wolter},
title = {Separating Positive and Negative Data Examples by Concepts and Formulas:
The Case of Restricted Signatures},
journal = {CoRR},
volume = {abs/2007.02669},
year = {2020},
url = {https://arxiv.org/abs/2007.02669},
eprinttype = {arXiv},
eprint = {2007.02669},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-02669.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-02736,
author = {Alessandro Artale and
Jean Christoph Jung and
Andrea Mazzullo and
Ana Ozaki and
Frank Wolter},
title = {Living Without Beth and Craig: Explicit Definitions and Interpolants
in Description Logics with Nominals},
journal = {CoRR},
volume = {abs/2007.02736},
year = {2020},
url = {https://arxiv.org/abs/2007.02736},
eprinttype = {arXiv},
eprint = {2007.02736},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-02736.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-11848,
author = {Cristina Feier and
Carsten Lutz and
Frank Wolter},
title = {From Conjunctive Queries to Instance Queries in Ontology-Mediated
Querying},
journal = {CoRR},
volume = {abs/2010.11848},
year = {2020},
url = {https://arxiv.org/abs/2010.11848},
eprinttype = {arXiv},
eprint = {2010.11848},
timestamp = {Tue, 27 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-11848.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-09836,
author = {Meghyn Bienvenu and
Peter Hansen and
Carsten Lutz and
Frank Wolter},
title = {First Order-Rewritability and Containment of Conjunctive Queries in
Horn Description Logics},
journal = {CoRR},
volume = {abs/2011.09836},
year = {2020},
url = {https://arxiv.org/abs/2011.09836},
eprinttype = {arXiv},
eprint = {2011.09836},
timestamp = {Wed, 25 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-09836.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BotoevaLRWZ19,
author = {Elena Botoeva and
Carsten Lutz and
Vladislav Ryzhikov and
Frank Wolter and
Michael Zakharyaschev},
title = {Query inseparability for {ALC} ontologies},
journal = {Artif. Intell.},
volume = {272},
pages = {1--51},
year = {2019},
url = {https://doi.org/10.1016/j.artint.2018.09.003},
doi = {10.1016/J.ARTINT.2018.09.003},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/BotoevaLRWZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KikotKTWZ19,
author = {Stanislav Kikot and
Agi Kurucz and
Yoshihito Tanaka and
Frank Wolter and
Michael Zakharyaschev},
title = {Kripke Completeness of strictly positive Modal Logics over Meet-Semilattices
with operators},
journal = {J. Symb. Log.},
volume = {84},
number = {2},
pages = {533--588},
year = {2019},
url = {https://doi.org/10.1017/jsl.2019.22},
doi = {10.1017/JSL.2019.22},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/KikotKTWZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/LutzSW19,
author = {Carsten Lutz and
Inan{\c{c}} Seylan and
Frank Wolter},
title = {The Data Complexity of Ontology-Mediated Queries with Closed Predicates},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {3},
year = {2019},
url = {https://doi.org/10.23638/LMCS-15(3:23)2019},
doi = {10.23638/LMCS-15(3:23)2019},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/LutzSW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LutzSTTW19,
author = {Carsten Lutz and
Uli Sattler and
Cesare Tinelli and
Anni{-}Yasmin Turhan and
Frank Wolter},
editor = {Carsten Lutz and
Uli Sattler and
Cesare Tinelli and
Anni{-}Yasmin Turhan and
Frank Wolter},
title = {A Tour of Franz Baader's Contributions to Knowledge Representation
and Automated Deduction},
booktitle = {Description Logic, Theory Combination, and All That - Essays Dedicated
to Franz Baader on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11560},
pages = {1--14},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22102-7\_1},
doi = {10.1007/978-3-030-22102-7\_1},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/LutzSTTW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/FunkJLPW19,
author = {Maurice Funk and
Jean Christoph Jung and
Carsten Lutz and
Hadrien Pulcini and
Frank Wolter},
editor = {Mantas Simkus and
Grant E. Weddell},
title = {Learning Description Logic Concepts: When can Positive and Negative
Examples be Separated? (Abstract)},
booktitle = {Proceedings of the 32nd International Workshop on Description Logics,
Oslo, Norway, June 18-21, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2373},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2373/paper-46.pdf},
timestamp = {Mon, 26 Jun 2023 20:43:45 +0200},
biburl = {https://dblp.org/rec/conf/dlog/FunkJLPW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/JungPWZ19,
author = {Jean Christoph Jung and
Fabio Papacchini and
Frank Wolter and
Michael Zakharyaschev},
editor = {Mantas Simkus and
Grant E. Weddell},
title = {Model Comparison Games for Horn Description Logics: {A} Summary},
booktitle = {Proceedings of the 32nd International Workshop on Description Logics,
Oslo, Norway, June 18-21, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2373},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2373/paper-49.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/JungPWZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KontchakovRWZ19,
author = {Roman Kontchakov and
Vladislav Ryzhikov and
Frank Wolter and
Michael Zakharyaschev},
editor = {Mantas Simkus and
Grant E. Weddell},
title = {A Note on DL-Lite with Boolean Role Inclusions},
booktitle = {Proceedings of the 32nd International Workshop on Description Logics,
Oslo, Norway, June 18-21, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2373},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2373/paper-19.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KontchakovRWZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BotcherLW19,
author = {Anneke B{\"{o}}tcher and
Carsten Lutz and
Frank Wolter},
editor = {Sarit Kraus},
title = {Ontology Approximation in Horn Description Logics},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {1574--1580},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/218},
doi = {10.24963/IJCAI.2019/218},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/BotcherLW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FunkJLPW19,
author = {Maurice Funk and
Jean Christoph Jung and
Carsten Lutz and
Hadrien Pulcini and
Frank Wolter},
editor = {Sarit Kraus},
title = {Learning Description Logic Concepts: When can Positive and Negative
Examples be Separated?},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {1682--1688},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/233},
doi = {10.24963/IJCAI.2019/233},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/FunkJLPW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/JungPWZ19,
author = {Jean Christoph Jung and
Fabio Papacchini and
Frank Wolter and
Michael Zakharyaschev},
title = {Model Comparison Games for Horn Description Logics},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--14},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785658},
doi = {10.1109/LICS.2019.8785658},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/JungPWZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2019baader,
editor = {Carsten Lutz and
Uli Sattler and
Cesare Tinelli and
Anni{-}Yasmin Turhan and
Frank Wolter},
title = {Description Logic, Theory Combination, and All That - Essays Dedicated
to Franz Baader on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11560},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22102-7},
doi = {10.1007/978-3-030-22102-7},
isbn = {978-3-030-22101-0},
timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2019baader.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-00014,
author = {Elena Botoeva and
Carsten Lutz and
Vladislav Ryzhikov and
Frank Wolter and
Michael Zakharyaschev},
title = {Query Inseparability for {ALC} Ontologies},
journal = {CoRR},
volume = {abs/1902.00014},
year = {2019},
url = {http://arxiv.org/abs/1902.00014},
eprinttype = {arXiv},
eprint = {1902.00014},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-00014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-06919,
author = {Jean Christoph Jung and
Fabio Papacchini and
Frank Wolter and
Michael Zakharyaschev},
title = {Model Comparison Games for Horn Description Logics},
journal = {CoRR},
volume = {abs/1904.06919},
year = {2019},
url = {http://arxiv.org/abs/1904.06919},
eprinttype = {arXiv},
eprint = {1904.06919},
timestamp = {Thu, 25 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-06919.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/KikotKWZ18,
author = {Stanislav Kikot and
Agi Kurucz and
Frank Wolter and
Michael Zakharyaschev},
editor = {Guram Bezhanishvili and
Giovanna D'Agostino and
George Metcalfe and
Thomas Studer},
title = {On Strictly Positive Modal Logics with {S4.3} Frames},
booktitle = {Advances in Modal Logic 12, proceedings of the 12th conference on
"Advances in Modal Logic," held in Bern, Switzerland, August 27-31,
2018},
pages = {427--446},
publisher = {College Publications},
year = {2018},
url = {http://www.aiml.net/volumes/volume12/Kikot-Kurucz-Wolter-Zakharyaschev.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/KikotKWZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BotcherLW18,
author = {Anneke B{\"{o}}tcher and
Carsten Lutz and
Frank Wolter},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Complete Approximations of Horn {DL} Ontologies},
booktitle = {Proceedings of the 31st International Workshop on Description Logics
co-located with 16th International Conference on Principles of Knowledge
Representation and Reasoning {(KR} 2018), Tempe, Arizona, US, October
27th - to - 29th, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2211},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2211/paper-11.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BotcherLW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/FeierLW18,
author = {Cristina Feier and
Carsten Lutz and
Frank Wolter},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {From Conjunctive Queries to {SPARQL} Queries in Ontology-Mediated
Querying},
booktitle = {Proceedings of the 31st International Workshop on Description Logics
co-located with 16th International Conference on Principles of Knowledge
Representation and Reasoning {(KR} 2018), Tempe, Arizona, US, October
27th - to - 29th, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2211},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2211/paper-16.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/FeierLW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/PapacchiniW18,
author = {Fabio Papacchini and
Frank Wolter},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {A Van Benthem Theorem for Horn Description and Modal Logic},
booktitle = {Proceedings of the 31st International Workshop on Description Logics
co-located with 16th International Conference on Principles of Knowledge
Representation and Reasoning {(KR} 2018), Tempe, Arizona, US, October
27th - to - 29th, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2211},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2211/paper-46.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/PapacchiniW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FeierLW18,
author = {Cristina Feier and
Carsten Lutz and
Frank Wolter},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {From Conjunctive Queries to Instance Queries in Ontology-Mediated
Querying},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {1810--1816},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/250},
doi = {10.24963/IJCAI.2018/250},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/FeierLW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HernichLPW18,
author = {Andr{\'{e}} Hernich and
Carsten Lutz and
Fabio Papacchini and
Frank Wolter},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated
Querying},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {1861--1867},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/257},
doi = {10.24963/IJCAI.2018/257},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/HernichLPW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2018,
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
publisher = {{AAAI} Press},
year = {2018},
url = {http://www.aaai.org/Library/KR/kr18contents.php},
isbn = {978-1-57735-803-9},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-06894,
author = {Andr{\'{e}} Hernich and
Carsten Lutz and
Fabio Papacchini and
Frank Wolter},
title = {Dichotomies in Ontology-Mediated Querying with the Guarded Fragment},
journal = {CoRR},
volume = {abs/1804.06894},
year = {2018},
url = {http://arxiv.org/abs/1804.06894},
eprinttype = {arXiv},
eprint = {1804.06894},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-06894.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-07805,
author = {Elena Botoeva and
Boris Konev and
Carsten Lutz and
Vladislav Ryzhikov and
Frank Wolter and
Michael Zakharyaschev},
title = {Inseparability and Conservative Extensions of Description Logic Ontologies:
{A} Survey},
journal = {CoRR},
volume = {abs/1804.07805},
year = {2018},
url = {http://arxiv.org/abs/1804.07805},
eprinttype = {arXiv},
eprint = {1804.07805},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-07805.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-00134,
author = {Carsten Lutz and
Inan{\c{c}} Seylan and
Frank Wolter},
title = {The Data Complexity of Ontology-Mediated Queries with Closed Predicates},
journal = {CoRR},
volume = {abs/1809.00134},
year = {2018},
url = {http://arxiv.org/abs/1809.00134},
eprinttype = {arXiv},
eprint = {1809.00134},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-00134.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jmlr/KonevLOW17,
author = {Boris Konev and
Carsten Lutz and
Ana Ozaki and
Frank Wolter},
title = {Exact Learning of Lightweight Description Logic Ontologies},
journal = {J. Mach. Learn. Res.},
volume = {18},
pages = {201:1--201:63},
year = {2017},
url = {https://jmlr.org/papers/v18/16-256.html},
timestamp = {Wed, 11 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jmlr/KonevLOW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/LutzW17,
author = {Carsten Lutz and
Frank Wolter},
title = {The Data Complexity of Description Logic Ontologies},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:7)2017},
doi = {10.23638/LMCS-13(4:7)2017},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/LutzW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HernichLW17,
author = {Andr{\'{e}} Hernich and
Julio Lemos and
Frank Wolter},
editor = {Satinder Singh and
Shaul Markovitch},
title = {Query Answering in DL-Lite with Datatypes: {A} Non-Uniform Approach},
booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
February 4-9, 2017, San Francisco, California, {USA}},
pages = {1142--1148},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/aaai.v31i1.10689},
doi = {10.1609/AAAI.V31I1.10689},
timestamp = {Mon, 04 Sep 2023 14:40:32 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HernichLW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/HernichLPW17,
author = {Andr{\'{e}} Hernich and
Carsten Lutz and
Fabio Papacchini and
Frank Wolter},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Horn Rewritability vs PTime Query Answering for Description Logic
TBoxes},
booktitle = {Proceedings of the 30th International Workshop on Description Logics,
Montpellier, France, July 18-21, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1879},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1879/paper33.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/HernichLPW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/JungLM0W17,
author = {Jean Christoph Jung and
Carsten Lutz and
Mauricio Martel and
Thomas Schneider and
Frank Wolter},
editor = {Ioannis Chatzigiannakis and
Piotr Indyk and
Fabian Kuhn and
Anca Muscholl},
title = {Conservative Extensions in Guarded and Two-Variable Fragments},
booktitle = {44th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2017, July 10-14, 2017, Warsaw, Poland},
series = {LIPIcs},
volume = {80},
pages = {108:1--108:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2017.108},
doi = {10.4230/LIPICS.ICALP.2017.108},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/JungLM0W17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/HernichLPW17,
author = {Andr{\'{e}} Hernich and
Carsten Lutz and
Fabio Papacchini and
Frank Wolter},
editor = {Emanuel Sallinger and
Jan Van den Bussche and
Floris Geerts},
title = {Dichotomies in Ontology-Mediated Querying with the Guarded Fragment},
booktitle = {Proceedings of the 36th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
of Database Systems, {PODS} 2017, Chicago, IL, USA, May 14-19, 2017},
pages = {185--199},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3034786.3056108},
doi = {10.1145/3034786.3056108},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/HernichLPW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/ArtaleKKRWZ17,
author = {Alessandro Artale and
Roman Kontchakov and
Alisa Kovtunova and
Vladislav Ryzhikov and
Frank Wolter and
Michael Zakharyaschev},
editor = {Sven Schewe and
Thomas Schneider and
Jef Wijsen},
title = {Ontology-Mediated Query Answering over Temporal Data: {A} Survey (Invited
Talk)},
booktitle = {24th International Symposium on Temporal Representation and Reasoning,
{TIME} 2017, October 16-18, 2017, Mons, Belgium},
series = {LIPIcs},
volume = {90},
pages = {1:1--1:37},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.TIME.2017.1},
doi = {10.4230/LIPICS.TIME.2017.1},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/ArtaleKKRWZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JungLMSW17,
author = {Jean Christoph Jung and
Carsten Lutz and
Mauricio Martel and
Thomas Schneider and
Frank Wolter},
title = {Conservative Extensions in Guarded and Two-Variable Fragments},
journal = {CoRR},
volume = {abs/1705.10115},
year = {2017},
url = {http://arxiv.org/abs/1705.10115},
eprinttype = {arXiv},
eprint = {1705.10115},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JungLMSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-03403,
author = {Stanislav Kikot and
{\'{A}}gnes Kurucz and
Yoshihito Tanaka and
Frank Wolter and
Michael Zakharyaschev},
title = {Kripke Completeness of Strictly Positive Modal Logics over Meet-semilattices
with Operators},
journal = {CoRR},
volume = {abs/1708.03403},
year = {2017},
url = {http://arxiv.org/abs/1708.03403},
eprinttype = {arXiv},
eprint = {1708.03403},
timestamp = {Fri, 23 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-03403.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-07314,
author = {Boris Konev and
Carsten Lutz and
Ana Ozaki and
Frank Wolter},
title = {Exact Learning of Lightweight Description Logic Ontologies},
journal = {CoRR},
volume = {abs/1709.07314},
year = {2017},
url = {http://arxiv.org/abs/1709.07314},
eprinttype = {arXiv},
eprint = {1709.07314},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-07314.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BotoevaKRWZ16,
author = {Elena Botoeva and
Roman Kontchakov and
Vladislav Ryzhikov and
Frank Wolter and
Michael Zakharyaschev},
title = {Games for query inseparability of description logic knowledge bases},
journal = {Artif. Intell.},
volume = {234},
pages = {78--119},
year = {2016},
url = {https://doi.org/10.1016/j.artint.2016.01.010},
doi = {10.1016/J.ARTINT.2016.01.010},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/BotoevaKRWZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/BaaderBL16,
author = {Franz Baader and
Meghyn Bienvenu and
Carsten Lutz and
Frank Wolter},
title = {Query and Predicate Emptiness in Ontology-Based Data Access},
journal = {J. Artif. Intell. Res.},
volume = {56},
pages = {1--59},
year = {2016},
url = {https://doi.org/10.1613/jair.4866},
doi = {10.1613/JAIR.4866},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/BaaderBL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KonevOW16,
author = {Boris Konev and
Ana Ozaki and
Frank Wolter},
editor = {Dale Schuurmans and
Michael P. Wellman},
title = {A Model for Learning Description Logic Ontologies Based on Exact Learning},
booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
February 12-17, 2016, Phoenix, Arizona, {USA}},
pages = {1008--1015},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/aaai.v30i1.10087},
doi = {10.1609/AAAI.V30I1.10087},
timestamp = {Mon, 04 Sep 2023 15:08:28 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KonevOW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Bienvenu0LW16,
author = {Meghyn Bienvenu and
Peter Hansen and
Carsten Lutz and
Frank Wolter},
editor = {Maurizio Lenzerini and
Rafael Pe{\~{n}}aloza},
title = {First Order-Rewritability and Containment of Conjunctive Queries in
Horn Description Logics},
booktitle = {Proceedings of the 29th International Workshop on Description Logics,
Cape Town, South Africa, April 22-25, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1577},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1577/paper\_20.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Bienvenu0LW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BotoevaLRWZ16,
author = {Elena Botoeva and
Carsten Lutz and
Vladislav Ryzhikov and
Frank Wolter and
Michael Zakharyaschev},
editor = {Maurizio Lenzerini and
Rafael Pe{\~{n}}aloza},
title = {When is Query Inseparability for {ALC} Ontologies Decidable?},
booktitle = {Proceedings of the 29th International Workshop on Description Logics,
Cape Town, South Africa, April 22-25, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1577},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1577/paper\_18.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BotoevaLRWZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/HernichLW16,
author = {Andr{\'{e}} Hernich and
Julio Lemos and
Frank Wolter},
editor = {Maurizio Lenzerini and
Rafael Pe{\~{n}}aloza},
title = {Constraint Patterns for Tractable Ontology-Mediated Queries with Datatypes},
booktitle = {Proceedings of the 29th International Workshop on Description Logics,
Cape Town, South Africa, April 22-25, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1577},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1577/paper\_9.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/HernichLW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Bienvenu0LW16,
author = {Meghyn Bienvenu and
Peter Hansen and
Carsten Lutz and
Frank Wolter},
editor = {Subbarao Kambhampati},
title = {First Order-Rewritability and Containment of Conjunctive Queries in
Horn Description Logics},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {965--971},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/141},
timestamp = {Tue, 20 Aug 2019 16:19:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Bienvenu0LW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BotoevaLRWZ16,
author = {Elena Botoeva and
Carsten Lutz and
Vladislav Ryzhikov and
Frank Wolter and
Michael Zakharyaschev},
editor = {Subbarao Kambhampati},
title = {Query-Based Entailment and Inseparability for {ALC} Ontologies},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {1001--1007},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/146},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BotoevaLRWZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KonevLWZ16,
author = {Boris Konev and
Carsten Lutz and
Frank Wolter and
Michael Zakharyaschev},
editor = {Subbarao Kambhampati},
title = {Conservative Rewritability of Description Logic TBoxes},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {1153--1159},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/167},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KonevLWZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/Wolter16,
author = {Frank Wolter},
editor = {Adrian{-}Horia Dediu and
Jan Janousek and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {Automata for Ontologies},
booktitle = {Language and Automata Theory and Applications - 10th International
Conference, {LATA} 2016, Prague, Czech Republic, March 14-18, 2016,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9618},
pages = {57--60},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30000-9\_4},
doi = {10.1007/978-3-319-30000-9\_4},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lata/Wolter16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rweb/BotoevaKLRWZ16,
author = {Elena Botoeva and
Boris Konev and
Carsten Lutz and
Vladislav Ryzhikov and
Frank Wolter and
Michael Zakharyaschev},
editor = {Jeff Z. Pan and
Diego Calvanese and
Thomas Eiter and
Ian Horrocks and
Michael Kifer and
Fangzhen Lin and
Yuting Zhao},
title = {Inseparability and Conservative Extensions of Description Logic Ontologies:
{A} Survey},
booktitle = {Reasoning Web: Logical Foundation of Knowledge Graph Construction
and Query Answering - 12th International Summer School 2016, Aberdeen,
UK, September 5-9, 2016, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {9885},
pages = {27--89},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49493-7\_2},
doi = {10.1007/978-3-319-49493-7\_2},
timestamp = {Thu, 27 Jun 2024 13:01:45 +0200},
biburl = {https://dblp.org/rec/conf/rweb/BotoevaKLRWZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2016,
editor = {Chitta Baral and
James P. Delgrande and
Frank Wolter},
title = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fifteenth International Conference, {KR} 2016, Cape Town, South
Africa, April 25-29, 2016},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/Library/KR/kr16contents.php},
isbn = {978-1-57735-755-1},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BotoevaLRWZ16,
author = {Elena Botoeva and
Carsten Lutz and
Vladislav Ryzhikov and
Frank Wolter and
Michael Zakharyaschev},
title = {Query-Based Entailment and Inseparability for {ALC} Ontologies (Full
Version)},
journal = {CoRR},
volume = {abs/1604.04164},
year = {2016},
url = {http://arxiv.org/abs/1604.04164},
eprinttype = {arXiv},
eprint = {1604.04164},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BotoevaLRWZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LutzW16,
author = {Carsten Lutz and
Frank Wolter},
title = {The Data Complexity of Description Logic Ontologies},
journal = {CoRR},
volume = {abs/1611.02453},
year = {2016},
url = {http://arxiv.org/abs/1611.02453},
eprinttype = {arXiv},
eprint = {1611.02453},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LutzW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GasieniecMWW15,
author = {Leszek Gasieniec and
Russell Martin and
Frank Wolter and
Prudence W. H. Wong},
title = {Fundamentals of Computation Theory},
journal = {Theor. Comput. Sci.},
volume = {590},
pages = {1},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.05.040},
doi = {10.1016/J.TCS.2015.05.040},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GasieniecMWW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BonattiFLSW14,
author = {Piero A. Bonatti and
Marco Faella and
Carsten Lutz and
Luigi Sauro and
Frank Wolter},
editor = {Thomas Eiter and
Hannes Strass and
Miroslaw Truszczynski and
Stefan Woltran},
title = {Decidability of Circumscribed Description Logics Revisited},
booktitle = {Advances in Knowledge Representation, Logic Programming, and Abstract
Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion
of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9060},
pages = {112--124},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-14726-0\_8},
doi = {10.1007/978-3-319-14726-0\_8},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/BonattiFLSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/HernichLOW15,
author = {Andr{\'{e}} Hernich and
Carsten Lutz and
Ana Ozaki and
Frank Wolter},
editor = {Diego Calvanese and
Boris Konev},
title = {Schema.org as a Description Logic},
booktitle = {Proceedings of the 28th International Workshop on Description Logics,
Athens,Greece, June 7-10, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1350},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1350/paper-24.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/HernichLOW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KonevLWZ15,
author = {Boris Konev and
Carsten Lutz and
Frank Wolter and
Michael Zakharyaschev},
editor = {Diego Calvanese and
Boris Konev},
title = {Conservative Rewritability of Description Logic TBoxes: First Results},
booktitle = {Proceedings of the 28th International Workshop on Description Logics,
Athens,Greece, June 7-10, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1350},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1350/paper-29.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KonevLWZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KonevOW15,
author = {Boris Konev and
Ana Ozaki and
Frank Wolter},
editor = {Diego Calvanese and
Boris Konev},
title = {Exact Learning Description Logic Ontologies from Data Retrieval Examples},
booktitle = {Proceedings of the 28th International Workshop on Description Logics,
Athens,Greece, June 7-10, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1350},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1350/paper-30.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KonevOW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/LutzW15,
author = {Carsten Lutz and
Frank Wolter},
editor = {Marcelo Arenas and
Mart{\'{\i}}n Ugarte},
title = {On the Relationship between Consistent Query Answering and Constraint
Satisfaction Problems},
booktitle = {18th International Conference on Database Theory, {ICDT} 2015, March
23-27, 2015, Brussels, Belgium},
series = {LIPIcs},
volume = {31},
pages = {363--379},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2015.363},
doi = {10.4230/LIPICS.ICDT.2015.363},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdt/LutzW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ArtaleKKRWZ15,
author = {Alessandro Artale and
Roman Kontchakov and
Alisa Kovtunova and
Vladislav Ryzhikov and
Frank Wolter and
Michael Zakharyaschev},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {First-Order Rewritability of Temporal Ontology-Mediated Queries},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {2706--2712},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/383},
timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ArtaleKKRWZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/0002LSW15,
author = {Peter Hansen and
Carsten Lutz and
Inan{\c{c}} Seylan and
Frank Wolter},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Efficient Query Rewriting in the Description Logic {EL} and Beyond},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {3034--3040},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/428},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/0002LSW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HernichLOW15,
author = {Andr{\'{e}} Hernich and
Carsten Lutz and
Ana Ozaki and
Frank Wolter},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Schema.org as a Description Logic},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {3048--3054},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/430},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HernichLOW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LutzSW15,
author = {Carsten Lutz and
Inan{\c{c}} Seylan and
Frank Wolter},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Ontology-Mediated Queries with Closed Predicates},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {3120--3126},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/440},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LutzSW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BotoevaKRWZ15,
author = {Elena Botoeva and
Roman Kontchakov and
Vladislav Ryzhikov and
Frank Wolter and
Michael Zakharyaschev},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {When Are Description Logic Knowledge Bases Indistinguishable?},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {4240--4246},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/603},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BotoevaKRWZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/BienvenuCLW14,
author = {Meghyn Bienvenu and
Balder ten Cate and
Carsten Lutz and
Frank Wolter},
title = {Ontology-Based Data Access: {A} Study through Disjunctive Datalog,
CSP, and {MMSNP}},
journal = {{ACM} Trans. Database Syst.},
volume = {39},
number = {4},
pages = {33:1--33:44},
year = {2014},
url = {https://doi.org/10.1145/2661643},
doi = {10.1145/2661643},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/BienvenuCLW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ArtaleKKRWZ14,
author = {Alessandro Artale and
Roman Kontchakov and
Alisa Kovtunova and
Vladislav Ryzhikov and
Frank Wolter and
Michael Zakharyaschev},
editor = {Meghyn Bienvenu and
Magdalena Ortiz and
Riccardo Rosati and
Mantas Simkus},
title = {Temporal {OBDA} with {LTL} and DL-Lite},
booktitle = {Informal Proceedings of the 27th International Workshop on Description
Logics, Vienna, Austria, July 17-20, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1193},
pages = {21--32},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1193/paper\_60.pdf},
timestamp = {Mon, 26 Jun 2023 20:43:45 +0200},
biburl = {https://dblp.org/rec/conf/dlog/ArtaleKKRWZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BotoevaKRWZ14,
author = {Elena Botoeva and
Roman Kontchakov and
Vladislav Ryzhikov and
Frank Wolter and
Michael Zakharyaschev},
editor = {Meghyn Bienvenu and
Magdalena Ortiz and
Riccardo Rosati and
Mantas Simkus},
title = {Query Inseparability by Games},
booktitle = {Informal Proceedings of the 27th International Workshop on Description
Logics, Vienna, Austria, July 17-20, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1193},
pages = {83--95},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1193/paper\_86.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BotoevaKRWZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GatensKW14,
author = {William Gatens and
Boris Konev and
Frank Wolter},
editor = {Meghyn Bienvenu and
Magdalena Ortiz and
Riccardo Rosati and
Mantas Simkus},
title = {Lower and Upper Approximations for Depleting Modules of Description
Logic Ontologies},
booktitle = {Informal Proceedings of the 27th International Workshop on Description
Logics, Vienna, Austria, July 17-20, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1193},
pages = {181--184},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1193/paper\_15.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/GatensKW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/HansenLSW14,
author = {Peter Hansen and
Carsten Lutz and
Inan{\c{c}} Seylan and
Frank Wolter},
editor = {Meghyn Bienvenu and
Magdalena Ortiz and
Riccardo Rosati and
Mantas Simkus},
title = {Query Rewriting under {EL} TBoxes: Efficient Algorithms},
booktitle = {Informal Proceedings of the 27th International Workshop on Description
Logics, Vienna, Austria, July 17-20, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1193},
pages = {197--208},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1193/paper\_36.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/HansenLSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/GatensKW14,
author = {William Gatens and
Boris Konev and
Frank Wolter},
editor = {Torsten Schaub and
Gerhard Friedrich and
Barry O'Sullivan},
title = {Lower and Upper Approximations for Depleting Modules of Description
Logic Ontologies},
booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence,
18-22 August 2014, Prague, Czech Republic - Including Prestigious
Applications of Intelligent Systems {(PAIS} 2014)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {263},
pages = {345--350},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-419-0-345},
doi = {10.3233/978-1-61499-419-0-345},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/GatensKW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BotoevaKRWZ14,
author = {Elena Botoeva and
Roman Kontchakov and
Vladislav Ryzhikov and
Frank Wolter and
Michael Zakharyaschev},
editor = {Chitta Baral and
Giuseppe De Giacomo and
Thomas Eiter},
title = {Query Inseparability for Description Logic Knowledge Bases},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
July 20-24, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7962},
timestamp = {Tue, 09 Feb 2021 08:33:43 +0100},
biburl = {https://dblp.org/rec/conf/kr/BotoevaKRWZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KonevLOW14,
author = {Boris Konev and
Carsten Lutz and
Ana Ozaki and
Frank Wolter},
editor = {Chitta Baral and
Giuseppe De Giacomo and
Thomas Eiter},
title = {Exact Learning of Lightweight Description Logic Ontologies},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
July 20-24, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7918},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/KonevLOW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BonattiLW14,
author = {Piero A. Bonatti and
Carsten Lutz and
Frank Wolter},
title = {The Complexity of Circumscription in DLs},
journal = {CoRR},
volume = {abs/1401.3476},
year = {2014},
url = {http://arxiv.org/abs/1401.3476},
eprinttype = {arXiv},
eprint = {1401.3476},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BonattiLW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KonevL0W14,
author = {Boris Konev and
Michel Ludwig and
Dirk Walther and
Frank Wolter},
title = {The Logical Difference for the Lightweight Description Logic {EL}},
journal = {CoRR},
volume = {abs/1401.5850},
year = {2014},
url = {http://arxiv.org/abs/1401.5850},
eprinttype = {arXiv},
eprint = {1401.5850},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KonevL0W14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/KonevL0W13,
author = {Boris Konev and
Carsten Lutz and
Dirk Walther and
Frank Wolter},
title = {Model-theoretic inseparability and modularity of description logic
ontologies},
journal = {Artif. Intell.},
volume = {203},
pages = {66--103},
year = {2013},
url = {https://doi.org/10.1016/j.artint.2013.07.004},
doi = {10.1016/J.ARTINT.2013.07.004},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/KonevL0W13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ArtaleKWZ13,
author = {Alessandro Artale and
Roman Kontchakov and
Frank Wolter and
Michael Zakharyaschev},
editor = {Thomas Eiter and
Birte Glimm and
Yevgeny Kazakov and
Markus Kr{\"{o}}tzsch},
title = {Temporalising {OWL} 2 {QL}},
booktitle = {Informal Proceedings of the 26th International Workshop on Description
Logics, Ulm, Germany, July 23 - 26, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1014},
pages = {17--28},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1014/paper\_22.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ArtaleKWZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KonevLW13,
author = {Boris Konev and
Carsten Lutz and
Frank Wolter},
editor = {Thomas Eiter and
Birte Glimm and
Yevgeny Kazakov and
Markus Kr{\"{o}}tzsch},
title = {Exact Learning of TBoxes in {EL} and DL-Lite},
booktitle = {Informal Proceedings of the 26th International Workshop on Description
Logics, Ulm, Germany, July 23 - 26, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1014},
pages = {341--352},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1014/paper\_53.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KonevLW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ArtaleKWZ13,
author = {Alessandro Artale and
Roman Kontchakov and
Frank Wolter and
Michael Zakharyaschev},
editor = {Francesca Rossi},
title = {Temporal Description Logic for Ontology-Based Data Access},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {711--717},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6824},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/ArtaleKWZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BienvenuLW13,
author = {Meghyn Bienvenu and
Carsten Lutz and
Frank Wolter},
editor = {Francesca Rossi},
title = {First-Order Rewritability of Atomic Queries in Horn Description Logics},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {754--760},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6907},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/BienvenuLW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LutzSW13,
author = {Carsten Lutz and
Inan{\c{c}} Seylan and
Frank Wolter},
editor = {Francesca Rossi},
title = {Ontology-Based Data Access with Closed Predicates is Inherently Intractable(Sometimes)},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {1024--1030},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6870},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/LutzSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/BienvenuCLW13,
author = {Meghyn Bienvenu and
Balder ten Cate and
Carsten Lutz and
Frank Wolter},
editor = {Richard Hull and
Wenfei Fan},
title = {Ontology-based data access: a study through disjunctive datalog, CSP,
and {MMSNP}},
booktitle = {Proceedings of the 32nd {ACM} {SIGMOD-SIGACT-SIGART} Symposium on
Principles of Database Systems, {PODS} 2013, New York, NY, {USA} -
June 22 - 27, 2013},
pages = {213--224},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2463664.2465223},
doi = {10.1145/2463664.2465223},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/BienvenuCLW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/LutzSTW13,
author = {Carsten Lutz and
Inan{\c{c}} Seylan and
David Toman and
Frank Wolter},
editor = {Harith Alani and
Lalana Kagal and
Achille Fokoue and
Paul Groth and
Chris Biemann and
Josiane Xavier Parreira and
Lora Aroyo and
Natasha F. Noy and
Chris Welty and
Krzysztof Janowicz},
title = {The Combined Approach to {OBDA:} Taming Role Hierarchies Using Filters},
booktitle = {The Semantic Web - {ISWC} 2013 - 12th International Semantic Web Conference,
Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8218},
pages = {314--330},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41335-3\_20},
doi = {10.1007/978-3-642-41335-3\_20},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semweb/LutzSTW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/womo/GatensKW13,
author = {William Gatens and
Boris Konev and
Frank Wolter},
editor = {Chiara Del Vescovo and
Torsten Hahmann and
David Pearce and
Dirk Walther},
title = {Module Extraction for Acyclic Ontologies},
booktitle = {Proceedings of the 7th International Workshop on Modular Ontologies
co-located with the 12th International Conference on Logic Programming
and Non-monotonic Reasoning {(LPNMR} 2013), Corunna, Spain, September
15, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1081},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1081/womo2013\_regular\_paper\_3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:19 +0100},
biburl = {https://dblp.org/rec/conf/womo/GatensKW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fct/2013,
editor = {Leszek Gasieniec and
Frank Wolter},
title = {Fundamentals of Computation Theory - 19th International Symposium,
{FCT} 2013, Liverpool, UK, August 19-21, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8070},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40164-0},
doi = {10.1007/978-3-642-40164-0},
isbn = {978-3-642-40163-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-6479,
author = {Meghyn Bienvenu and
Balder ten Cate and
Carsten Lutz and
Frank Wolter},
title = {Ontology-based Data Access: {A} Study through Disjunctive Datalog,
CSP, and {MMSNP}},
journal = {CoRR},
volume = {abs/1301.6479},
year = {2013},
url = {http://arxiv.org/abs/1301.6479},
eprinttype = {arXiv},
eprint = {1301.6479},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-6479.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-5185,
author = {Alessandro Artale and
Roman Kontchakov and
Frank Wolter and
Michael Zakharyaschev},
title = {Temporal Description Logic for Ontology-Based Data Access (Extended
Version)},
journal = {CoRR},
volume = {abs/1304.5185},
year = {2013},
url = {http://arxiv.org/abs/1304.5185},
eprinttype = {arXiv},
eprint = {1304.5185},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-5185.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/KonevL0W12,
author = {Boris Konev and
Michel Ludwig and
Dirk Walther and
Frank Wolter},
title = {The Logical Difference for the Lightweight Description Logic {EL}},
journal = {J. Artif. Intell. Res.},
volume = {44},
pages = {633--708},
year = {2012},
url = {https://doi.org/10.1613/jair.3552},
doi = {10.1613/JAIR.3552},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/KonevL0W12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Wolter12,
author = {Frank Wolter},
title = {Book Reviews},
journal = {Stud Logica},
volume = {100},
number = {3},
pages = {649--651},
year = {2012},
url = {https://doi.org/10.1007/s11225-012-9408-9},
doi = {10.1007/S11225-012-9408-9},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Wolter12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KonevLW12,
author = {Boris Konev and
Michel Ludwig and
Frank Wolter},
editor = {Bernhard Gramlich and
Dale Miller and
Uli Sattler},
title = {Logical Difference Computation with {CEX2.5}},
booktitle = {Automated Reasoning - 6th International Joint Conference, {IJCAR}
2012, Manchester, UK, June 26-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7364},
pages = {371--377},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31365-3\_29},
doi = {10.1007/978-3-642-31365-3\_29},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/KonevLW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BienvenuLW12,
author = {Meghyn Bienvenu and
Carsten Lutz and
Frank Wolter},
editor = {Yevgeny Kazakov and
Domenico Lembo and
Frank Wolter},
title = {Deciding FO-Rewritability in {EL}},
booktitle = {Proceedings of the 2012 International Workshop on Description Logics,
DL-2012, Rome, Italy, June 7-10, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {846},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-846/paper\_26.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BienvenuLW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/LutzSW12,
author = {Carsten Lutz and
Inan{\c{c}} Seylan and
Frank Wolter},
editor = {Yevgeny Kazakov and
Domenico Lembo and
Frank Wolter},
title = {Mixing Open and Closed World Assumptionin Ontology-Based Data Access:
Non-Uniform Data Complexity},
booktitle = {Proceedings of the 2012 International Workshop on Description Logics,
DL-2012, Rome, Italy, June 7-10, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {846},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-846/paper\_17.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/LutzSW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BienvenuLW12,
author = {Meghyn Bienvenu and
Carsten Lutz and
Frank Wolter},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Query Containment in Description Logics Reconsidered},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4535},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BienvenuLW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LutzSW12,
author = {Carsten Lutz and
Inan{\c{c}} Seylan and
Frank Wolter},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {An Automata-Theoretic Approach to Uniform Interpolation and Approximation
in the Description Logic {EL}},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4511},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LutzSW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LutzW12,
author = {Carsten Lutz and
Frank Wolter},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Non-Uniform Data Complexity of Query Answering in Description Logics},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4533},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LutzW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/LutzSTW12,
author = {Carsten Lutz and
Inan{\c{c}} Seylan and
David Toman and
Frank Wolter},
editor = {Achille Fokoue and
Thorsten Liebig and
Eric L. Goodman and
Jesse Weaver and
Jacopo Urbani and
David Mizell},
title = {The Combined Approach to {OBDA:} Taming Role Hierarchies using Filters},
booktitle = {Proceedings of the Joint Workshop on Scalable and High-Performance
Semantic Web Systems, Boston, USA, November 11, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {943},
pages = {16--31},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-943/SSWS\_HPCSW2012\_paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:05 +0100},
biburl = {https://dblp.org/rec/conf/semweb/LutzSTW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2012,
editor = {Yevgeny Kazakov and
Domenico Lembo and
Frank Wolter},
title = {Proceedings of the 2012 International Workshop on Description Logics,
DL-2012, Rome, Italy, June 7-10, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {846},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-846},
urn = {urn:nbn:de:0074-846-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LiuLMW11,
author = {Hongkai Liu and
Carsten Lutz and
Maja Milicic and
Frank Wolter},
title = {Foundations of instance level updates in expressive description logics},
journal = {Artif. Intell.},
volume = {175},
number = {18},
pages = {2170--2197},
year = {2011},
url = {https://doi.org/10.1016/j.artint.2011.08.003},
doi = {10.1016/J.ARTINT.2011.08.003},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/LiuLMW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KonevKLSWZ11,
author = {Boris Konev and
Roman Kontchakov and
Michel Ludwig and
Thomas Schneider and
Frank Wolter and
Michael Zakharyaschev},
editor = {Wolfram Burgard and
Dan Roth},
title = {Conjunctive Query Inseparability of {OWL} 2 {QL} TBoxes},
booktitle = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
pages = {221--226},
publisher = {{AAAI} Press},
year = {2011},
url = {https://doi.org/10.1609/aaai.v25i1.7846},
doi = {10.1609/AAAI.V25I1.7846},
timestamp = {Mon, 04 Sep 2023 16:05:54 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KonevKLSWZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Wolter11,
author = {Frank Wolter},
editor = {Marc Bezem},
title = {Ontology-Based Data Access and Constraint Satisfaction},
booktitle = {Computer Science Logic, 25th International Workshop / 20th Annual
Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
Norway, Proceedings},
series = {LIPIcs},
volume = {12},
pages = {4},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.CSL.2011.4},
doi = {10.4230/LIPICS.CSL.2011.4},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/Wolter11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KonevKLSWZ11,
author = {Boris Konev and
Roman Kontchakov and
Michel Ludwig and
Thomas Schneider and
Frank Wolter and
Michael Zakharyaschev},
editor = {Riccardo Rosati and
Sebastian Rudolph and
Michael Zakharyaschev},
title = {Module Extraction via Query Inseparability in {OWL} 2 {QL}},
booktitle = {Proceedings of the 24th International Workshop on Description Logics
{(DL} 2011), Barcelona, Spain, July 13-16, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {745},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-745/paper\_6.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KonevKLSWZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KuruczWZ11,
author = {Agi Kurucz and
Frank Wolter and
Michael Zakharyaschev},
editor = {Riccardo Rosati and
Sebastian Rudolph and
Michael Zakharyaschev},
title = {On {P/NP} Dichotomies for {EL} Subsumption under Relational Constraints},
booktitle = {Proceedings of the 24th International Workshop on Description Logics
{(DL} 2011), Barcelona, Spain, July 13-16, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {745},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-745/paper\_41.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KuruczWZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/LutzW11,
author = {Carsten Lutz and
Frank Wolter},
editor = {Riccardo Rosati and
Sebastian Rudolph and
Michael Zakharyaschev},
title = {Non-Uniform Data Complexity of Query Answering in Description Logics},
booktitle = {Proceedings of the 24th International Workshop on Description Logics
{(DL} 2011), Barcelona, Spain, July 13-16, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {745},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-745/paper\_35.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/LutzW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LutzPW11,
author = {Carsten Lutz and
Robert Piro and
Frank Wolter},
editor = {Toby Walsh},
title = {Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {983--988},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-169},
doi = {10.5591/978-1-57735-516-8/IJCAI11-169},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/LutzPW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LutzW11,
author = {Carsten Lutz and
Frank Wolter},
editor = {Toby Walsh},
title = {Foundations for Uniform Interpolation and Forgetting in Expressive
Description Logics},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {989--995},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-170},
doi = {10.5591/978-1-57735-516-8/IJCAI11-170},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/LutzW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KontchakovLTWZ11,
author = {Roman Kontchakov and
Carsten Lutz and
David Toman and
Frank Wolter and
Michael Zakharyaschev},
editor = {Toby Walsh},
title = {The Combined Approach to Ontology-Based Data Access},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {2656--2661},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-442},
doi = {10.5591/978-1-57735-516-8/IJCAI11-442},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/KontchakovLTWZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/time/2011,
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
publisher = {{IEEE}},
year = {2011},
url = {https://ieeexplore.ieee.org/xpl/conhome/6063703/proceeding},
isbn = {978-1-4577-1242-5},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/time/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-2825,
author = {Carsten Lutz and
Frank Wolter},
title = {Foundations for Uniform Interpolation and Forgetting in Expressive
Description Logics},
journal = {CoRR},
volume = {abs/1104.2825},
year = {2011},
url = {http://arxiv.org/abs/1104.2825},
eprinttype = {arXiv},
eprint = {1104.2825},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1104-2825.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-2844,
author = {Carsten Lutz and
Robert Piro and
Frank Wolter},
title = {Description Logic TBoxes: Model-theoretic Characterizations and Rewritability},
journal = {CoRR},
volume = {abs/1104.2844},
year = {2011},
url = {http://arxiv.org/abs/1104.2844},
eprinttype = {arXiv},
eprint = {1104.2844},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1104-2844.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-1802,
author = {Franz Baader and
Carsten Lutz and
Holger Sturm and
Frank Wolter},
title = {Fusions of Description Logics and Abstract Description Systems},
journal = {CoRR},
volume = {abs/1106.1802},
year = {2011},
url = {http://arxiv.org/abs/1106.1802},
eprinttype = {arXiv},
eprint = {1106.1802},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-1802.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-2726,
author = {David Gabelaia and
Roman Kontchakov and
Agi Kurucz and
Frank Wolter and
Michael Zakharyaschev},
title = {Combining Spatial and Temporal Logics: Expressiveness vs. Complexity},
journal = {CoRR},
volume = {abs/1110.2726},
year = {2011},
url = {http://arxiv.org/abs/1110.2726},
eprinttype = {arXiv},
eprint = {1110.2726},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-2726.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/KontchakovWZ10,
author = {Roman Kontchakov and
Frank Wolter and
Michael Zakharyaschev},
title = {Logic-based ontology comparison and module extraction, with an application
to DL-Lite},
journal = {Artif. Intell.},
volume = {174},
number = {15},
pages = {1093--1141},
year = {2010},
url = {https://doi.org/10.1016/j.artint.2010.06.003},
doi = {10.1016/J.ARTINT.2010.06.003},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/KontchakovWZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/SheremetWZ10,
author = {Mikhail Sheremet and
Frank Wolter and
Michael Zakharyaschev},
title = {A modal logic framework for reasoning about comparative distances
and topology},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {4},
pages = {534--559},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.04.001},
doi = {10.1016/J.APAL.2009.04.001},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/SheremetWZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1003-5399,
author = {Roman Kontchakov and
Ian Pratt{-}Hartmann and
Frank Wolter and
Michael Zakharyaschev},
title = {Spatial logics with connectedness predicates},
journal = {Log. Methods Comput. Sci.},
volume = {6},
number = {3},
year = {2010},
url = {http://arxiv.org/abs/1003.5399},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1003-5399.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/LutzW10,
author = {Carsten Lutz and
Frank Wolter},
title = {Deciding inseparability and conservative extensions in the description
logic {EL}},
journal = {J. Symb. Comput.},
volume = {45},
number = {2},
pages = {194--228},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2008.10.007},
doi = {10.1016/J.JSC.2008.10.007},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/LutzW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/KuruczWZ10,
author = {Agi Kurucz and
Frank Wolter and
Michael Zakharyaschev},
editor = {Lev D. Beklemishev and
Valentin Goranko and
Valentin B. Shehtman},
title = {Islands of Tractability for Relational Constraints: Towards Dichotomy
Results for the Description Logic {EL}},
booktitle = {Advances in Modal Logic 8, papers from the eighth conference on "Advances
in Modal Logic," held in Moscow, Russia, 24-27 August 2010},
pages = {271--291},
publisher = {College Publications},
year = {2010},
url = {http://www.aiml.net/volumes/volume8/Kurucz-Wolter-Zakharyaschev.pdf},
timestamp = {Wed, 17 Jan 2024 09:57:31 +0100},
biburl = {https://dblp.org/rec/conf/aiml/KuruczWZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/LutzPW10,
author = {Carsten Lutz and
Robert Piro and
Frank Wolter},
editor = {Volker Haarslev and
David Toman and
Grant E. Weddell},
title = {EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers},
booktitle = {Proceedings of the 23rd International Workshop on Description Logics
{(DL} 2010), Waterloo, Ontario, Canada, May 4-7, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {573},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-573/paper\_22.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/LutzPW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/LutzPW10,
author = {Carsten Lutz and
Robert Piro and
Frank Wolter},
editor = {Helder Coelho and
Rudi Studer and
Michael J. Wooldridge},
title = {Enriching [Escr ][Lscr ]-Concepts with Greatest Fixpoints},
booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
Lisbon, Portugal, August 16-20, 2010, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {215},
pages = {41--46},
publisher = {{IOS} Press},
year = {2010},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=17711},
timestamp = {Fri, 26 Apr 2019 14:26:43 +0200},
biburl = {https://dblp.org/rec/conf/ecai/LutzPW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BaaderBLW10,
author = {Franz Baader and
Meghyn Bienvenu and
Carsten Lutz and
Frank Wolter},
editor = {Fangzhen Lin and
Ulrike Sattler and
Miroslaw Truszczynski},
title = {Query and Predicate Emptiness in Description Logics},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Twelfth International Conference, {KR} 2010, Toronto, Ontario,
Canada, May 9-13, 2010},
publisher = {{AAAI} Press},
year = {2010},
url = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1246},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BaaderBLW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KonevLPW10,
author = {Boris Konev and
Carsten Lutz and
Denis K. Ponomaryov and
Frank Wolter},
editor = {Fangzhen Lin and
Ulrike Sattler and
Miroslaw Truszczynski},
title = {Decomposing Description Logic Ontologies},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Twelfth International Conference, {KR} 2010, Toronto, Ontario,
Canada, May 9-13, 2010},
publisher = {{AAAI} Press},
year = {2010},
url = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1356},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/KonevLPW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KontchakovLTWZ10,
author = {Roman Kontchakov and
Carsten Lutz and
David Toman and
Frank Wolter and
Michael Zakharyaschev},
editor = {Fangzhen Lin and
Ulrike Sattler and
Miroslaw Truszczynski},
title = {The Combined Approach to Query Answering in DL-Lite},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Twelfth International Conference, {KR} 2010, Toronto, Ontario,
Canada, May 9-13, 2010},
publisher = {{AAAI} Press},
year = {2010},
url = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1282},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/KontchakovLTWZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/BonattiLW09,
author = {Piero A. Bonatti and
Carsten Lutz and
Frank Wolter},
title = {The Complexity of Circumscription in DLs},
journal = {J. Artif. Intell. Res.},
volume = {35},
pages = {717--773},
year = {2009},
url = {https://doi.org/10.1613/jair.2763},
doi = {10.1613/JAIR.2763},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/BonattiLW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BaaderBLW09,
author = {Franz Baader and
Meghyn Bienvenu and
Carsten Lutz and
Frank Wolter},
editor = {Bernardo Cuenca Grau and
Ian Horrocks and
Boris Motik and
Ulrike Sattler},
title = {Query Answering over {DL} ABoxes: How to Pick the Relevant Symbols},
booktitle = {Proceedings of the 22nd International Workshop on Description Logics
{(DL} 2009), Oxford, UK, July 27-30, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {477},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-477/paper\_29.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BaaderBLW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KonevWW09,
author = {Boris Konev and
Dirk Walther and
Frank Wolter},
editor = {Bernardo Cuenca Grau and
Ian Horrocks and
Boris Motik and
Ulrike Sattler},
title = {Forgetting and Uniform Interpolation in Extensions of the Description
Logic {EL}},
booktitle = {Proceedings of the 22nd International Workshop on Description Logics
{(DL} 2009), Oxford, UK, July 27-30, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {477},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-477/paper\_28.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KonevWW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KontchakovLTWZ09,
author = {Roman Kontchakov and
Carsten Lutz and
David Toman and
Frank Wolter and
Michael Zakharyaschev},
editor = {Bernardo Cuenca Grau and
Ian Horrocks and
Boris Motik and
Ulrike Sattler},
title = {Combined {FO} Rewritability for Conjunctive Query Answering in DL-Lite},
booktitle = {Proceedings of the 22nd International Workshop on Description Logics
{(DL} 2009), Oxford, UK, July 27-30, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {477},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-477/paper\_32.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KontchakovLTWZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KonevWW09,
author = {Boris Konev and
Dirk Walther and
Frank Wolter},
editor = {Craig Boutilier},
title = {Forgetting and Uniform Interpolation in Large-Scale Description Logic
Terminologies},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {830--835},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/142.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:40 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KonevWW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KontchakovPSSSWZ09,
author = {Roman Kontchakov and
Luca Pulina and
Ulrike Sattler and
Thomas Schneider and
Petra Selmer and
Frank Wolter and
Michael Zakharyaschev},
editor = {Craig Boutilier},
title = {Minimal Module Extraction from DL-Lite Ontologies Using {QBF} Solvers},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {836--841},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/143.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KontchakovPSSSWZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LutzTW09,
author = {Carsten Lutz and
David Toman and
Frank Wolter},
editor = {Craig Boutilier},
title = {Conjunctive Query Answering in the Description Logic {EL} Using a
Relational Database System},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {2070--2075},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/341.pdf},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/LutzTW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/LutzW09,
author = {Carsten Lutz and
Frank Wolter},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {Mathematical Logic for Life Science Ontologies},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {37--47},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_4},
doi = {10.1007/978-3-642-02261-6\_4},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/LutzW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/KonevLWW09,
author = {Boris Konev and
Carsten Lutz and
Dirk Walther and
Frank Wolter},
editor = {Heiner Stuckenschmidt and
Christine Parent and
Stefano Spaccapietra},
title = {Formal Properties of Modularisation},
booktitle = {Modular Ontologies: Concepts, Theories and Techniques for Knowledge
Modularization},
series = {Lecture Notes in Computer Science},
volume = {5445},
pages = {25--66},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01907-4\_3},
doi = {10.1007/978-3-642-01907-4\_3},
timestamp = {Tue, 07 May 2024 20:28:20 +0200},
biburl = {https://dblp.org/rec/series/lncs/KonevLWW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/WolterZ08,
author = {Frank Wolter and
Michael Zakharyaschev},
title = {Undecidability of the unification and admissibility problems for modal
and description logics},
journal = {{ACM} Trans. Comput. Log.},
volume = {9},
number = {4},
pages = {25:1--25:20},
year = {2008},
url = {https://doi.org/10.1145/1380572.1380574},
doi = {10.1145/1380572.1380574},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/WolterZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/KontchakovPWZ08,
author = {Roman Kontchakov and
Ian Pratt{-}Hartmann and
Frank Wolter and
Michael Zakharyaschev},
editor = {Carlos Areces and
Robert Goldblatt},
title = {Topology, connectedness, and modal logic},
booktitle = {Advances in Modal Logic 7, papers from the seventh conference on "Advances
in Modal Logic," held in Nancy, France, 9-12 September 2008},
pages = {151--176},
publisher = {College Publications},
year = {2008},
url = {http://www.aiml.net/volumes/volume7/Kontchakov-PrattHartmann-Wolter-Zakharyaschev.pdf},
timestamp = {Wed, 17 Jan 2024 09:57:43 +0100},
biburl = {https://dblp.org/rec/conf/aiml/KontchakovPWZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KonevWW08,
author = {Boris Konev and
Dirk Walther and
Frank Wolter},
editor = {Alessandro Armando and
Peter Baumgartner and
Gilles Dowek},
title = {The Logical Difference Problem for Description Logic Terminologies},
booktitle = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008,
Sydney, Australia, August 12-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5195},
pages = {259--274},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-71070-7\_21},
doi = {10.1007/978-3-540-71070-7\_21},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/KonevWW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KonevLWW08,
author = {Boris Konev and
Carsten Lutz and
Dirk Walther and
Frank Wolter},
editor = {Franz Baader and
Carsten Lutz and
Boris Motik},
title = {Logical Difference and Module Extraction with {CEX} and {MEX}},
booktitle = {Proceedings of the 21st International Workshop on Description Logics
(DL2008), Dresden, Germany, May 13-16, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {353},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-353/KonevLutzWaltherWolter.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KonevLWW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KontchakovRWZ08,
author = {Roman Kontchakov and
Vladislav Ryzhikov and
Frank Wolter and
Michael Zakharyaschev},
editor = {Franz Baader and
Carsten Lutz and
Boris Motik},
title = {Checking DL-Lite Modularity with {QBF} Solvers},
booktitle = {Proceedings of the 21st International Workshop on Description Logics
(DL2008), Dresden, Germany, May 13-16, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {353},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-353/KontchakovRyzhikovWolterZakharyaschev.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KontchakovRWZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/KonevLWW08,
author = {Boris Konev and
Carsten Lutz and
Dirk Walther and
Frank Wolter},
editor = {Malik Ghallab and
Constantine D. Spyropoulos and
Nikos Fakotakis and
Nikolaos M. Avouris},
title = {Semantic Modularity and Module Extraction in Description Logics},
booktitle = {{ECAI} 2008 - 18th European Conference on Artificial Intelligence,
Patras, Greece, July 21-25, 2008, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {178},
pages = {55--59},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-891-5-55},
doi = {10.3233/978-1-58603-891-5-55},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/KonevLWW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KontchakovWZ08,
author = {Roman Kontchakov and
Frank Wolter and
Michael Zakharyaschev},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Can You Tell the Difference Between DL-Lite Ontologies?},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {285--295},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-028.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/KontchakovWZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/KontchakovPWZ08,
author = {Roman Kontchakov and
Ian Pratt{-}Hartmann and
Frank Wolter and
Michael Zakharyaschev},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {On the Computational Complexity of Spatial Logics with Connectedness
Constraints},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {574--589},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_40},
doi = {10.1007/978-3-540-89439-1\_40},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/KontchakovPWZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/KonevL0W08,
author = {Boris Konev and
Carsten Lutz and
Dirk Walther and
Frank Wolter},
editor = {Kendall Clark and
Peter F. Patel{-}Schneider},
title = {{CEX} and {MEX:} Logical Diff and Logic-based Module Extraction in
a Fragment of {OWL}},
booktitle = {Proceedings of the Fourth {OWLED} Workshop on {OWL:} Experiences and
Directions, Washington, DC, USA, 1-2 April 2008},
series = {{CEUR} Workshop Proceedings},
volume = {496},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-496/owled2008dc\_paper\_12.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:02 +0100},
biburl = {https://dblp.org/rec/conf/owled/KonevL0W08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/LutzTW08,
author = {Carsten Lutz and
David Toman and
Frank Wolter},
editor = {Catherine Dolbear and
Alan Ruttenberg and
Ulrike Sattler},
title = {Conjunctive Query Answering in {EL} using a Database System},
booktitle = {Proceedings of the Fifth {OWLED} Workshop on {OWL:} Experiences and
Directions, collocated with the 7th International Semantic Web Conference
(ISWC-2008), Karlsruhe, Germany, October 26-27, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {432},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-432/owled2008eu\_submission\_2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:02 +0100},
biburl = {https://dblp.org/rec/conf/owled/LutzTW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/LutzWZ08,
author = {Carsten Lutz and
Frank Wolter and
Michael Zakharyaschev},
editor = {St{\'{e}}phane Demri and
Christian S. Jensen},
title = {Temporal Description Logics: {A} Survey},
booktitle = {15th International Symposium on Temporal Representation and Reasoning,
{TIME} 2008, Universit{\'{e}} du Qu{\'{e}}bec {\`{a}} Montr{\'{e}}al,
Canada, 16-18 June 2008},
pages = {3--14},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/TIME.2008.14},
doi = {10.1109/TIME.2008.14},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/LutzWZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kcap/2007womo,
editor = {Bernardo Cuenca Grau and
Vasant G. Honavar and
Anne Schlicht and
Frank Wolter},
title = {Proceedings of the 2nd International Workshop on Modular Ontologies,
WoMO 2007, Whistler, Canada, October 28, 2007},
series = {{CEUR} Workshop Proceedings},
volume = {315},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-315},
urn = {urn:nbn:de:0074-315-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kcap/2007womo.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LutzWW07,
author = {Carsten Lutz and
Dirk Walther and
Frank Wolter},
title = {Quantitative temporal logics over the reals: PSpace and below},
journal = {Inf. Comput.},
volume = {205},
number = {1},
pages = {99--123},
year = {2007},
url = {https://doi.org/10.1016/j.ic.2006.08.006},
doi = {10.1016/J.IC.2006.08.006},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/LutzWW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/SheremetTWZ07,
author = {Mikhail Sheremet and
Dmitry Tishkovsky and
Frank Wolter and
Michael Zakharyaschev},
title = {A Logic for Concepts and Similarity},
journal = {J. Log. Comput.},
volume = {17},
number = {3},
pages = {415--452},
year = {2007},
url = {https://doi.org/10.1093/logcom/exm007},
doi = {10.1093/LOGCOM/EXM007},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/SheremetTWZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LutzW07,
author = {Carsten Lutz and
Frank Wolter},
editor = {Frank Pfenning},
title = {Conservative Extensions in the Lightweight Description Logic {EL}},
booktitle = {Automated Deduction - CADE-21, 21st International Conference on Automated
Deduction, Bremen, Germany, July 17-20, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4603},
pages = {84--99},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73595-3\_7},
doi = {10.1007/978-3-540-73595-3\_7},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/LutzW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KontchakovWZ07,
author = {Roman Kontchakov and
Frank Wolter and
Michael Zakharyaschev},
editor = {Diego Calvanese and
Enrico Franconi and
Volker Haarslev and
Domenico Lembo and
Boris Motik and
Anni{-}Yasmin Turhan and
Sergio Tessaris},
title = {Modularity in DL-Lite},
booktitle = {Proceedings of the 2007 International Workshop on Description Logics
(DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June,
2007},
series = {{CEUR} Workshop Proceedings},
volume = {250},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-250/paper\_30.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KontchakovWZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LutzWW07,
author = {Carsten Lutz and
Dirk Walther and
Frank Wolter},
editor = {Manuela M. Veloso},
title = {Conservative Extensions in Expressive Description Logics},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {453--458},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/071.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:11 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LutzWW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/ArtaleKLWZ07,
author = {Alessandro Artale and
Roman Kontchakov and
Carsten Lutz and
Frank Wolter and
Michael Zakharyaschev},
title = {Temporalising Tractable Description Logics},
booktitle = {14th International Symposium on Temporal Representation and Reasoning
{(TIME} 2007), 28-30 June 2007, Alicante, Spain},
pages = {11--22},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/TIME.2007.62},
doi = {10.1109/TIME.2007.62},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/ArtaleKLWZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/07/WolterZ07,
author = {Frank Wolter and
Michael Zakharyaschev},
editor = {Patrick Blackburn and
J. F. A. K. van Benthem and
Frank Wolter},
title = {Modal decision problems},
booktitle = {Handbook of Modal Logic},
series = {Studies in logic and practical reasoning},
volume = {3},
pages = {427--489},
publisher = {North-Holland},
year = {2007},
url = {https://doi.org/10.1016/s1570-2464(07)80010-3},
doi = {10.1016/S1570-2464(07)80010-3},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/el/07/WolterZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/spatial/KontchakovKWZ07,
author = {Roman Kontchakov and
Agi Kurucz and
Frank Wolter and
Michael Zakharyaschev},
editor = {Marco Aiello and
Ian Pratt{-}Hartmann and
Johan van Benthem},
title = {Spatial Logic + Temporal Logic = ?},
booktitle = {Handbook of Spatial Logics},
pages = {497--564},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-1-4020-5587-4\_9},
doi = {10.1007/978-1-4020-5587-4\_9},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/spatial/KontchakovKWZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/el/07/BBW2007,
editor = {Patrick Blackburn and
J. F. A. K. van Benthem and
Frank Wolter},
title = {Handbook of Modal Logic},
series = {Studies in logic and practical reasoning},
volume = {3},
publisher = {North-Holland},
year = {2007},
url = {https://www.sciencedirect.com/bookseries/studies-in-logic-and-practical-reasoning/vol/3/suppl/C},
isbn = {978-0-444-51690-9},
timestamp = {Tue, 16 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/07/BBW2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/frocos/2007,
editor = {Boris Konev and
Frank Wolter},
title = {Frontiers of Combining Systems, 6th International Symposium, FroCoS
2007, Liverpool, UK, September 10-12, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4720},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74621-8},
doi = {10.1007/978-3-540-74621-8},
isbn = {978-3-540-74620-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/GabelaiaKWZ06,
author = {David Gabelaia and
Agi Kurucz and
Frank Wolter and
Michael Zakharyaschev},
title = {Non-primitive recursive decidability of products of modal logics with
expanding domains},
journal = {Ann. Pure Appl. Log.},
volume = {142},
number = {1-3},
pages = {245--268},
year = {2006},
url = {https://doi.org/10.1016/j.apal.2006.01.001},
doi = {10.1016/J.APAL.2006.01.001},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/GabelaiaKWZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/LutzW06,
author = {Carsten Lutz and
Frank Wolter},
title = {Modal Logics of Topological Relations},
journal = {Log. Methods Comput. Sci.},
volume = {2},
number = {2},
year = {2006},
url = {https://doi.org/10.2168/LMCS-2(2:5)2006},
doi = {10.2168/LMCS-2(2:5)2006},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/LutzW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/WaltherLWW06,
author = {Dirk Walther and
Carsten Lutz and
Frank Wolter and
Michael J. Wooldridge},
title = {{ATL} Satisfiability is Indeed EXPTIME-complete},
journal = {J. Log. Comput.},
volume = {16},
number = {6},
pages = {765--787},
year = {2006},
url = {https://doi.org/10.1093/logcom/exl009},
doi = {10.1093/LOGCOM/EXL009},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/WaltherLWW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/RautenbergZW06,
author = {Wolfgang Rautenberg and
Michael Zakharyaschev and
Frank Wolter},
title = {Willem Blok and Modal Logic},
journal = {Stud Logica},
volume = {83},
number = {1-3},
pages = {15--30},
year = {2006},
url = {https://doi.org/10.1007/s11225-006-8296-2},
doi = {10.1007/S11225-006-8296-2},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sLogica/RautenbergZW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/KonevKWZ06,
author = {Boris Konev and
Roman Kontchakov and
Frank Wolter and
Michael Zakharyaschev},
title = {On Dynamic Topological and Metric Logics},
journal = {Stud Logica},
volume = {84},
number = {1},
pages = {129--160},
year = {2006},
url = {https://doi.org/10.1007/s11225-006-9005-x},
doi = {10.1007/S11225-006-9005-X},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sLogica/KonevKWZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/GhilardiLWZ06,
author = {Silvio Ghilardi and
Carsten Lutz and
Frank Wolter and
Michael Zakharyaschev},
editor = {Guido Governatori and
Ian M. Hodkinson and
Yde Venema},
title = {Conservative extensions in modal logic},
booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances
in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September
2006},
pages = {187--207},
publisher = {College Publications},
year = {2006},
url = {http://www.aiml.net/volumes/volume6/Ghilardi-Lutz-Wolter-Zakharyaschev.ps},
timestamp = {Wed, 17 Jan 2024 09:57:50 +0100},
biburl = {https://dblp.org/rec/conf/aiml/GhilardiLWZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/KonevKWZ06,
author = {Boris Konev and
Roman Kontchakov and
Frank Wolter and
Michael Zakharyaschev},
editor = {Guido Governatori and
Ian M. Hodkinson and
Yde Venema},
title = {Dynamic topological logics over spaces with continuous functions},
booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances
in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September
2006},
pages = {299--318},
publisher = {College Publications},
year = {2006},
url = {http://www.aiml.net/volumes/volume6/Konev-Kontchakov-Wolter-Zakharyaschev.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/KonevKWZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/SheremetTWZ06,
author = {Mikhail Sheremet and
Dmitry Tishkovsky and
Frank Wolter and
Michael Zakharyaschev},
editor = {Guido Governatori and
Ian M. Hodkinson and
Yde Venema},
title = {From topology to metric: modal logic and quantification in metric
spaces},
booktitle = {Advances in Modal Logic 6, papers from the sixth conference on "Advances
in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September
2006},
pages = {429--448},
publisher = {College Publications},
year = {2006},
url = {http://www.aiml.net/volumes/volume6/Sheremet-Tishkovsky-Wolter-Zakharyaschev.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/SheremetTWZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/LiuLMW06,
author = {Hongkai Liu and
Carsten Lutz and
Maja Milicic and
Frank Wolter},
editor = {Bijan Parsia and
Ulrike Sattler and
David Toman},
title = {{DL} Actions with GCIs: a Pragmatic Approach},
booktitle = {Proceedings of the 2006 International Workshop on Description Logics
(DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006},
series = {{CEUR} Workshop Proceedings},
volume = {189},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-189/submission\_11.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/LiuLMW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/LiuLMW06,
author = {Hongkai Liu and
Carsten Lutz and
Maja Milicic and
Frank Wolter},
editor = {Michael Fisher and
Wiebe van der Hoek and
Boris Konev and
Alexei Lisitsa},
title = {Reasoning About Actions Using Description Logics with General TBoxes},
booktitle = {Logics in Artificial Intelligence, 10th European Conference, {JELIA}
2006, Liverpool, UK, September 13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4160},
pages = {266--279},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11853886\_23},
doi = {10.1007/11853886\_23},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/LiuLMW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/HustadtTWZ06,
author = {Ullrich Hustadt and
Dmitry Tishkovsky and
Frank Wolter and
Michael Zakharyaschev},
editor = {Michael Fisher and
Wiebe van der Hoek and
Boris Konev and
Alexei Lisitsa},
title = {Automated Reasoning About Metric and Topology},
booktitle = {Logics in Artificial Intelligence, 10th European Conference, {JELIA}
2006, Liverpool, UK, September 13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4160},
pages = {490--493},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11853886\_44},
doi = {10.1007/11853886\_44},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/HustadtTWZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LiuLMW06,
author = {Hongkai Liu and
Carsten Lutz and
Maja Milicic and
Frank Wolter},
editor = {Patrick Doherty and
John Mylopoulos and
Christopher A. Welty},
title = {Updating Description Logic ABoxes},
booktitle = {Proceedings, Tenth International Conference on Principles of Knowledge
Representation and Reasoning, Lake District of the United Kingdom,
June 2-5, 2006},
pages = {46--56},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/KR/2006/kr06-008.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/LiuLMW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GhilardiLW06,
author = {Silvio Ghilardi and
Carsten Lutz and
Frank Wolter},
editor = {Patrick Doherty and
John Mylopoulos and
Christopher A. Welty},
title = {Did {I} Damage My Ontology? {A} Case for Conservative Extensions in
Description Logics},
booktitle = {Proceedings, Tenth International Conference on Principles of Knowledge
Representation and Reasoning, Lake District of the United Kingdom,
June 2-5, 2006},
pages = {187--197},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/KR/2006/kr06-021.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/GhilardiLW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BonattiLW06,
author = {Piero A. Bonatti and
Carsten Lutz and
Frank Wolter},
editor = {Patrick Doherty and
John Mylopoulos and
Christopher A. Welty},
title = {Description Logics with Circumscription},
booktitle = {Proceedings, Tenth International Conference on Principles of Knowledge
Representation and Reasoning, Lake District of the United Kingdom,
June 2-5, 2006},
pages = {400--410},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/KR/2006/kr06-042.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BonattiLW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0605064,
author = {Carsten Lutz and
Frank Wolter},
title = {Modal Logics of Topological Relations},
journal = {CoRR},
volume = {abs/cs/0605064},
year = {2006},
url = {http://arxiv.org/abs/cs/0605064},
eprinttype = {arXiv},
eprint = {cs/0605064},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0605064.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0609052,
author = {Frank Wolter and
Michael Zakharyaschev},
title = {Undecidability of the unification and admissibility problems for modal
and description logics},
journal = {CoRR},
volume = {abs/cs/0609052},
year = {2006},
url = {http://arxiv.org/abs/cs/0609052},
eprinttype = {arXiv},
eprint = {cs/0609052},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0609052.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/GabelaiaKKWZ05,
author = {David Gabelaia and
Roman Kontchakov and
{\'{A}}gnes Kurucz and
Frank Wolter and
Michael Zakharyaschev},
title = {Combining Spatial and Temporal Logics: Expressiveness vs. Complexity},
journal = {J. Artif. Intell. Res.},
volume = {23},
pages = {167--243},
year = {2005},
url = {https://doi.org/10.1613/jair.1537},
doi = {10.1613/JAIR.1537},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/GabelaiaKKWZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/WolterZ05,
author = {Frank Wolter and
Michael Zakharyaschev},
title = {A logic for metric and topology},
journal = {J. Symb. Log.},
volume = {70},
number = {3},
pages = {795--828},
year = {2005},
url = {https://doi.org/10.2178/jsl/1122038915},
doi = {10.2178/JSL/1122038915},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/WolterZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GabelaiaKWZ05,
author = {David Gabelaia and
Agi Kurucz and
Frank Wolter and
Michael Zakharyaschev},
title = {Products of 'transitive' modal logics},
journal = {J. Symb. Log.},
volume = {70},
number = {3},
pages = {993--1021},
year = {2005},
url = {https://doi.org/10.2178/jsl/1122038925},
doi = {10.2178/JSL/1122038925},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/GabelaiaKWZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/LitakW05,
author = {Tadeusz Litak and
Frank Wolter},
title = {All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete},
journal = {Stud Logica},
volume = {81},
number = {2},
pages = {153--165},
year = {2005},
url = {https://doi.org/10.1007/s11225-005-3702-8},
doi = {10.1007/S11225-005-3702-8},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sLogica/LitakW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BaaderLMSW05,
author = {Franz Baader and
Carsten Lutz and
Maja Milicic and
Ulrike Sattler and
Frank Wolter},
editor = {Manuela M. Veloso and
Subbarao Kambhampati},
title = {Integrating Description Logics and Action Formalisms: First Results},
booktitle = {Proceedings, The Twentieth National Conference on Artificial Intelligence
and the Seventeenth Innovative Applications of Artificial Intelligence
Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}},
pages = {572--577},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2005},
url = {http://www.aaai.org/Library/AAAI/2005/aaai05-089.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BaaderLMSW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KuruczWZ05,
author = {Agi Kurucz and
Frank Wolter and
Michael Zakharyaschev},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {Modal Logics for Metric Spaces: Open Problems},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
pages = {193--108},
publisher = {College Publications},
year = {2005},
timestamp = {Thu, 09 Jul 2020 09:13:39 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KuruczWZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KonevWZ05,
author = {Boris Konev and
Frank Wolter and
Michael Zakharyaschev},
editor = {Robert Nieuwenhuis},
title = {Temporal Logics over Transitive States},
booktitle = {Automated Deduction - CADE-20, 20th International Conference on Automated
Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3632},
pages = {182--203},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11532231\_14},
doi = {10.1007/11532231\_14},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/KonevWZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BaaderMLSW05,
author = {Franz Baader and
Maja Milicic and
Carsten Lutz and
Ulrike Sattler and
Frank Wolter},
editor = {Ian Horrocks and
Ulrike Sattler and
Frank Wolter},
title = {Integrating Description Logics and Action Formalisms: First Results},
booktitle = {Proceedings of the 2005 International Workshop on Description Logics
(DL2005), Edinburgh, Scotland, UK, July 26-28, 2005},
series = {{CEUR} Workshop Proceedings},
volume = {147},
publisher = {CEUR-WS.org},
year = {2005},
url = {https://ceur-ws.org/Vol-147/04-BMLSW.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BaaderMLSW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/SheremetTWZ05,
author = {Mikhail Sheremet and
Dmitry Tishkovsky and
Frank Wolter and
Michael Zakharyaschev},
editor = {Ian Horrocks and
Ulrike Sattler and
Frank Wolter},
title = {'Closer' representation and reasoning},
booktitle = {Proceedings of the 2005 International Workshop on Description Logics
(DL2005), Edinburgh, Scotland, UK, July 26-28, 2005},
series = {{CEUR} Workshop Proceedings},
volume = {147},
publisher = {CEUR-WS.org},
year = {2005},
url = {https://ceur-ws.org/Vol-147/05-SherTishWolZak.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/SheremetTWZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/SheremetTWZ05,
author = {Mikhail Sheremet and
Dmitry Tishkovsky and
Frank Wolter and
Michael Zakharyaschev},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Comparative Similarity, Tree Automata, and Diophantine Equations},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {651--665},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_45},
doi = {10.1007/11591191\_45},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/SheremetTWZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/LutzWW05,
author = {Carsten Lutz and
Dirk Walther and
Frank Wolter},
title = {Quantitative Temporal Logics: {PSPACE} and Below},
booktitle = {12th International Symposium on Temporal Representation and Reasoning
{(TIME} 2005), 23-25 June 2005, Burlington, Vermont, {USA}},
pages = {138--146},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/TIME.2005.31},
doi = {10.1109/TIME.2005.31},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/LutzWW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2005,
editor = {Ian Horrocks and
Ulrike Sattler and
Frank Wolter},
title = {Proceedings of the 2005 International Workshop on Description Logics
(DL2005), Edinburgh, Scotland, UK, July 26-28, 2005},
series = {{CEUR} Workshop Proceedings},
volume = {147},
publisher = {CEUR-WS.org},
year = {2005},
url = {https://ceur-ws.org/Vol-147},
urn = {urn:nbn:de:0074-147-2},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/KutzLWZ04,
author = {Oliver Kutz and
Carsten Lutz and
Frank Wolter and
Michael Zakharyaschev},
title = {E-connections of abstract description systems},
journal = {Artif. Intell.},
volume = {156},
number = {1},
pages = {1--73},
year = {2004},
url = {https://doi.org/10.1016/j.artint.2004.02.002},
doi = {10.1016/J.ARTINT.2004.02.002},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/KutzLWZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BauerHWZ04,
author = {Sebastian Bauer and
Ian M. Hodkinson and
Frank Wolter and
Michael Zakharyaschev},
title = {On Non-local Propositional and Weak Monodic Quantified {CTL}},
journal = {J. Log. Comput.},
volume = {14},
number = {1},
pages = {3--22},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.1.3},
doi = {10.1093/LOGCOM/14.1.3},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/BauerHWZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/KontchakovLWZ04,
author = {Roman Kontchakov and
Carsten Lutz and
Frank Wolter and
Michael Zakharyaschev},
title = {Temporalising Tableaux},
journal = {Stud Logica},
volume = {76},
number = {1},
pages = {91--134},
year = {2004},
url = {https://doi.org/10.1023/B:STUD.0000027468.28935.6d},
doi = {10.1023/B:STUD.0000027468.28935.6D},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/KontchakovLWZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BaaderHLW03,
author = {Franz Baader and
Jan Hladik and
Carsten Lutz and
Frank Wolter},
title = {From Tableaux to Automata for Description Logics},
journal = {Fundam. Informaticae},
volume = {57},
number = {2-4},
pages = {247--279},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi57-2-4-08},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BaaderHLW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/KutzWSSZ03,
author = {Oliver Kutz and
Frank Wolter and
Holger Sturm and
Nobu{-}Yuki Suzuki and
Michael Zakharyaschev},
title = {Logics of metric spaces},
journal = {{ACM} Trans. Comput. Log.},
volume = {4},
number = {2},
pages = {260--294},
year = {2003},
url = {https://doi.org/10.1145/635499.635504},
doi = {10.1145/635499.635504},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/KutzWSSZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KutzLWZ03,
author = {Oliver Kutz and
Carsten Lutz and
Frank Wolter and
Michael Zakharyaschev},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {E-connections of Description Logics},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/wolter-1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KutzLWZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/LutzWZ03,
author = {Carsten Lutz and
Frank Wolter and
Michael Zakharyaschev},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Resasoning about Concepts and Similarity},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/wolter-2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/LutzWZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/GabelaiaKKWZ03,
author = {David Gabelaia and
Roman Kontchakov and
Agi Kurucz and
Frank Wolter and
Michael Zakharyaschev},
editor = {Ingrid Russell and
Susan M. Haller},
title = {On the Computational Complexity of Spatio-Temporal Logics},
booktitle = {Proceedings of the Sixteenth International Florida Artificial Intelligence
Research Society Conference, May 12-14, 2003, St. Augustine, Florida,
{USA}},
pages = {460--464},
publisher = {{AAAI} Press},
year = {2003},
url = {http://www.aaai.org/Library/FLAIRS/2003/flairs03-090.php},
timestamp = {Wed, 26 Oct 2022 08:35:31 +0200},
biburl = {https://dblp.org/rec/conf/flairs/GabelaiaKKWZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WolterZ03,
author = {Frank Wolter and
Michael Zakharyaschev},
editor = {Georg Gottlob and
Toby Walsh},
title = {Reasoning about distances},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
pages = {1275--1282},
publisher = {Morgan Kaufmann},
year = {2003},
url = {http://ijcai.org/Proceedings/03/Papers/182.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:41 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/WolterZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BaaderHLW03,
author = {Franz Baader and
Jan Hladik and
Carsten Lutz and
Frank Wolter},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {From Tableaux to Automata for Description Logics},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {1--32},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_1},
doi = {10.1007/978-3-540-39813-4\_1},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/BaaderHLW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/LutzWZ03,
author = {Carsten Lutz and
Frank Wolter and
Michael Zakharyaschev},
editor = {Marta Cialdea Mayer and
Fiora Pirri},
title = {A Tableau Algorithm for Reasoning about Concepts and Similarity},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2003, Rome, Italy, September 9-12, 2003. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2796},
pages = {134--149},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45206-5\_12},
doi = {10.1007/978-3-540-45206-5\_12},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/LutzWZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/HodkinsonKKWZ03,
author = {Ian M. Hodkinson and
Roman Kontchakov and
Agi Kurucz and
Frank Wolter and
Michael Zakharyaschev},
title = {On the Computational Complexity of Decidable Fragments of First-Order
Linear Temporal Logics},
booktitle = {10th International Symposium on Temporal Representation and Reasoning
/ 4th International Conference on Temporal Logic {(TIME-ICTL} 2003),
8-10 July 2003, Cairns, Queensland, Australia},
pages = {91--98},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/TIME.2003.1214884},
doi = {10.1109/TIME.2003.1214884},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/HodkinsonKKWZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/dlog/BaaderKW03,
author = {Franz Baader and
Ralf K{\"{u}}sters and
Frank Wolter},
editor = {Franz Baader and
Diego Calvanese and
Deborah L. McGuinness and
Daniele Nardi and
Peter F. Patel{-}Schneider},
title = {Extensions to Description Logics},
booktitle = {The Description Logic Handbook: Theory, Implementation, and Applications},
pages = {219--261},
publisher = {Cambridge University Press},
year = {2003},
timestamp = {Mon, 20 Nov 2017 13:02:05 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BaaderKW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiml/2002,
editor = {Philippe Balbiani and
Nobu{-}Yuki Suzuki and
Frank Wolter and
Michael Zakharyaschev},
title = {Advances in Modal Logic 4, papers from the fourth conference on "Advances
in Modal logic," held in Toulouse, France, 30 September - 2 October
2002},
publisher = {King's College Publications},
year = {2003},
url = {http://www.aiml.net/volumes/volume4/},
isbn = {0-9543006-2-9},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/WolterZ02,
author = {Frank Wolter and
Michael Zakharyaschev},
title = {Axiomatizing the monodic fragment of first-order temporal logic},
journal = {Ann. Pure Appl. Log.},
volume = {118},
number = {1-2},
pages = {133--145},
year = {2002},
url = {https://doi.org/10.1016/S0168-0072(01)00124-5},
doi = {10.1016/S0168-0072(01)00124-5},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/WolterZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apin/BennettCWZ02,
author = {Brandon Bennett and
Anthony G. Cohn and
Frank Wolter and
Michael Zakharyaschev},
title = {Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning},
journal = {Appl. Intell.},
volume = {17},
number = {3},
pages = {239--251},
year = {2002},
url = {https://doi.org/10.1023/A:1020083231504},
doi = {10.1023/A:1020083231504},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apin/BennettCWZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/BaaderLSW02,
author = {Franz Baader and
Carsten Lutz and
Holger Sturm and
Frank Wolter},
title = {Fusions of Description Logics and Abstract Description Systems},
journal = {J. Artif. Intell. Res.},
volume = {16},
pages = {1--58},
year = {2002},
url = {https://doi.org/10.1613/jair.919},
doi = {10.1613/JAIR.919},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/BaaderLSW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/KutzSSWZ02,
author = {Oliver Kutz and
Holger Sturm and
Nobu{-}Yuki Suzuki and
Frank Wolter and
Michael Zakharyaschev},
title = {Axiomatizing Distance Logics},
journal = {J. Appl. Non Class. Logics},
volume = {12},
number = {3-4},
pages = {425--440},
year = {2002},
url = {https://doi.org/10.3166/jancl.12.425-439},
doi = {10.3166/JANCL.12.425-439},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jancl/KutzSSWZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/SturmW02,
author = {Holger Sturm and
Frank Wolter},
title = {A Tableau Calculus for Temporal Description Logic: the Expanding Domain
Case},
journal = {J. Log. Comput.},
volume = {12},
number = {5},
pages = {809--838},
year = {2002},
url = {https://doi.org/10.1093/logcom/12.5.809},
doi = {10.1093/LOGCOM/12.5.809},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/SturmW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/KuruczZW02,
author = {{\'{A}}gnes Kurucz and
Michael Zakharyaschev and
Frank Wolter},
title = {Preface},
journal = {Stud Logica},
volume = {72},
number = {2},
pages = {145--146},
year = {2002},
url = {https://doi.org/10.1023/A:1021324625600},
doi = {10.1023/A:1021324625600},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/KuruczZW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/LutzSWZ02,
author = {Carsten Lutz and
Holger Sturm and
Frank Wolter and
Michael Zakharyaschev},
title = {A Tableau Decision Algorithm for Modalized {ALC} with Constant Domains},
journal = {Stud Logica},
volume = {72},
number = {2},
pages = {199--232},
year = {2002},
url = {https://doi.org/10.1023/A:1021308527417},
doi = {10.1023/A:1021308527417},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sLogica/LutzSWZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/BalbianiSWZ02,
author = {Philippe Balbiani and
Nobu{-}Yuki Suzuki and
Frank Wolter and
Michael Zakharyaschev},
editor = {Philippe Balbiani and
Nobu{-}Yuki Suzuki and
Frank Wolter and
Michael Zakharyaschev},
title = {Editorial Preface},
booktitle = {Advances in Modal Logic 4, papers from the fourth conference on "Advances
in Modal logic," held in Toulouse, France, 30 September - 2 October
2002},
publisher = {King's College Publications},
year = {2002},
timestamp = {Wed, 17 Jan 2024 09:58:31 +0100},
biburl = {https://dblp.org/rec/conf/aiml/BalbianiSWZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/ArtaleFWZ02,
author = {Alessandro Artale and
Enrico Franconi and
Frank Wolter and
Michael Zakharyaschev},
editor = {Sergio Flesca and
Sergio Greco and
Nicola Leone and
Giovambattista Ianni},
title = {A Temporal Description Logic for Reasoning over Conceptual Schemas
and Queries},
booktitle = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
Cosenza, Italy, September, 23-26, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2424},
pages = {98--110},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45757-7\_9},
doi = {10.1007/3-540-45757-7\_9},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/ArtaleFWZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KutzWZ02,
author = {Oliver Kutz and
Frank Wolter and
Michael Zakharyaschev},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Connecting Abstract Description Systems},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {215--226},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 15:20:23 +0200},
biburl = {https://dblp.org/rec/conf/kr/KutzWZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HodkinsonWZ02,
author = {Ian M. Hodkinson and
Frank Wolter and
Michael Zakharyaschev},
title = {Decidable and Undecidable Fragments of First-Order Branching Temporal
Logics},
booktitle = {17th {IEEE} Symposium on Logic in Computer Science {(LICS} 2002),
22-25 July 2002, Copenhagen, Denmark, Proceedings},
pages = {393--402},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/LICS.2002.1029847},
doi = {10.1109/LICS.2002.1029847},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/HodkinsonWZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BauerHWZ02,
author = {Sebastian Bauer and
Ian M. Hodkinson and
Frank Wolter and
Michael Zakharyaschev},
title = {On Non-Local Propositional and Local One-Variable Quantified CTL*},
booktitle = {9th International Symposium on Temporal Representation and Reasoning,
TIME-2002, Manchester, UK, July 7-9, 2002},
pages = {2--9},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/TIME.2002.1027466},
doi = {10.1109/TIME.2002.1027466},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/BauerHWZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiml/2000,
editor = {Frank Wolter and
Heinrich Wansing and
Maarten de Rijke and
Michael Zakharyaschev},
title = {Advances in Modal Logic 3, papers from the third conference on "Advances
in Modal logic," held in Leipzig, Germany, 4-7 October 2000},
publisher = {World Scientific},
year = {2002},
url = {https://doi.org/10.1142/5114},
doi = {10.1142/5114},
isbn = {981-238-179-1},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/SturmW01,
author = {Holger Sturm and
Frank Wolter},
title = {First-order Expressivity for S5-models: Modal vs. Two-sorted Languages},
journal = {J. Philos. Log.},
volume = {30},
number = {6},
pages = {571--591},
year = {2001},
url = {https://doi.org/10.1023/A:1013360121031},
doi = {10.1023/A:1013360121031},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jphil/SturmW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/WolterZ01,
author = {Frank Wolter and
Michael Zakharyaschev},
title = {Decidable Fragments of First-Order Modal Logics},
journal = {J. Symb. Log.},
volume = {66},
number = {3},
pages = {1415--1438},
year = {2001},
url = {https://doi.org/10.2307/2695115},
doi = {10.2307/2695115},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/WolterZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LutzSWZ01,
author = {Carsten Lutz and
Holger Sturm and
Frank Wolter and
Michael Zakharyaschev},
editor = {Rajeev Gor{\'{e}} and
Alexander Leitsch and
Tobias Nipkow},
title = {Tableaux for Temporal Description Logic with Constant Domains},
booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR}
2001, Siena, Italy, June 18-23, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2083},
pages = {121--136},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45744-5\_10},
doi = {10.1007/3-540-45744-5\_10},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/LutzSWZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/LutzSW01,
author = {Carsten Lutz and
Ulrike Sattler and
Frank Wolter},
editor = {Laurent Fribourg},
title = {Modal Logic and the Two-Variable Fragment},
booktitle = {Computer Science Logic, 15th International Workshop, {CSL} 2001. 10th
Annual Conference of the EACSL, Paris, France, September 10-13, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2142},
pages = {247--261},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44802-0\_18},
doi = {10.1007/3-540-44802-0\_18},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/LutzSW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ArtaleFMWZ01,
author = {Alessandro Artale and
Enrico Franconi and
Milenko Mosurovic and
Frank Wolter and
Michael Zakharyaschev},
editor = {Carole A. Goble and
Deborah L. McGuinness and
Ralf M{\"{o}}ller and
Peter F. Patel{-}Schneider},
title = {The {DLRUS} Temporal Description Logic},
booktitle = {Working Notes of the 2001 International Description Logics Workshop
(DL-2001), Stanford, CA, USA, August 1-3, 2001},
series = {{CEUR} Workshop Proceedings},
volume = {49},
publisher = {CEUR-WS.org},
year = {2001},
url = {https://ceur-ws.org/Vol-49/ArtaleFranconiMosurovicWolterZakharyaschev-96start.ps},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ArtaleFMWZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KutzWZ01,
author = {Oliver Kutz and
Frank Wolter and
Michael Zakharyaschev},
editor = {Carole A. Goble and
Deborah L. McGuinness and
Ralf M{\"{o}}ller and
Peter F. Patel{-}Schneider},
title = {A Note on Concepts and Distances},
booktitle = {Working Notes of the 2001 International Description Logics Workshop
(DL-2001), Stanford, CA, USA, August 1-3, 2001},
series = {{CEUR} Workshop Proceedings},
volume = {49},
publisher = {CEUR-WS.org},
year = {2001},
url = {https://ceur-ws.org/Vol-49/KutzWolterZakharyaschev-113start.ps},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KutzWZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/LutzSW01,
author = {Carsten Lutz and
Ulrike Sattler and
Frank Wolter},
editor = {Carole A. Goble and
Deborah L. McGuinness and
Ralf M{\"{o}}ller and
Peter F. Patel{-}Schneider},
title = {Description Logics and the Two-Variable Fragment},
booktitle = {Working Notes of the 2001 International Description Logics Workshop
(DL-2001), Stanford, CA, USA, August 1-3, 2001},
series = {{CEUR} Workshop Proceedings},
volume = {49},
publisher = {CEUR-WS.org},
year = {2001},
url = {https://ceur-ws.org/Vol-49/LutzSattlerWolter-66start.ps},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/LutzSW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HodkinsonWZ01,
author = {Ian M. Hodkinson and
Frank Wolter and
Michael Zakharyaschev},
editor = {Robert Nieuwenhuis and
Andrei Voronkov},
title = {Monodic fragments of first-order temporal logics: 2000-2001 {A.D}},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 8th
International Conference, {LPAR} 2001, Havana, Cuba, December 3-7,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2250},
pages = {1--23},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45653-8\_1},
doi = {10.1007/3-540-45653-8\_1},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/HodkinsonWZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/ArtaleFMWZ01,
author = {Alessandro Artale and
Enrico Franconi and
Milenko Mosurovic and
Frank Wolter and
Michael Zakharyaschev},
editor = {Augusto Celentano and
Letizia Tanca and
Paolo Tiberio},
title = {Reasoning over Conceptual Schemas and Queries in Temporal Databases},
booktitle = {Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati, {SEBD} 2001,
Venezia, Italy, 27-29 Giugno 2001},
pages = {201--214},
year = {2001},
timestamp = {Mon, 18 Jan 2016 11:07:09 +0100},
biburl = {https://dblp.org/rec/conf/sebd/ArtaleFMWZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/HodkinsonWZ00,
author = {Ian M. Hodkinson and
Frank Wolter and
Michael Zakharyaschev},
title = {Decidable fragment of first-order temporal logics},
journal = {Ann. Pure Appl. Log.},
volume = {106},
number = {1-3},
pages = {85--134},
year = {2000},
url = {https://doi.org/10.1016/S0168-0072(00)00018-X},
doi = {10.1016/S0168-0072(00)00018-X},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/HodkinsonWZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Wolter00,
author = {Frank Wolter},
title = {The product of converse {PDL} and polymodal {K}},
journal = {J. Log. Comput.},
volume = {10},
number = {2},
pages = {223--251},
year = {2000},
url = {https://doi.org/10.1093/logcom/10.2.223},
doi = {10.1093/LOGCOM/10.2.223},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Wolter00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Wolter00,
author = {Frank Wolter},
title = {First Order Common Knowledge Logics},
journal = {Stud Logica},
volume = {65},
number = {2},
pages = {249--271},
year = {2000},
url = {https://doi.org/10.1023/A:1005271815356},
doi = {10.1023/A:1005271815356},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sLogica/Wolter00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BaaderLSW00,
author = {Franz Baader and
Carsten Lutz and
Holger Sturm and
Frank Wolter},
editor = {Franz Baader and
Ulrike Sattler},
title = {Fusions of Description Logics},
booktitle = {Proceedings of the 2000 International Workshop on Description Logics
(DL2000), Aachen, Germany, August 17-19, 2000},
series = {{CEUR} Workshop Proceedings},
volume = {33},
pages = {21--30},
publisher = {CEUR-WS.org},
year = {2000},
url = {https://ceur-ws.org/Vol-33/Baader21-30.ps},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BaaderLSW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/WolterZ00,
author = {Frank Wolter and
Michael Zakharyaschev},
editor = {Werner Horn},
title = {Spatial Reasoning in {RCC-8} with Boolean Region Terms},
booktitle = {{ECAI} 2000, Proceedings of the 14th European Conference on Artificial
Intelligence, Berlin, Germany, August 20-25, 2000},
pages = {244--250},
publisher = {{IOS} Press},
year = {2000},
timestamp = {Mon, 30 Jun 2003 10:55:01 +0200},
biburl = {https://dblp.org/rec/conf/ecai/WolterZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/SturmSWZ00,
author = {Holger Sturm and
Nobu{-}Yuki Suzuki and
Frank Wolter and
Michael Zakharyaschev},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {Semi-qualitative Reasoning about Distances: {A} Preliminary Report},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {37--56},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_4},
doi = {10.1007/3-540-40006-0\_4},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/SturmSWZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/SturmWZ00,
author = {Holger Sturm and
Frank Wolter and
Michael Zakharyaschev},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {Monodic Epistemic Predicate Logic},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {329--344},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_23},
doi = {10.1007/3-540-40006-0\_23},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/SturmWZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/WolterZ00,
author = {Frank Wolter and
Michael Zakharyaschev},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Spatio-temporal representation and reasoning based on {RCC-8}},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {3--14},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/kr/WolterZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/WolterZ99,
author = {Frank Wolter and
Michael Zakharyaschev},
title = {Modal Description Logics: Modalizing Roles},
journal = {Fundam. Informaticae},
volume = {39},
number = {4},
pages = {411--438},
year = {1999},
url = {https://doi.org/10.3233/FI-1999-39405},
doi = {10.3233/FI-1999-39405},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/WolterZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KrachtW99,
author = {Marcus Kracht and
Frank Wolter},
title = {Normal Monomodal Logics Can Simulate All Others},
journal = {J. Symb. Log.},
volume = {64},
number = {1},
pages = {99--138},
year = {1999},
url = {https://doi.org/10.2307/2586754},
doi = {10.2307/2586754},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/KrachtW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WolterZ99,
author = {Frank Wolter and
Michael Zakharyaschev},
editor = {Thomas Dean},
title = {Multi-Dimensional Description Logics},
booktitle = {Proceedings of the Sixteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 99, Stockholm, Sweden, July 31 - August 6, 1999.
2 Volumes, 1450 pages},
pages = {104--109},
publisher = {Morgan Kaufmann},
year = {1999},
url = {http://ijcai.org/Proceedings/99-1/Papers/016.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:16 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/WolterZ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Wolter98,
author = {Frank Wolter},
title = {All finitely axiomatizable subframe logics containing the provability
logic {CSM} \({}_{\mbox{0}}\){\_}\{0\} are decidable},
journal = {Arch. Math. Log.},
volume = {37},
number = {3},
pages = {167--182},
year = {1998},
url = {https://doi.org/10.1007/s001530050090},
doi = {10.1007/S001530050090},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/Wolter98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/SuzukiWZ98,
author = {Yasuhito Suzuki and
Frank Wolter and
Michael Zakharyaschev},
title = {Speaking about Transitive Frames in Propositional Languages},
journal = {J. Log. Lang. Inf.},
volume = {7},
number = {3},
pages = {317--339},
year = {1998},
url = {https://doi.org/10.1023/A:1008237600846},
doi = {10.1023/A:1008237600846},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jolli/SuzukiWZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Wolter98,
author = {Frank Wolter},
title = {On Logics with Coimplication},
journal = {J. Philos. Log.},
volume = {27},
number = {4},
pages = {353--387},
year = {1998},
url = {https://doi.org/10.1023/A:1004218110879},
doi = {10.1023/A:1004218110879},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jphil/Wolter98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/WolterZ98,
author = {Frank Wolter and
Michael Zakharyaschev},
editor = {Michael Zakharyaschev and
Krister Segerberg and
Maarten de Rijke and
Heinrich Wansing},
title = {Dynamic Description Logics},
booktitle = {Advances in Modal Logic 2, papers from the second workshop on "Advances
in Modal logic," held in Uppsala, Sweden, 16-18 October 1998},
pages = {431--446},
publisher = {{CSLI} Publications},
year = {1998},
timestamp = {Wed, 17 Jan 2024 17:12:17 +0100},
biburl = {https://dblp.org/rec/conf/aiml/WolterZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/WolterZ98,
author = {Frank Wolter and
Michael Zakharyaschev},
editor = {Dov M. Gabbay and
Maarten de Rijke},
title = {Temporalizing Description Logics},
booktitle = {Frontiers of Combining Systems, Second International Workshop, FroCoS
1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings},
pages = {379--402},
publisher = {Research Studies Press/Wiley},
year = {1998},
timestamp = {Mon, 22 Nov 2021 11:39:04 +0100},
biburl = {https://dblp.org/rec/conf/frocos/WolterZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/WolterZ98,
author = {Frank Wolter and
Michael Zakharyaschev},
editor = {Anthony G. Cohn and
Lenhart K. Schubert and
Stuart C. Shapiro},
title = {On the Decidability of Description Logics with Modal Operators},
booktitle = {Proceedings of the Sixth International Conference on Principles of
Knowledge Representation and Reasoning (KR'98), Trento, Italy, June
2-5, 1998},
pages = {512--523},
publisher = {Morgan Kaufmann},
year = {1998},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/kr/WolterZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Wolter97,
author = {Frank Wolter},
title = {The Structure of Lattices of Subframe Logics},
journal = {Ann. Pure Appl. Log.},
volume = {86},
number = {1},
pages = {47--100},
year = {1997},
url = {https://doi.org/10.1016/S0168-0072(96)00049-8},
doi = {10.1016/S0168-0072(96)00049-8},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Wolter97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Wolter97,
author = {Frank Wolter},
title = {A Note on the Interpolation Property in Tense Logic},
journal = {J. Philos. Log.},
volume = {26},
number = {5},
pages = {545--551},
year = {1997},
url = {https://doi.org/10.1023/A:1017956722866},
doi = {10.1023/A:1017956722866},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jphil/Wolter97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wolter97,
author = {Frank Wolter},
title = {Completeness and Decidability of Tense Logics Closely Related to Logics
Above {K4}},
journal = {J. Symb. Log.},
volume = {62},
number = {1},
pages = {131--158},
year = {1997},
url = {https://doi.org/10.2307/2275736},
doi = {10.2307/2275736},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Wolter97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Wolter97,
author = {Frank Wolter},
title = {Superintuitionistic Companions of Classical Modal Logics},
journal = {Stud Logica},
volume = {58},
number = {2},
pages = {229--259},
year = {1997},
url = {https://doi.org/10.1023/A:1004916107078},
doi = {10.1023/A:1004916107078},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sLogica/Wolter97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/KrachtW97,
author = {Marcus Kracht and
Frank Wolter},
title = {Simulation and Transfer Results in Modal Logic - {A} Survey},
journal = {Stud Logica},
volume = {59},
number = {1},
pages = {149--177},
year = {1997},
url = {https://doi.org/10.1023/A:1004900300438},
doi = {10.1023/A:1004900300438},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sLogica/KrachtW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Wolter96,
author = {Frank Wolter},
title = {Tense Logic Without Tense Operators},
journal = {Math. Log. Q.},
volume = {42},
pages = {145--171},
year = {1996},
url = {https://doi.org/10.1002/malq.19960420113},
doi = {10.1002/MALQ.19960420113},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/Wolter96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Wolter96a,
author = {Frank Wolter},
title = {Properties of Tense Logics},
journal = {Math. Log. Q.},
volume = {42},
pages = {481--500},
year = {1996},
url = {https://doi.org/10.1002/malq.19960420140},
doi = {10.1002/MALQ.19960420140},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/Wolter96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Wolter96,
author = {Frank Wolter},
title = {A Counterexample in Tense Logic},
journal = {Notre Dame J. Formal Log.},
volume = {37},
number = {2},
pages = {167--173},
year = {1996},
url = {https://doi.org/10.1305/ndjfl/1040046085},
doi = {10.1305/NDJFL/1040046085},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ndjfl/Wolter96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/Wolter96,
author = {Frank Wolter},
editor = {Marcus Kracht and
Maarten de Rijke and
Heinrich Wansing and
Michael Zakharyaschev},
title = {Fusions of Modal Logics Revisited},
booktitle = {Advances in Modal Logic 1, papers from the first workshop on "Advances
in Modal logic," held in Berlin, Germany, 8-10 October 1996},
pages = {361--379},
publisher = {{CSLI} Publications},
year = {1996},
timestamp = {Wed, 17 Jan 2024 17:12:17 +0100},
biburl = {https://dblp.org/rec/conf/aiml/Wolter96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wolter95,
author = {Frank Wolter},
title = {The Finite Model Property in Tense Logic},
journal = {J. Symb. Log.},
volume = {60},
number = {3},
pages = {757--774},
year = {1995},
url = {https://doi.org/10.2307/2275755},
doi = {10.2307/2275755},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Wolter95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Wolter94,
author = {Frank Wolter},
title = {Solution to a Problem of Goranko and Passy},
journal = {J. Log. Comput.},
volume = {4},
number = {1},
pages = {21--22},
year = {1994},
url = {https://doi.org/10.1093/logcom/4.1.21},
doi = {10.1093/LOGCOM/4.1.21},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/Wolter94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Wolter94,
author = {Frank Wolter},
title = {What is the upper part of the lattice of bimodal logics?},
journal = {Stud Logica},
volume = {53},
number = {2},
pages = {235--242},
year = {1994},
url = {https://doi.org/10.1007/BF01054711},
doi = {10.1007/BF01054711},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sLogica/Wolter94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KrachtW91,
author = {Marcus Kracht and
Frank Wolter},
title = {Properties of Independently Axiomatizable Bimodal Logics},
journal = {J. Symb. Log.},
volume = {56},
number = {4},
pages = {1469--1485},
year = {1991},
url = {https://doi.org/10.2307/2275487},
doi = {10.2307/2275487},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/KrachtW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-13 01:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
