Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Markus Krötzsch
@article{DBLP:journals/corr/abs-2403-16712,
author = {Philipp Hanisch and
Markus Kr{\"{o}}tzsch},
title = {Chase Termination Beyond Polynomial Time},
journal = {CoRR},
volume = {abs/2403.16712},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.16712},
doi = {10.48550/ARXIV.2403.16712},
eprinttype = {arXiv},
eprint = {2403.16712},
timestamp = {Tue, 09 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-16712.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/GonzalezIKM23,
author = {Larry Gonz{\'{a}}lez and
Alex Ivliev and
Markus Kr{\"{o}}tzsch and
Stephan Mennicke},
editor = {Benny Kimelfeld and
Maria Vanina Martinez and
Renzo Angles},
title = {Efficient Dependency Analysis for Existential Rules (short paper)},
booktitle = {Proceedings of the 15th Alberto Mendelzon International Workshop on
Foundations of Data Management {(AMW} 2023), Santiago de Chile, Chile,
May 22-26, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3409},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3409/paper\_10.pdf},
timestamp = {Tue, 13 Jun 2023 16:59:20 +0200},
biburl = {https://dblp.org/rec/conf/amw/GonzalezIKM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/VrandecicPK23,
author = {Denny Vrandecic and
Lydia Pintscher and
Markus Kr{\"{o}}tzsch},
editor = {Ying Ding and
Jie Tang and
Juan F. Sequeda and
Lora Aroyo and
Carlos Castillo and
Geert{-}Jan Houben},
title = {Wikidata: The Making Of},
booktitle = {Companion Proceedings of the {ACM} Web Conference 2023, {WWW} 2023,
Austin, TX, USA, 30 April 2023 - 4 May 2023},
pages = {615--624},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3543873.3585579},
doi = {10.1145/3543873.3585579},
timestamp = {Mon, 28 Aug 2023 21:17:11 +0200},
biburl = {https://dblp.org/rec/conf/www/VrandecicPK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2308-15897,
author = {Alex Ivliev and
Stefan Ellmauthaler and
Lukas Gerlach and
Maximilian Marx and
Matthias Mei{\ss}ner and
Simon Meusel and
Markus Kr{\"{o}}tzsch},
editor = {Enrico Pontelli and
Stefania Costantini and
Carmine Dodaro and
Sarah Alice Gaggl and
Roberta Calegari and
Artur S. d'Avila Garcez and
Francesco Fabiano and
Alessandra Mileo and
Alessandra Russo and
Francesca Toni},
title = {Nemo: First Glimpse of a New Rule Engine},
booktitle = {Proceedings 39th International Conference on Logic Programming, {ICLP}
2023, Imperial College London, UK, 9th July 2023 - 15th July 2023},
series = {{EPTCS}},
volume = {385},
pages = {333--335},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.385.35},
doi = {10.4204/EPTCS.385.35},
timestamp = {Wed, 25 Oct 2023 16:09:20 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-15897.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Borgwardt0KKNS22,
author = {Stefan Borgwardt and
J{\"{o}}rg Hoffmann and
Alisa Kovtunova and
Markus Kr{\"{o}}tzsch and
Bernhard Nebel and
Marcel Steinmetz},
title = {Expressivity of Planning with Horn Description Logic Ontologies},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {5503--5511},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i5.20489},
doi = {10.1609/AAAI.V36I5.20489},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaai/Borgwardt0KKNS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/EllmauthalerKM22,
author = {Stefan Ellmauthaler and
Markus Kr{\"{o}}tzsch and
Stephan Mennicke},
title = {Answering Queries with Negation over Existential Rules},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {5626--5633},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i5.20503},
doi = {10.1609/AAAI.V36I5.20503},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/EllmauthalerKM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/Yang22,
author = {Raimund Dachselt and
Sarah Alice Gaggl and
Markus Kr{\"{o}}tzsch and
Juli{\'{a}}n M{\'{e}}ndez and
Dominik Rusovac and
Mei Yang},
editor = {Francesca Toni and
Sylwia Polberg and
Richard Booth and
Martin Caminada and
Hiroyuki Kido},
title = {{NEXAS:} {A} Visual Tool for Navigating and Exploring Argumentation
Solution Spaces},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2022, Cardiff,
Wales, UK, 14-16 September 2022},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {353},
pages = {116--127},
publisher = {{IOS} Press},
year = {2022},
url = {https://doi.org/10.3233/FAIA220146},
doi = {10.3233/FAIA220146},
timestamp = {Mon, 31 Oct 2022 16:49:16 +0100},
biburl = {https://dblp.org/rec/conf/comma/Yang22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/0001K22,
author = {Maximilian Marx and
Markus Kr{\"{o}}tzsch},
editor = {Mario Alviano and
Andreas Pieris},
title = {Tuple-Generating Dependencies Capture Complex Values (Extended Abstract)},
booktitle = {Proceedings of the 4th International Workshop on the Resurgence of
Datalog in Academia and Industry (Datalog-2.0 2022) co-located with
the 16th International Conference on Logic Programming and Nonmonotonic
Reasoning {(LPNMR} 2022), Genova-Nervi, Italy, September 5, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3203},
pages = {97--103},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3203/short3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:45 +0100},
biburl = {https://dblp.org/rec/conf/datalog/0001K22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Borgwardt0KKNS22,
author = {Stefan Borgwardt and
J{\"{o}}rg Hoffmann and
Alisa Kovtunova and
Markus Kr{\"{o}}tzsch and
Bernhard Nebel and
Marcel Steinmetz},
editor = {Ofer Arieli and
Martin Homola and
Jean Christoph Jung and
Marie{-}Laure Mugnier},
title = {Expressivity of Planning with Horn Description Logic Ontologies (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-5.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Borgwardt0KKNS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/0001K22,
author = {Maximilian Marx and
Markus Kr{\"{o}}tzsch},
editor = {Dan Olteanu and
Nils Vortmeier},
title = {Tuple-Generating Dependencies Capture Complex Values},
booktitle = {25th International Conference on Database Theory, {ICDT} 2022, March
29 to April 1, 2022, Edinburgh, {UK} (Virtual Conference)},
series = {LIPIcs},
volume = {220},
pages = {13:1--13:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2022.13},
doi = {10.4230/LIPICS.ICDT.2022.13},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdt/0001K22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GagglHK22,
author = {Sarah Alice Gaggl and
Philipp Hanisch and
Markus Kr{\"{o}}tzsch},
editor = {Luc De Raedt},
title = {Simulating Sets in Answer Set Programming},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {2634--2640},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/365},
doi = {10.24963/IJCAI.2022/365},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GagglHK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BourgauxCKRT22,
author = {Camille Bourgaux and
David Carral and
Markus Kr{\"{o}}tzsch and
Sebastian Rudolph and
Micha{\"{e}}l Thomazo},
editor = {Luc De Raedt},
title = {Capturing Homomorphism-Closed Decidable Queries with Existential Rules
(Extended Abstract)},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {5269--5273},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/733},
doi = {10.24963/IJCAI.2022/733},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/BourgauxCKRT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/UrbaniKE22,
author = {Jacopo Urbani and
Markus Kr{\"{o}}tzsch and
Thomas Eiter},
editor = {Gabriele Kern{-}Isberner and
Gerhard Lakemeyer and
Thomas Meyer},
title = {Chasing Streams with Existential Rules},
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/43/},
timestamp = {Tue, 05 Sep 2023 14:47:29 +0200},
biburl = {https://dblp.org/rec/conf/kr/UrbaniKE22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BeutnerCFHK22,
author = {Raven Beutner and
David Carral and
Bernd Finkbeiner and
Jana Hofmann and
Markus Kr{\"{o}}tzsch},
editor = {Christel Baier and
Dana Fisman},
title = {Deciding Hyperproperties Combined with Functional Specifications},
booktitle = {{LICS} '22: 37th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Haifa, Israel, August 2 - 5, 2022},
pages = {56:1--56:13},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3531130.3533369},
doi = {10.1145/3531130.3533369},
timestamp = {Tue, 09 Aug 2022 12:30:54 +0200},
biburl = {https://dblp.org/rec/conf/lics/BeutnerCFHK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/ElhalawatiKM22,
author = {Ali Elhalawati and
Markus Kr{\"{o}}tzsch and
Stephan Mennicke},
editor = {Guido Governatori and
Anni{-}Yasmin Turhan},
title = {An Existential Rule Framework for Computing Why-Provenance On-Demand
for Datalog},
booktitle = {Rules and Reasoning - 6th International Joint Conference on Rules
and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13752},
pages = {146--163},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21541-4\_10},
doi = {10.1007/978-3-031-21541-4\_10},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/ElhalawatiKM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/GonzalezIKM22,
author = {Larry Gonz{\'{a}}lez and
Alex Ivliev and
Markus Kr{\"{o}}tzsch and
Stephan Mennicke},
editor = {Ulrike Sattler and
Aidan Hogan and
C. Maria Keet and
Valentina Presutti and
Jo{\~{a}}o Paulo A. Almeida and
Hideaki Takeda and
Pierre Monnin and
Giuseppe Pirr{\`{o}} and
Claudia d'Amato},
title = {Efficient Dependency Analysis for Rule-Based Ontologies},
booktitle = {The Semantic Web - {ISWC} 2022 - 21st International Semantic Web Conference,
Virtual Event, October 23-27, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13489},
pages = {267--283},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19433-7\_16},
doi = {10.1007/978-3-031-19433-7\_16},
timestamp = {Mon, 28 Aug 2023 21:17:23 +0200},
biburl = {https://dblp.org/rec/conf/semweb/GonzalezIKM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BrombergerDFFGK22,
author = {Martin Bromberger and
Irina Dragoste and
Rasha Faqeh and
Christof Fetzer and
Larry Gonz{\'{a}}lez and
Markus Kr{\"{o}}tzsch and
Maximilian Marx and
Harish K. Murali and
Christoph Weidenbach},
editor = {Dana Fisman and
Grigore Rosu},
title = {A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo
Simple Linear Arithmetic},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 28th International Conference, {TACAS} 2022, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13243},
pages = {480--501},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99524-9\_27},
doi = {10.1007/978-3-030-99524-9\_27},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BrombergerDFFGK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-09769,
author = {Martin Bromberger and
Irina Dragoste and
Rasha Faqeh and
Christof Fetzer and
Larry Gonz{\'{a}}lez and
Markus Kr{\"{o}}tzsch and
Maximilian Marx and
Harish K. Murali and
Christoph Weidenbach},
title = {A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo
Simple Linear Arithmetic},
journal = {CoRR},
volume = {abs/2201.09769},
year = {2022},
url = {https://arxiv.org/abs/2201.09769},
eprinttype = {arXiv},
eprint = {2201.09769},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-09769.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-09361,
author = {Stefan Borgwardt and
J{\"{o}}rg Hoffmann and
Alisa Kovtunova and
Markus Kr{\"{o}}tzsch and
Bernhard Nebel and
Marcel Steinmetz},
title = {Expressivity of Planning with Horn Description Logic Ontologies (Technical
Report)},
journal = {CoRR},
volume = {abs/2203.09361},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.09361},
doi = {10.48550/ARXIV.2203.09361},
eprinttype = {arXiv},
eprint = {2203.09361},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-09361.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-02220,
author = {Jacopo Urbani and
Markus Kr{\"{o}}tzsch and
Thomas Eiter},
title = {Chasing Streams with Existential Rules},
journal = {CoRR},
volume = {abs/2205.02220},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.02220},
doi = {10.48550/ARXIV.2205.02220},
eprinttype = {arXiv},
eprint = {2205.02220},
timestamp = {Thu, 05 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-02220.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-15138,
author = {Raven Beutner and
David Carral and
Bernd Finkbeiner and
Jana Hofmann and
Markus Kr{\"{o}}tzsch},
title = {Deciding Hyperproperties Combined with Functional Specifications},
journal = {CoRR},
volume = {abs/2205.15138},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.15138},
doi = {10.48550/ARXIV.2205.15138},
eprinttype = {arXiv},
eprint = {2205.15138},
timestamp = {Wed, 01 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-15138.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-09669,
author = {Larry Gonz{\'{a}}lez and
Alex Ivliev and
Markus Kr{\"{o}}tzsch and
Stephan Mennicke},
title = {Efficient Dependency Analysis for Rule-Based Ontologies},
journal = {CoRR},
volume = {abs/2207.09669},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.09669},
doi = {10.48550/ARXIV.2207.09669},
eprinttype = {arXiv},
eprint = {2207.09669},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-09669.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/MasopustK21,
author = {Tom{\'{a}}s Masopust and
Markus Kr{\"{o}}tzsch},
title = {Partially Ordered Automata and Piecewise Testability},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {2},
year = {2021},
url = {https://lmcs.episciences.org/7475},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/MasopustK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BrombergerDFFKW21,
author = {Martin Bromberger and
Irina Dragoste and
Rasha Faqeh and
Christof Fetzer and
Markus Kr{\"{o}}tzsch and
Christoph Weidenbach},
editor = {Boris Konev and
Giles Reger},
title = {A Datalog Hammer for Supervisor Verification Conditions Modulo Simple
Linear Arithmetic},
booktitle = {Frontiers of Combining Systems - 13th International Symposium, FroCoS
2021, Birmingham, UK, September 8-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12941},
pages = {3--24},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86205-3\_1},
doi = {10.1007/978-3-030-86205-3\_1},
timestamp = {Fri, 03 Sep 2021 16:17:39 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BrombergerDFFKW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BourgauxCKRT21,
author = {Camille Bourgaux and
David Carral and
Markus Kr{\"{o}}tzsch and
Sebastian Rudolph and
Micha{\"{e}}l Thomazo},
editor = {Meghyn Bienvenu and
Gerhard Lakemeyer and
Esra Erdem},
title = {Capturing Homomorphism-Closed Decidable Queries with Existential Rules},
booktitle = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
pages = {141--150},
year = {2021},
url = {https://doi.org/10.24963/kr.2021/14},
doi = {10.24963/KR.2021/14},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BourgauxCKRT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-03189,
author = {Martin Bromberger and
Irina Dragoste and
Rasha Faqeh and
Christof Fetzer and
Markus Kr{\"{o}}tzsch and
Christoph Weidenbach},
title = {A Datalog Hammer for Supervisor Verification Conditions Modulo Simple
Linear Arithmetic},
journal = {CoRR},
volume = {abs/2107.03189},
year = {2021},
url = {https://arxiv.org/abs/2107.03189},
eprinttype = {arXiv},
eprint = {2107.03189},
timestamp = {Tue, 20 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-03189.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-07811,
author = {Camille Bourgaux and
David Carral and
Markus Kr{\"{o}}tzsch and
Sebastian Rudolph and
Micha{\"{e}}l Thomazo},
title = {Capturing Homomorphism-Closed Decidable Queries with Existential Rules},
journal = {CoRR},
volume = {abs/2107.07811},
year = {2021},
url = {https://arxiv.org/abs/2107.07811},
eprinttype = {arXiv},
eprint = {2107.07811},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-07811.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-07376,
author = {Stefan Ellmauthaler and
Markus Kr{\"{o}}tzsch and
Stephan Mennicke},
title = {Answering Queries with Negation over Existential Rules},
journal = {CoRR},
volume = {abs/2112.07376},
year = {2021},
url = {https://arxiv.org/abs/2112.07376},
eprinttype = {arXiv},
eprint = {2112.07376},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-07376.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/CarralDK20,
author = {David Carral and
Irina Dragoste and
Markus Kr{\"{o}}tzsch},
title = {Reasoner = Logical Calculus + Rule Engine},
journal = {K{\"{u}}nstliche Intell.},
volume = {34},
number = {4},
pages = {453--463},
year = {2020},
url = {https://doi.org/10.1007/s13218-020-00667-6},
doi = {10.1007/S13218-020-00667-6},
timestamp = {Thu, 31 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ki/CarralDK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/CarralK20,
author = {David Carral and
Markus Kr{\"{o}}tzsch},
editor = {Stefan Borgwardt and
Thomas Meyer},
title = {Rewriting {ALCHIQ} to Disjunctive Existential Rules (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-9.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/CarralK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CarralK20,
author = {David Carral and
Markus Kr{\"{o}}tzsch},
editor = {Christian Bessiere},
title = {Rewriting the Description Logic {ALCHIQ} to Disjunctive Existential
Rules},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {1777--1783},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/246},
doi = {10.24963/IJCAI.2020/246},
timestamp = {Mon, 20 Jul 2020 12:38:52 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CarralK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Krotzsch20,
author = {Markus Kr{\"{o}}tzsch},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Computing Cores for Existential Rules with the Standard Chase and
{ASP}},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {603--613},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/60},
doi = {10.24963/KR.2020/60},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/Krotzsch20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/OzakiKR19,
author = {Ana Ozaki and
Markus Kr{\"{o}}tzsch and
Sebastian Rudolph},
editor = {Carsten Lutz and
Uli Sattler and
Cesare Tinelli and
Anni{-}Yasmin Turhan and
Frank Wolter},
title = {Temporally Attributed Description Logics},
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 = {441--474},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22102-7\_21},
doi = {10.1007/978-3-030-22102-7\_21},
timestamp = {Mon, 29 Jul 2019 16:00:26 +0200},
biburl = {https://dblp.org/rec/conf/birthday/OzakiKR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/CarralDK19,
author = {David Carral and
Irina Dragoste and
Markus Kr{\"{o}}tzsch},
editor = {Mantas Simkus and
Grant E. Weddell},
title = {The Combined Approach to Query Answering in Horn-ALCHOIQ (Extended
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-39.pdf},
timestamp = {Mon, 26 Jun 2023 20:43:45 +0200},
biburl = {https://dblp.org/rec/conf/dlog/CarralDK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/CarralDKL19,
author = {David Carral and
Irina Dragoste and
Markus Kr{\"{o}}tzsch and
Christian Lewe},
editor = {Mantas Simkus and
Grant E. Weddell},
title = {Chasing Sets: How to Use Existential Rules for Expressive Reasoning
(Extended 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-40.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/CarralDKL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/KrotzschMR19,
author = {Markus Kr{\"{o}}tzsch and
Maximilian Marx and
Sebastian Rudolph},
editor = {Pablo Barcel{\'{o}} and
Marco Calautti},
title = {The Power of the Terminating Chase (Invited Talk)},
booktitle = {22nd International Conference on Database Theory, {ICDT} 2019, March
26-28, 2019, Lisbon, Portugal},
series = {LIPIcs},
volume = {127},
pages = {3:1--3:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2019.3},
doi = {10.4230/LIPICS.ICDT.2019.3},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/icdt/KrotzschMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfca/Krotzsch19,
author = {Markus Kr{\"{o}}tzsch},
editor = {Diana Cristea and
Florence Le Ber and
Baris Sertkaya},
title = {Too Much Information: Can {AI} Cope with Modern Knowledge Graphs?},
booktitle = {Formal Concept Analysis - 15th International Conference, {ICFCA} 2019,
Frankfurt, Germany, June 25-28, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11511},
pages = {17--31},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21462-3\_2},
doi = {10.1007/978-3-030-21462-3\_2},
timestamp = {Fri, 09 Apr 2021 18:47:26 +0200},
biburl = {https://dblp.org/rec/conf/icfca/Krotzsch19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CarralDKL19,
author = {David Carral and
Irina Dragoste and
Markus Kr{\"{o}}tzsch and
Christian Lewe},
editor = {Sarit Kraus},
title = {Chasing Sets: How to Use Existential Rules for Expressive Reasoning},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {1624--1631},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/225},
doi = {10.24963/IJCAI.2019/225},
timestamp = {Tue, 20 Aug 2019 16:18:18 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CarralDKL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/CarralDGJKU19,
author = {David Carral and
Irina Dragoste and
Larry Gonz{\'{a}}lez and
Ceriel J. H. Jacobs and
Markus Kr{\"{o}}tzsch and
Jacopo Urbani},
editor = {Chiara Ghidini and
Olaf Hartig and
Maria Maleshkova and
Vojtech Sv{\'{a}}tek and
Isabel F. Cruz and
Aidan Hogan and
Jie Song and
Maxime Lefran{\c{c}}ois and
Fabien Gandon},
title = {VLog: {A} Rule Engine for Knowledge Graphs},
booktitle = {The Semantic Web - {ISWC} 2019 - 18th International Semantic Web Conference,
Auckland, New Zealand, October 26-30, 2019, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {11779},
pages = {19--35},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30796-7\_2},
doi = {10.1007/978-3-030-30796-7\_2},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/CarralDGJKU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rweb/2019,
editor = {Markus Kr{\"{o}}tzsch and
Daria Stepanova},
title = {Reasoning Web. Explainable Artificial Intelligence - 15th International
Summer School 2019, Bolzano, Italy, September 20-24, 2019, Tutorial
Lectures},
series = {Lecture Notes in Computer Science},
volume = {11810},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31423-1},
doi = {10.1007/978-3-030-31423-1},
isbn = {978-3-030-31422-4},
timestamp = {Thu, 19 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rweb/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-13115,
author = {Tom{\'{a}}s Masopust and
Markus Kr{\"{o}}tzsch},
title = {Partially Ordered Automata and Piecewise Testability},
journal = {CoRR},
volume = {abs/1907.13115},
year = {2019},
url = {http://arxiv.org/abs/1907.13115},
eprinttype = {arXiv},
eprint = {1907.13115},
timestamp = {Fri, 02 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-13115.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/UrbaniKJDC18,
author = {Jacopo Urbani and
Markus Kr{\"{o}}tzsch and
Ceriel J. H. Jacobs and
Irina Dragoste and
David Carral},
editor = {Didier Galmiche and
Stephan Schulz and
Roberto Sebastiani},
title = {Efficient Model Construction for Horn Logic with VLog - System Description},
booktitle = {Automated Reasoning - 9th International Joint Conference, {IJCAR}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10900},
pages = {680--688},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94205-6\_44},
doi = {10.1007/978-3-319-94205-6\_44},
timestamp = {Mon, 28 Aug 2023 21:17:45 +0200},
biburl = {https://dblp.org/rec/conf/cade/UrbaniKJDC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/CarralDK18,
author = {David Carral and
Irina Dragoste and
Markus Kr{\"{o}}tzsch},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Tractable Query Answering for {DL} Ontologies and Existential Rules:
Extended Abstract},
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-43.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/CarralDK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/OzakiKR18,
author = {Ana Ozaki and
Markus Kr{\"{o}}tzsch and
Sebastian Rudolph},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Happy Ever After: Temporally Attributed Description Logics},
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-27.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/OzakiKR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/UrbaniKJDC18,
author = {Jacopo Urbani and
Markus Kr{\"{o}}tzsch and
Ceriel J. H. Jacobs and
Irina Dragoste and
David Carral},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Efficient Model Construction for Horn Logic with VLog: Extended Abstract},
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-48.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/UrbaniKJDC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/CarralK0OR18,
author = {David Carral and
Markus Kr{\"{o}}tzsch and
Maximilian Marx and
Ana Ozaki and
Sebastian Rudolph},
editor = {Benny Kimelfeld and
Yael Amsterdamer},
title = {Preserving Constraints with the Stable Chase},
booktitle = {21st International Conference on Database Theory, {ICDT} 2018, March
26-29, 2018, Vienna, Austria},
series = {LIPIcs},
volume = {98},
pages = {12:1--12:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2018.12},
doi = {10.4230/LIPICS.ICDT.2018.12},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdt/CarralK0OR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Krotzsch0OT18,
author = {Markus Kr{\"{o}}tzsch and
Maximilian Marx and
Ana Ozaki and
Veronika Thost},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Attributed Description Logics: Reasoning on Knowledge Graphs},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {5309--5313},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/743},
doi = {10.24963/IJCAI.2018/743},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Krotzsch0OT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CarralDK18,
author = {David Carral and
Irina Dragoste and
Markus Kr{\"{o}}tzsch},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {The Combined Approach to Query Answering in Horn-ALCHOIQ},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {339--348},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18076},
timestamp = {Tue, 09 Feb 2021 08:33:51 +0100},
biburl = {https://dblp.org/rec/conf/kr/CarralDK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/MalyshevKGGB18,
author = {Stanislav Malyshev and
Markus Kr{\"{o}}tzsch and
Larry Gonz{\'{a}}lez and
Julius Gonsior and
Adrian Bielefeldt},
editor = {Denny Vrandecic and
Kalina Bontcheva and
Mari Carmen Su{\'{a}}rez{-}Figueroa and
Valentina Presutti and
Irene Celino and
Marta Sabou and
Lucie{-}Aim{\'{e}}e Kaffee and
Elena Simperl},
title = {Getting the Most Out of Wikidata: Semantic Technology Usage in Wikipedia's
Knowledge Graph},
booktitle = {The Semantic Web - {ISWC} 2018 - 17th International Semantic Web Conference,
Monterey, CA, USA, October 8-12, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {11137},
pages = {376--394},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00668-6\_23},
doi = {10.1007/978-3-030-00668-6\_23},
timestamp = {Tue, 07 Sep 2021 13:47:46 +0200},
biburl = {https://dblp.org/rec/conf/semweb/MalyshevKGGB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/MasopustK18,
author = {Tom{\'{a}}s Masopust and
Markus Kr{\"{o}}tzsch},
editor = {A Min Tjoa and
Ladjel Bellatreche and
Stefan Biffl and
Jan van Leeuwen and
Jir{\'{\i}} Wiedermann},
title = {Deciding Universality of ptNFAs is PSpace-Complete},
booktitle = {{SOFSEM} 2018: Theory and Practice of Computer Science - 44th International
Conference on Current Trends in Theory and Practice of Computer Science,
Krems, Austria, January 29 - February 2, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10706},
pages = {413--427},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73117-9\_29},
doi = {10.1007/978-3-319-73117-9\_29},
timestamp = {Sat, 30 Sep 2023 09:57:10 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/MasopustK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/BielefeldtGK18,
author = {Adrian Bielefeldt and
Julius Gonsior and
Markus Kr{\"{o}}tzsch},
editor = {Tim Berners{-}Lee and
Sarven Capadisli and
Stefan Dietze and
Aidan Hogan and
Krzysztof Janowicz and
Jens Lehmann},
title = {Practical Linked Data Access via {SPARQL:} The Case of Wikidata},
booktitle = {Workshop on Linked Data on the Web co-located with The Web Conference
2018, LDOW@WWW 2018, Lyon, France April 23rd, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2073},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2073/article-03.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:22 +0100},
biburl = {https://dblp.org/rec/conf/www/BielefeldtGK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KrotzschMT17,
author = {Markus Kr{\"{o}}tzsch and
Tom{\'{a}}s Masopust and
Micha{\"{e}}l Thomazo},
title = {Complexity of universality and related problems for partially ordered
NFAs},
journal = {Inf. Comput.},
volume = {255},
pages = {177--192},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2017.06.004},
doi = {10.1016/J.IC.2017.06.004},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/KrotzschMT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Krotzsch17,
author = {Markus Kr{\"{o}}tzsch},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Ontologies for Knowledge Graphs?},
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/invited2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Krotzsch17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KrotzschMOT17,
author = {Markus Kr{\"{o}}tzsch and
Maximilian Marx and
Ana Ozaki and
Veronika Thost},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {Reasoning with Attributed Description Logics},
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/paper47.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KrotzschMOT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CarralDK17,
author = {David Carral and
Irina Dragoste and
Markus Kr{\"{o}}tzsch},
editor = {Carles Sierra},
title = {Restricted Chase (Non)Termination for Existential Rules with Disjunctions},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {922--928},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/128},
doi = {10.24963/IJCAI.2017/128},
timestamp = {Tue, 20 Aug 2019 16:16:54 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CarralDK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/0001KT17,
author = {Maximilian Marx and
Markus Kr{\"{o}}tzsch and
Veronika Thost},
editor = {Carles Sierra},
title = {Logic on {MARS:} Ontologies for Generalised Property Graphs},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {1188--1194},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/165},
doi = {10.24963/IJCAI.2017/165},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/0001KT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/0001K17,
author = {Maximilian Marx and
Markus Kr{\"{o}}tzsch},
editor = {Nadeschda Nikitina and
Dezhao Song and
Achille Fokoue and
Peter Haase},
title = {{SQID:} Towards Ontological Reasoning for Wikidata},
booktitle = {Proceedings of the {ISWC} 2017 Posters {\&} Demonstrations and
Industry Tracks co-located with 16th International Semantic Web Conference
{(ISWC} 2017), Vienna, Austria, October 23rd - to - 25th, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1963},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1963/paper639.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:06 +0100},
biburl = {https://dblp.org/rec/conf/semweb/0001K17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/CarralDK17,
author = {David Carral and
Irina Dragoste and
Markus Kr{\"{o}}tzsch},
editor = {Claudia d'Amato and
Miriam Fern{\'{a}}ndez and
Valentina A. M. Tamma and
Freddy L{\'{e}}cu{\'{e}} and
Philippe Cudr{\'{e}}{-}Mauroux and
Juan F. Sequeda and
Christoph Lange and
Jeff Heflin},
title = {Tractable Query Answering for Expressive Ontologies and Existential
Rules},
booktitle = {The Semantic Web - {ISWC} 2017 - 16th International Semantic Web Conference,
Vienna, Austria, October 21-25, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10587},
pages = {156--172},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68288-4\_10},
doi = {10.1007/978-3-319-68288-4\_10},
timestamp = {Tue, 07 Sep 2021 13:48:04 +0200},
biburl = {https://dblp.org/rec/conf/semweb/CarralDK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/KrotzschMOT17,
author = {Markus Kr{\"{o}}tzsch and
Maximilian Marx and
Ana Ozaki and
Veronika Thost},
editor = {Claudia d'Amato and
Miriam Fern{\'{a}}ndez and
Valentina A. M. Tamma and
Freddy L{\'{e}}cu{\'{e}} and
Philippe Cudr{\'{e}}{-}Mauroux and
Juan F. Sequeda and
Christoph Lange and
Jeff Heflin},
title = {Attributed Description Logics: Ontologies for Knowledge Graphs},
booktitle = {The Semantic Web - {ISWC} 2017 - 16th International Semantic Web Conference,
Vienna, Austria, October 21-25, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10587},
pages = {418--435},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68288-4\_25},
doi = {10.1007/978-3-319-68288-4\_25},
timestamp = {Tue, 07 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/KrotzschMOT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/semweb/2016srswit,
editor = {Daniele Dell'Aglio and
Emanuele Della Valle and
Thomas Eiter and
Markus Kr{\"{o}}tzsch and
Maria Maleshkova and
Ruben Verborgh and
Federico M. Facca and
Michael Mrissa},
title = {Joint Proceedings of the 3rd Stream Reasoning {(SR} 2016) and the
1st Semantic Web Technologies for the Internet of Things {(SWIT} 2016)
workshops co-located with 15th International Semantic Web Conference
{(ISWC} 2016), Kobe, Japan, October 17th - to - 18th, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1783},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1783},
urn = {urn:nbn:de:0074-1783-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semweb/2016srswit.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MasopustK17,
author = {Tom{\'{a}}s Masopust and
Markus Kr{\"{o}}tzsch},
title = {Universality of Confluent, Self-Loop Deterministic Partially Ordered
NFAs is Hard},
journal = {CoRR},
volume = {abs/1704.07860},
year = {2017},
url = {http://arxiv.org/abs/1704.07860},
eprinttype = {arXiv},
eprint = {1704.07860},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MasopustK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/KrotzschR16,
author = {Markus Kr{\"{o}}tzsch and
Sebastian Rudolph},
title = {Is Your Database System a Semantic Web Reasoner?},
journal = {K{\"{u}}nstliche Intell.},
volume = {30},
number = {2},
pages = {169--176},
year = {2016},
url = {https://doi.org/10.1007/s13218-015-0412-x},
doi = {10.1007/S13218-015-0412-X},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ki/KrotzschR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/KrotzschW16,
author = {Markus Kr{\"{o}}tzsch and
Gerhard Weikum},
title = {Editorial},
journal = {J. Web Semant.},
volume = {37-38},
pages = {53--54},
year = {2016},
url = {https://doi.org/10.1016/j.websem.2016.04.002},
doi = {10.1016/J.WEBSEM.2016.04.002},
timestamp = {Tue, 29 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ws/KrotzschW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/UrbaniJK16,
author = {Jacopo Urbani and
Ceriel J. H. Jacobs and
Markus Kr{\"{o}}tzsch},
editor = {Dale Schuurmans and
Michael P. Wellman},
title = {Column-Oriented Datalog Materialization for Large Knowledge Graphs},
booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
February 12-17, 2016, Phoenix, Arizona, {USA}},
pages = {258--264},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/aaai.v30i1.9993},
doi = {10.1609/AAAI.V30I1.9993},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/UrbaniJK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KrotzschMT16,
author = {Markus Kr{\"{o}}tzsch and
Tom{\'{a}}s Masopust and
Micha{\"{e}}l Thomazo},
editor = {Piotr Faliszewski and
Anca Muscholl and
Rolf Niedermeier},
title = {On the Complexity of Universality for Partially Ordered NFAs},
booktitle = {41st International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2016, August 22-26, 2016 - Krak{\'{o}}w, Poland},
series = {LIPIcs},
volume = {58},
pages = {61:1--61:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2016.61},
doi = {10.4230/LIPICS.MFCS.2016.61},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KrotzschMT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/KrotzschT16,
author = {Markus Kr{\"{o}}tzsch and
Veronika Thost},
editor = {Paul Groth and
Elena Simperl and
Alasdair J. G. Gray and
Marta Sabou and
Markus Kr{\"{o}}tzsch and
Freddy L{\'{e}}cu{\'{e}} and
Fabian Fl{\"{o}}ck and
Yolanda Gil},
title = {Ontologies for Knowledge Graphs: Breaking the Rules},
booktitle = {The Semantic Web - {ISWC} 2016 - 15th International Semantic Web Conference,
Kobe, Japan, October 17-21, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9981},
pages = {376--392},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46523-4\_23},
doi = {10.1007/978-3-319-46523-4\_23},
timestamp = {Tue, 07 Sep 2021 13:48:03 +0200},
biburl = {https://dblp.org/rec/conf/semweb/KrotzschT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/UrbaniJK16,
author = {Jacopo Urbani and
Ceriel J. H. Jacobs and
Markus Kr{\"{o}}tzsch},
editor = {Takahiro Kawamura and
Heiko Paulheim},
title = {VLog: {A} Column-Oriented Datalog System for Large Knowledge Graphs},
booktitle = {Proceedings of the {ISWC} 2016 Posters {\&} Demonstrations Track
co-located with 15th International Semantic Web Conference {(ISWC}
2016), Kobe, Japan, October 19, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1690},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1690/paper113.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:04 +0100},
biburl = {https://dblp.org/rec/conf/semweb/UrbaniJK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/semweb/2016-1,
editor = {Paul Groth and
Elena Simperl and
Alasdair J. G. Gray and
Marta Sabou and
Markus Kr{\"{o}}tzsch and
Freddy L{\'{e}}cu{\'{e}} and
Fabian Fl{\"{o}}ck and
Yolanda Gil},
title = {The Semantic Web - {ISWC} 2016 - 15th International Semantic Web Conference,
Kobe, Japan, October 17-21, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9981},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46523-4},
doi = {10.1007/978-3-319-46523-4},
isbn = {978-3-319-46522-7},
timestamp = {Tue, 07 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/2016-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/semweb/2016-2,
editor = {Paul Groth and
Elena Simperl and
Alasdair J. G. Gray and
Marta Sabou and
Markus Kr{\"{o}}tzsch and
Freddy L{\'{e}}cu{\'{e}} and
Fabian Fl{\"{o}}ck and
Yolanda Gil},
title = {The Semantic Web - {ISWC} 2016 - 15th International Semantic Web Conference,
Kobe, Japan, October 17-21, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9982},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46547-0},
doi = {10.1007/978-3-319-46547-0},
isbn = {978-3-319-46546-3},
timestamp = {Tue, 07 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/2016-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KrotzschMT16,
author = {Markus Kr{\"{o}}tzsch and
Tom{\'{a}}s Masopust and
Micha{\"{e}}l Thomazo},
title = {Complexity of Universality and Related Problems for Partially Ordered
NFAs},
journal = {CoRR},
volume = {abs/1609.03460},
year = {2016},
url = {http://arxiv.org/abs/1609.03460},
eprinttype = {arXiv},
eprint = {1609.03460},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KrotzschMT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/semweb/KrotzschRS15,
author = {Markus Kr{\"{o}}tzsch and
Sebastian Rudolph and
Peter H. Schmitt},
title = {A closer look at the semantic relationship between Datalog and description
logics},
journal = {Semantic Web},
volume = {6},
number = {1},
pages = {63--79},
year = {2015},
url = {https://doi.org/10.3233/SW-130126},
doi = {10.3233/SW-130126},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/semweb/KrotzschRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/0002KPR15,
author = {Stefan Bischof and
Markus Kr{\"{o}}tzsch and
Axel Polleres and
Sebastian Rudolph},
editor = {Diego Calvanese and
Boris Konev},
title = {Schema-Agnostic Query Rewriting for {OWL} {QL}},
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-12.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/0002KPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BourhisKR15,
author = {Pierre Bourhis and
Markus Kr{\"{o}}tzsch and
Sebastian Rudolph},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Reasonable Highly Expressive Query Languages - {IJCAI-15} Distinguished
Paper (Honorary Mention)},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {2826--2832},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/400},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/BourhisKR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/HernandezHK15,
author = {Daniel Hern{\'{a}}ndez and
Aidan Hogan and
Markus Kr{\"{o}}tzsch},
editor = {Thorsten Liebig and
Achille Fokoue},
title = {Reifying {RDF:} What Works Well With Wikidata?},
booktitle = {Proceedings of the 11th International Workshop on Scalable Semantic
Web Knowledge Base Systems co-located with 14th International Semantic
Web Conference {(ISWC} 2015), Bethlehem, PA, USA, October 11, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1457},
pages = {32--47},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1457/SSWS2015\_paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:07 +0100},
biburl = {https://dblp.org/rec/conf/semweb/HernandezHK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ki/2015,
editor = {Steffen H{\"{o}}lldobler and
Markus Kr{\"{o}}tzsch and
Rafael Pe{\~{n}}aloza and
Sebastian Rudolph},
title = {{KI} 2015: Advances in Artificial Intelligence - 38th Annual German
Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9324},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24489-1},
doi = {10.1007/978-3-319-24489-1},
isbn = {978-3-319-24488-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/semweb/2015ordring,
editor = {Kostis Kyzirakos and
Cory A. Henson and
Matthew Perry and
Dalia Varanka and
Rolf Gr{\"{u}}tter and
Jean{-}Paul Calbimonte and
Irene Celino and
Emanuele Della Valle and
Daniele Dell'Aglio and
Markus Kr{\"{o}}tzsch and
Stefan Schlobach},
title = {Joint Proceedings of the 1st Joint International Workshop on Semantic
Sensor Networks and Terra Cognita {(SSN-TC} 2015) and the 4th International
Workshop on Ordering and Reasoning (OrdRing 2015) co-located with
the 14th International Semantic Web Conference {(ISWC} 2015), Bethlehem,
Pennsylvania, United States, October 11th - and - 12th, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1488},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1488},
urn = {urn:nbn:de:0074-1488-9},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semweb/2015ordring.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/UrbaniJK15,
author = {Jacopo Urbani and
Ceriel J. H. Jacobs and
Markus Kr{\"{o}}tzsch},
title = {Column-Oriented Datalog Materialization for Large Knowledge Graphs
(Extended Technical Report)},
journal = {CoRR},
volume = {abs/1511.08915},
year = {2015},
url = {http://arxiv.org/abs/1511.08915},
eprinttype = {arXiv},
eprint = {1511.08915},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/UrbaniJK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biomedsem/MagkaKH14,
author = {Despoina Magka and
Markus Kr{\"{o}}tzsch and
Ian Horrocks},
title = {A rule-based ontological framework for the classification of molecules},
journal = {J. Biomed. Semant.},
volume = {5},
pages = {17},
year = {2014},
url = {https://doi.org/10.1186/2041-1480-5-17},
doi = {10.1186/2041-1480-5-17},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/biomedsem/MagkaKH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/VrandecicK14,
author = {Denny Vrandecic and
Markus Kr{\"{o}}tzsch},
title = {Wikidata: a free collaborative knowledgebase},
journal = {Commun. {ACM}},
volume = {57},
number = {10},
pages = {78--85},
year = {2014},
url = {https://doi.org/10.1145/2629489},
doi = {10.1145/2629489},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/VrandecicK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/KrotzschSH14,
author = {Markus Kr{\"{o}}tzsch and
Frantisek Simancik and
Ian Horrocks},
title = {Description Logics},
journal = {{IEEE} Intell. Syst.},
volume = {29},
number = {1},
pages = {12--19},
year = {2014},
url = {https://doi.org/10.1109/MIS.2013.123},
doi = {10.1109/MIS.2013.123},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/expert/KrotzschSH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/StefanoniMKR14,
author = {Giorgio Stefanoni and
Boris Motik and
Markus Kr{\"{o}}tzsch and
Sebastian Rudolph},
title = {The Complexity of Answering Conjunctive and Navigational Queries over
{OWL} 2 {EL} Knowledge Bases},
journal = {J. Artif. Intell. Res.},
volume = {51},
pages = {645--705},
year = {2014},
url = {https://doi.org/10.1613/jair.4457},
doi = {10.1613/JAIR.4457},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/StefanoniMKR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/KazakovKS14,
author = {Yevgeny Kazakov and
Markus Kr{\"{o}}tzsch and
Frantisek Simancik},
title = {The Incredible {ELK} - From Polynomial Procedures to Efficient Reasoning
with {\(\mathscr{E}\)}{\(\mathscr{L}\)} Ontologies},
journal = {J. Autom. Reason.},
volume = {53},
number = {1},
pages = {1--61},
year = {2014},
url = {https://doi.org/10.1007/s10817-013-9296-3},
doi = {10.1007/S10817-013-9296-3},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/KazakovKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KrotzschR14,
author = {Markus Kr{\"{o}}tzsch and
Sebastian Rudolph},
editor = {Meghyn Bienvenu and
Magdalena Ortiz and
Riccardo Rosati and
Mantas Simkus},
title = {Complexities of Nominal Schemas},
booktitle = {Informal Proceedings of the 27th International Workshop on Description
Logics, Vienna, Austria, July 17-20, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1193},
pages = {270--273},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1193/paper\_51.pdf},
timestamp = {Mon, 26 Jun 2023 20:43:45 +0200},
biburl = {https://dblp.org/rec/conf/dlog/KrotzschR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BourhisKR14,
author = {Pierre Bourhis and
Markus Kr{\"{o}}tzsch and
Sebastian Rudolph},
editor = {Meghyn Bienvenu and
Magdalena Ortiz and
Riccardo Rosati and
Mantas Simkus},
title = {How to Best Nest Regular Path Queries},
booktitle = {Informal Proceedings of the 27th International Workshop on Description
Logics, Vienna, Austria, July 17-20, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1193},
pages = {404--415},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1193/paper\_80.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BourhisKR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KrotzschR14,
author = {Markus Kr{\"{o}}tzsch and
Sebastian Rudolph},
editor = {Chitta Baral and
Giuseppe De Giacomo and
Thomas Eiter},
title = {Nominal Schemas in Description Logics: Complexities Clarified},
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/8027},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/KrotzschR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/Krotzsch14,
author = {Markus Kr{\"{o}}tzsch},
editor = {Roman Kontchakov and
Marie{-}Laure Mugnier},
title = {P {\(\not =\)} {P} - Why Some Reasoning Problems Are More Tractable
Than Others},
booktitle = {Web Reasoning and Rule Systems - 8th International Conference, {RR}
2014, Athens, Greece, September 15-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8741},
pages = {1--22},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11113-1\_1},
doi = {10.1007/978-3-319-11113-1\_1},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/rr/Krotzsch14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/ErxlebenGKMV14,
author = {Fredo Erxleben and
Michael G{\"{u}}nther and
Markus Kr{\"{o}}tzsch and
Julian Mendez and
Denny Vrandecic},
editor = {Peter Mika and
Tania Tudorache and
Abraham Bernstein and
Chris Welty and
Craig A. Knoblock and
Denny Vrandecic and
Paul Groth and
Natasha F. Noy and
Krzysztof Janowicz and
Carole A. Goble},
title = {Introducing Wikidata to the Linked Data Web},
booktitle = {The Semantic Web - {ISWC} 2014 - 13th International Semantic Web Conference,
Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8796},
pages = {50--65},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11964-9\_4},
doi = {10.1007/978-3-319-11964-9\_4},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/ErxlebenGKMV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/0002KPR14,
author = {Stefan Bischof and
Markus Kr{\"{o}}tzsch and
Axel Polleres and
Sebastian Rudolph},
editor = {Peter Mika and
Tania Tudorache and
Abraham Bernstein and
Chris Welty and
Craig A. Knoblock and
Denny Vrandecic and
Paul Groth and
Natasha F. Noy and
Krzysztof Janowicz and
Carole A. Goble},
title = {Schema-Agnostic Query Rewriting in {SPARQL} 1.1},
booktitle = {The Semantic Web - {ISWC} 2014 - 13th International Semantic Web Conference,
Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8796},
pages = {584--600},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11964-9\_37},
doi = {10.1007/978-3-319-11964-9\_37},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/0002KPR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/semweb/2014ordring,
editor = {Irene Celino and
{\'{O}}scar Corcho and
Daniele Dell'Aglio and
Emanuele Della Valle and
Markus Kr{\"{o}}tzsch and
Stefan Schlobach},
title = {Proceedings of the 3rd International Workshop on Ordering and Reasoning
Co-located with the 13th International Semantic Web Conference {(ISWC}
2014), Riva del Garda, Italy, October 20th, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1303},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1303},
urn = {urn:nbn:de:0074-1303-0},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semweb/2014ordring.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GrauHKKMMW14,
author = {Bernardo Cuenca Grau and
Ian Horrocks and
Markus Kr{\"{o}}tzsch and
Clemens Kupke and
Despoina Magka and
Boris Motik and
Zhe Wang},
title = {Acyclicity Notions for Existential Rules and Their Application to
Query Answering in Ontologies},
journal = {CoRR},
volume = {abs/1406.4110},
year = {2014},
url = {http://arxiv.org/abs/1406.4110},
eprinttype = {arXiv},
eprint = {1406.4110},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GrauHKKMMW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BourhisKR14,
author = {Pierre Bourhis and
Markus Kr{\"{o}}tzsch and
Sebastian Rudolph},
title = {Query Containment for Highly Expressive Datalog Fragments},
journal = {CoRR},
volume = {abs/1406.7801},
year = {2014},
url = {http://arxiv.org/abs/1406.7801},
eprinttype = {arXiv},
eprint = {1406.7801},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BourhisKR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/GrauHKKMMW13,
author = {Bernardo Cuenca Grau and
Ian Horrocks and
Markus Kr{\"{o}}tzsch and
Clemens Kupke and
Despoina Magka and
Boris Motik and
Zhe Wang},
title = {Acyclicity Notions for Existential Rules and Their Application to
Query Answering in Ontologies},
journal = {J. Artif. Intell. Res.},
volume = {47},
pages = {741--808},
year = {2013},
url = {https://doi.org/10.1613/jair.3949},
doi = {10.1613/JAIR.3949},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/GrauHKKMMW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/semweb/ValleSKBCH13,
author = {Emanuele Della Valle and
Stefan Schlobach and
Markus Kr{\"{o}}tzsch and
Alessandro Bozzon and
Stefano Ceri and
Ian Horrocks},
title = {Order matters! Harnessing a world of orderings for reasoning over
massive data},
journal = {Semantic Web},
volume = {4},
number = {2},
pages = {219--231},
year = {2013},
url = {https://doi.org/10.3233/SW-2012-0085},
doi = {10.3233/SW-2012-0085},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/semweb/ValleSKBCH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/KrotzschRH13,
author = {Markus Kr{\"{o}}tzsch and
Sebastian Rudolph and
Pascal Hitzler},
title = {Complexities of Horn Description Logics},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {1},
pages = {2:1--2:36},
year = {2013},
url = {https://doi.org/10.1145/2422085.2422087},
doi = {10.1145/2422085.2422087},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/KrotzschRH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/MagkaKH13,
author = {Despoina Magka and
Markus Kr{\"{o}}tzsch and
Ian Horrocks},
editor = {Thomas Eiter and
Birte Glimm and
Yevgeny Kazakov and
Markus Kr{\"{o}}tzsch},
title = {Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling},
booktitle = {Informal Proceedings of the 26th International Workshop on Description
Logics, Ulm, Germany, July 23 - 26, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1014},
pages = {390--402},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1014/paper\_35.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/MagkaKH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MagkaKH13,
author = {Despoina Magka and
Markus Kr{\"{o}}tzsch and
Ian Horrocks},
editor = {Francesca Rossi},
title = {Computing Stable Models for Nonmonotonic Existential Rules},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {1031--1038},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6598},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/MagkaKH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/KrotzschMH13,
author = {Markus Kr{\"{o}}tzsch and
Despoina Magka and
Ian Horrocks},
editor = {Pedro Cabalar and
Tran Cao Son},
title = {Concrete Results on Abstract Rules},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
{LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8148},
pages = {414--426},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40564-8\_41},
doi = {10.1007/978-3-642-40564-8\_41},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/KrotzschMH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/RudolphK13,
author = {Sebastian Rudolph and
Markus Kr{\"{o}}tzsch},
editor = {Richard Hull and
Wenfei Fan},
title = {Flag {\&} check: data access with monadically defined queries},
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 = {151--162},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2463664.2465227},
doi = {10.1145/2463664.2465227},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/RudolphK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2013,
editor = {Thomas Eiter and
Birte Glimm and
Yevgeny Kazakov and
Markus Kr{\"{o}}tzsch},
title = {Informal Proceedings of the 26th International Workshop on Description
Logics, Ulm, Germany, July 23 - 26, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1014},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1014},
urn = {urn:nbn:de:0074-1014-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/semweb/2013ordring,
editor = {Irene Celino and
Emanuele Della Valle and
Markus Kr{\"{o}}tzsch and
Stefan Schlobach},
title = {Proceedings of the 2nd International Workshop on Ordering and Reasoning,
OrdRing 2013, Co-located with the 12th International Semantic Web
Conference {(ISWC} 2013), Sydney, Australia, October 22nd, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1059},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1059},
urn = {urn:nbn:de:0074-1059-2},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semweb/2013ordring.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1202-0914,
author = {Sebastian Rudolph and
Markus Kr{\"{o}}tzsch and
Pascal Hitzler},
title = {Type-elimination-based reasoning for the description logic SHIQbs
using decision diagrams and disjunctive datalog},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {1},
year = {2012},
url = {https://doi.org/10.2168/LMCS-8(1:12)2012},
doi = {10.2168/LMCS-8(1:12)2012},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-0914.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GrauHKKMMW12,
author = {Bernardo Cuenca Grau and
Ian Horrocks and
Markus Kr{\"{o}}tzsch and
Clemens Kupke and
Despoina Magka and
Boris Motik and
Zhe Wang},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Acyclicity Conditions and their Application to 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/4490},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/GrauHKKMMW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KazakovKS12,
author = {Yevgeny Kazakov and
Markus Kroetzsch and
Frantisek Simancik},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Practical Reasoning with Nominals in the {EL} Family of 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/4540},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/KazakovKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ore/KazakovKS12,
author = {Yevgeny Kazakov and
Markus Kr{\"{o}}tzsch and
Frantisek Simancik},
editor = {Ian Horrocks and
Mikalai Yatskevich and
Ernesto Jim{\'{e}}nez{-}Ruiz},
title = {{ELK} Reasoner: Architecture and Evaluation},
booktitle = {Proceedings of the 1st International Workshop on {OWL} Reasoner Evaluation
(ORE-2012), Manchester, UK, July 1st, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {858},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-858/ore2012\_paper10.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/ore/KazakovKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rweb/Krotzsch12,
author = {Markus Kr{\"{o}}tzsch},
editor = {Thomas Eiter and
Thomas Krennwallner},
title = {{OWL} 2 Profiles: An Introduction to Lightweight Ontology Languages},
booktitle = {Reasoning Web. Semantic Technologies for Advanced Query Answering
- 8th International Summer School 2012, Vienna, Austria, September
3-8, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7487},
pages = {112--183},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33158-9\_4},
doi = {10.1007/978-3-642-33158-9\_4},
timestamp = {Sun, 02 Jun 2019 21:26:40 +0200},
biburl = {https://dblp.org/rec/conf/rweb/Krotzsch12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/Krotzsch12,
author = {Markus Kr{\"{o}}tzsch},
editor = {Philippe Cudr{\'{e}}{-}Mauroux and
Jeff Heflin and
Evren Sirin and
Tania Tudorache and
J{\'{e}}r{\^{o}}me Euzenat and
Manfred Hauswirth and
Josiane Xavier Parreira and
Jim Hendler and
Guus Schreiber and
Abraham Bernstein and
Eva Blomqvist},
title = {The Not-So-Easy Task of Computing Class Subsumptions in {OWL} {RL}},
booktitle = {The Semantic Web - {ISWC} 2012 - 11th International Semantic Web Conference,
Boston, MA, USA, November 11-15, 2012, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7649},
pages = {279--294},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35176-1\_18},
doi = {10.1007/978-3-642-35176-1\_18},
timestamp = {Tue, 07 Sep 2021 13:47:37 +0200},
biburl = {https://dblp.org/rec/conf/semweb/Krotzsch12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/GlimmHKP12,
author = {Birte Glimm and
Aidan Hogan and
Markus Kr{\"{o}}tzsch and
Axel Polleres},
editor = {Christian Bizer and
Tom Heath and
Tim Berners{-}Lee and
Michael Hausenblas},
title = {{OWL:} Yet to arrive on the Web of Data?},
booktitle = {{WWW2012} Workshop on Linked Data on the Web, Lyon, France, 16 April,
2012},
series = {{CEUR} Workshop Proceedings},
volume = {937},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-937/ldow2012-paper-16.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:23 +0100},
biburl = {https://dblp.org/rec/conf/www/GlimmHKP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pods/2012,
editor = {Michael Benedikt and
Markus Kr{\"{o}}tzsch and
Maurizio Lenzerini},
title = {Proceedings of the 31st {ACM} {SIGMOD-SIGACT-SIGART} Symposium on
Principles of Database Systems, {PODS} 2012, Scottsdale, AZ, USA,
May 20-24, 2012},
publisher = {{ACM}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2213556},
isbn = {978-1-4503-1248-6},
timestamp = {Thu, 23 Jun 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rr/2012,
editor = {Markus Kr{\"{o}}tzsch and
Umberto Straccia},
title = {Web Reasoning and Rule Systems - 6th International Conference, {RR}
2012, Vienna, Austria, September 10-12, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7497},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33203-6},
doi = {10.1007/978-3-642-33203-6},
isbn = {978-3-642-33202-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rr/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1201-4089,
author = {Markus Kr{\"{o}}tzsch and
Frantisek Simancik and
Ian Horrocks},
title = {A Description Logic Primer},
journal = {CoRR},
volume = {abs/1201.4089},
year = {2012},
url = {http://arxiv.org/abs/1201.4089},
eprinttype = {arXiv},
eprint = {1201.4089},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1201-4089.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1202-0984,
author = {Birte Glimm and
Aidan Hogan and
Markus Kr{\"{o}}tzsch and
Axel Polleres},
title = {{OWL:} Yet to arrive on the Web of Data?},
journal = {CoRR},
volume = {abs/1202.0984},
year = {2012},
url = {http://arxiv.org/abs/1202.0984},
eprinttype = {arXiv},
eprint = {1202.0984},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-0984.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/VrandecicRKG11,
author = {Denny Vrandecic and
Varun Ratnakar and
Markus Kr{\"{o}}tzsch and
Yolanda Gil},
title = {Shortipedia aggregating and curating Semantic Web data},
journal = {J. Web Semant.},
volume = {9},
number = {3},
pages = {334--338},
year = {2011},
url = {https://doi.org/10.1016/j.websem.2011.06.006},
doi = {10.1016/J.WEBSEM.2011.06.006},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ws/VrandecicRKG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KrotzschV11,
author = {Markus Kr{\"{o}}tzsch and
Denny Vrandecic},
editor = {Dieter Fensel},
title = {Semantic MediaWiki},
booktitle = {Foundations for the Web of Information and Services - {A} Review of
20 Years of Semantic Web Research},
pages = {311--326},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19797-0\_16},
doi = {10.1007/978-3-642-19797-0\_16},
timestamp = {Wed, 14 Nov 2018 10:58:57 +0100},
biburl = {https://dblp.org/rec/conf/birthday/KrotzschV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KazakovKS11,
author = {Yevgeny Kazakov and
Markus Kr{\"{o}}tzsch and
Frantisek Simancik},
editor = {Riccardo Rosati and
Sebastian Rudolph and
Michael Zakharyaschev},
title = {Unchain My {EL} Reasoner},
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\_54.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KazakovKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KrotzschMKH11,
author = {Markus Kr{\"{o}}tzsch and
Frederick Maier and
Adila Alfa Krisnadhi and
Pascal Hitzler},
editor = {Riccardo Rosati and
Sebastian Rudolph and
Michael Zakharyaschev},
title = {Nominal Schemas for Integrating Rules and 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\_39.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KrotzschMKH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/SimancikMK11,
author = {Frantisek Simancik and
Boris Motik and
Markus Kr{\"{o}}tzsch},
editor = {Riccardo Rosati and
Sebastian Rudolph and
Michael Zakharyaschev},
title = {Fixed Parameter Tractable Reasoning in DLs via Decomposition},
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\_28.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/SimancikMK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KrotzschR11,
author = {Markus Kr{\"{o}}tzsch and
Sebastian Rudolph},
editor = {Toby Walsh},
title = {Extending Decidable Existential Rules by Joining Acyclicity and Guardedness},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {963--968},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-166},
doi = {10.5591/978-1-57735-516-8/IJCAI11-166},
timestamp = {Tue, 20 Aug 2019 16:16:04 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KrotzschR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Krotzsch11,
author = {Markus Kr{\"{o}}tzsch},
editor = {Toby Walsh},
title = {Efficient Rule-Based Inferencing for {OWL} {EL}},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {2668--2673},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-444},
doi = {10.5591/978-1-57735-516-8/IJCAI11-444},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Krotzsch11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/KazakovKS11,
author = {Yevgeny Kazakov and
Markus Kr{\"{o}}tzsch and
Frantisek Simancik},
editor = {Lora Aroyo and
Chris Welty and
Harith Alani and
Jamie Taylor and
Abraham Bernstein and
Lalana Kagal and
Natasha Fridman Noy and
Eva Blomqvist},
title = {Concurrent Classification of {EL} Ontologies},
booktitle = {The Semantic Web - {ISWC} 2011 - 10th International Semantic Web Conference,
Bonn, Germany, October 23-27, 2011, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7031},
pages = {305--320},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25073-6\_20},
doi = {10.1007/978-3-642-25073-6\_20},
timestamp = {Tue, 07 Sep 2021 13:47:52 +0200},
biburl = {https://dblp.org/rec/conf/semweb/KazakovKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/KrotzschS11,
author = {Markus Kr{\"{o}}tzsch and
Sebastian Speiser},
editor = {Lora Aroyo and
Chris Welty and
Harith Alani and
Jamie Taylor and
Abraham Bernstein and
Lalana Kagal and
Natasha Fridman Noy and
Eva Blomqvist},
title = {ShareAlike Your Data: Self-referential Usage Policies for the Semantic
Web},
booktitle = {The Semantic Web - {ISWC} 2011 - 10th International Semantic Web Conference,
Bonn, Germany, October 23-27, 2011, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7031},
pages = {354--369},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25073-6\_23},
doi = {10.1007/978-3-642-25073-6\_23},
timestamp = {Tue, 07 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/KrotzschS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/KrotzschMKH11,
author = {Markus Kr{\"{o}}tzsch and
Frederick Maier and
Adila Krisnadhi and
Pascal Hitzler},
editor = {Sadagopan Srinivasan and
Krithi Ramamritham and
Arun Kumar and
M. P. Ravindra and
Elisa Bertino and
Ravi Kumar},
title = {A better uncle for {OWL:} nominal schemas for integrating rules and
ontologies},
booktitle = {Proceedings of the 20th International Conference on World Wide Web,
{WWW} 2011, Hyderabad, India, March 28 - April 1, 2011},
pages = {645--654},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1963405.1963496},
doi = {10.1145/1963405.1963496},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/KrotzschMKH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/crc/Hitzler2010,
author = {Pascal Hitzler and
Markus Kr{\"{o}}tzsch and
Sebastian Rudolph},
title = {Foundations of Semantic Web Technologies},
publisher = {Chapman and Hall/CRC Press},
year = {2010},
url = {http://www.semantic-web-book.org/},
isbn = {9781420090505},
timestamp = {Fri, 15 Apr 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/crc/Hitzler2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Krotzsch2010,
author = {Markus Kr{\"{o}}tzsch},
title = {Description logic rules},
school = {Karlsruhe Institute of Technology},
year = {2010},
url = {https://d-nb.info/1007916079},
isbn = {978-3-89838-643-2},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Krotzsch2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/ssw/Krotzsch10,
author = {Markus Kr{\"{o}}tzsch},
title = {Description Logic Rules},
series = {Studies on the Semantic Web},
volume = {8},
publisher = {{IOS} Press},
year = {2010},
url = {https://doi.org/10.3233/978-1-61499-342-1-i},
doi = {10.3233/978-1-61499-342-1-I},
isbn = {978-1-60750-654-6},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/ssw/Krotzsch10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KrotzschMR10,
author = {Markus Kr{\"{o}}tzsch and
Anees Mehdi and
Sebastian Rudolph},
editor = {Volker Haarslev and
David Toman and
Grant E. Weddell},
title = {Orel: Database-Driven Reasoning for {OWL} 2 Profiles},
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\_43.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KrotzschMR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Krotzsch10,
author = {Markus Kr{\"{o}}tzsch},
editor = {Tomi Janhunen and
Ilkka Niemel{\"{a}}},
title = {Efficient Inferencing for {OWL} {EL}},
booktitle = {Logics in Artificial Intelligence - 12th European Conference, {JELIA}
2010, Helsinki, Finland, September 13-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6341},
pages = {234--246},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15675-5\_21},
doi = {10.1007/978-3-642-15675-5\_21},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Krotzsch10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/KrotzschRS10,
author = {Markus Kr{\"{o}}tzsch and
Sebastian Rudolph and
Peter H. Schmitt},
editor = {Pascal Hitzler and
Thomas Lukasiewicz},
title = {On the Semantic Relationship between Datalog and Description Logics},
booktitle = {Web Reasoning and Rule Systems - Fourth International Conference,
{RR} 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6333},
pages = {88--102},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15918-3\_8},
doi = {10.1007/978-3-642-15918-3\_8},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/rr/KrotzschRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/GlimmK10,
author = {Birte Glimm and
Markus Kr{\"{o}}tzsch},
editor = {Peter F. Patel{-}Schneider and
Yue Pan and
Pascal Hitzler and
Peter Mika and
Lei Zhang and
Jeff Z. Pan and
Ian Horrocks and
Birte Glimm},
title = {{SPARQL} beyond Subgraph Matching},
booktitle = {The Semantic Web - {ISWC} 2010 - 9th International Semantic Web Conference,
{ISWC} 2010, Shanghai, China, November 7-11, 2010, Revised Selected
Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6496},
pages = {241--256},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17746-0\_16},
doi = {10.1007/978-3-642-17746-0\_16},
timestamp = {Tue, 12 Apr 2022 14:46:29 +0200},
biburl = {https://dblp.org/rec/conf/semweb/GlimmK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KrotzschR09,
author = {Markus Kr{\"{o}}tzsch and
Sebastian Rudolph},
editor = {Bernardo Cuenca Grau and
Ian Horrocks and
Boris Motik and
Ulrike Sattler},
title = {A Matter of Principles: Towards the Largest {DLP} Possible},
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\_62.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KrotzschR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/09/VrandecicK09,
author = {Denny Vrandecic and
Markus Kr{\"{o}}tzsch},
editor = {John Davies and
Marko Grobelnik and
Dunja Mladenic},
title = {Semantic MediaWiki},
booktitle = {Semantic Knowledge Management},
pages = {171--179},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-88845-1\_13},
doi = {10.1007/978-3-540-88845-1\_13},
timestamp = {Mon, 16 Sep 2019 14:43:20 +0200},
biburl = {https://dblp.org/rec/books/sp/09/VrandecicK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/xmedia/AnkolekarKTV09,
author = {Anupriya Ankolekar and
Markus Kr{\"{o}}tzsch and
Thanh Tran and
Denny Vrandecic},
editor = {Andreas Blumauer and
Tassilo Pellegrini},
title = {Die zwei Kulturen},
booktitle = {Social Semantic Web: Web 2.0 - Was nun?},
series = {X.media.press},
pages = {99--123},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-72216-8\_6},
doi = {10.1007/978-3-540-72216-8\_6},
timestamp = {Tue, 16 May 2017 14:24:25 +0200},
biburl = {https://dblp.org/rec/series/xmedia/AnkolekarKTV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/xmedia/KrotzschV09,
author = {Markus Kr{\"{o}}tzsch and
Denny Vrandecic},
editor = {Andreas Blumauer and
Tassilo Pellegrini},
title = {Semantic Wikipedia},
booktitle = {Social Semantic Web: Web 2.0 - Was nun?},
series = {X.media.press},
pages = {393--421},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-72216-8\_19},
doi = {10.1007/978-3-540-72216-8\_19},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/xmedia/KrotzschV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/AnkolekarKTV08,
author = {Anupriya Ankolekar and
Markus Kr{\"{o}}tzsch and
Thanh Tran and
Denny Vrandecic},
title = {The two cultures: Mashing up Web 2.0 and the Semantic Web},
journal = {J. Web Semant.},
volume = {6},
number = {1},
pages = {70--75},
year = {2008},
url = {https://doi.org/10.1016/j.websem.2007.11.005},
doi = {10.1016/J.WEBSEM.2007.11.005},
timestamp = {Tue, 29 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ws/AnkolekarKTV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/RudolphKH08,
author = {Sebastian Rudolph and
Markus Kr{\"{o}}tzsch and
Pascal Hitzler},
editor = {Dieter Fox and
Carla P. Gomes},
title = {Terminological Reasoning in {SHIQ} with Ordered Binary Decision Diagrams},
booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
pages = {529--534},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/AAAI/2008/aaai08-084.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/RudolphKH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/RudolphKH08,
author = {Sebastian Rudolph and
Markus Kr{\"{o}}tzsch and
Pascal Hitzler},
editor = {Franz Baader and
Carsten Lutz and
Boris Motik},
title = {All Elephants are Bigger than All Mice},
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/RudolphKraetzschHitzler.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/RudolphKH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/KrotzschRH08,
author = {Markus Kr{\"{o}}tzsch and
Sebastian Rudolph and
Pascal Hitzler},
editor = {Malik Ghallab and
Constantine D. Spyropoulos and
Nikos Fakotakis and
Nikolaos M. Avouris},
title = {Description Logic Rules},
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 = {80--84},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-891-5-80},
doi = {10.3233/978-1-58603-891-5-80},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/KrotzschRH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/RudolphKH08,
author = {Sebastian Rudolph and
Markus Kr{\"{o}}tzsch and
Pascal Hitzler},
editor = {Steffen H{\"{o}}lldobler and
Carsten Lutz and
Heinrich Wansing},
title = {Cheap Boolean Role Constructors for Description Logics},
booktitle = {Logics in Artificial Intelligence, 11th European Conference, {JELIA}
2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5293},
pages = {362--374},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87803-2\_30},
doi = {10.1007/978-3-540-87803-2\_30},
timestamp = {Tue, 29 Dec 2020 18:34:12 +0100},
biburl = {https://dblp.org/rec/conf/jelia/RudolphKH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/TserendorjRKH08,
author = {Tuvshintur Tserendorj and
Sebastian Rudolph and
Markus Kr{\"{o}}tzsch and
Pascal Hitzler},
editor = {Diego Calvanese and
Georg Lausen},
title = {Approximate OWL-Reasoning with Screech},
booktitle = {Web Reasoning and Rule Systems, Second International Conference, {RR}
2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5341},
pages = {165--180},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88737-9\_13},
doi = {10.1007/978-3-540-88737-9\_13},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/rr/TserendorjRKH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/RudolphKH08,
author = {Sebastian Rudolph and
Markus Kr{\"{o}}tzsch and
Pascal Hitzler},
editor = {Amit P. Sheth and
Steffen Staab and
Mike Dean and
Massimo Paolucci and
Diana Maynard and
Timothy W. Finin and
Krishnaprasad Thirunarayan},
title = {Description Logic Reasoning with Decision Diagrams: Compiling {SHIQ}
to Disjunctive Datalog},
booktitle = {The Semantic Web - {ISWC} 2008, 7th International Semantic Web Conference,
{ISWC} 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5318},
pages = {435--450},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88564-1\_28},
doi = {10.1007/978-3-540-88564-1\_28},
timestamp = {Tue, 07 Sep 2021 13:47:52 +0200},
biburl = {https://dblp.org/rec/conf/semweb/RudolphKH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/KrotzschRH08,
author = {Markus Kr{\"{o}}tzsch and
Sebastian Rudolph and
Pascal Hitzler},
editor = {Amit P. Sheth and
Steffen Staab and
Mike Dean and
Massimo Paolucci and
Diana Maynard and
Timothy W. Finin and
Krishnaprasad Thirunarayan},
title = {{ELP:} Tractable Rules for {OWL} 2},
booktitle = {The Semantic Web - {ISWC} 2008, 7th International Semantic Web Conference,
{ISWC} 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5318},
pages = {649--664},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88564-1\_41},
doi = {10.1007/978-3-540-88564-1\_41},
timestamp = {Tue, 07 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/KrotzschRH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/DologKSV08a,
author = {Peter Dolog and
Markus Kr{\"{o}}tzsch and
Sebastian Schaffert and
Denny Vrandecic},
editor = {Irwin King and
Ricardo Baeza{-}Yates},
title = {Social Web and Knowledge Management},
booktitle = {Weaving Services and People on the World Wide Web, [features some
of the cutting-edge research work that were presented at the Workshop
Track of the 17th International World Wide Web Conference {(WWW} 2008)
held at Beijing, China, from April 21-25, 2008]},
pages = {217--227},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-00570-1\_11},
doi = {10.1007/978-3-642-00570-1\_11},
timestamp = {Mon, 26 Jun 2023 20:42:02 +0200},
biburl = {https://dblp.org/rec/conf/www/DologKSV08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/DologKSV08,
author = {Peter Dolog and
Markus Kr{\"{o}}tzsch and
Sebastian Schaffert and
Denny Vrandecic},
editor = {Jinpeng Huai and
Robin Chen and
Hsiao{-}Wuen Hon and
Yunhao Liu and
Wei{-}Ying Ma and
Andrew Tomkins and
Xiaodong Zhang},
title = {Workshop on social web and knowledge management {(SWKM2008)}},
booktitle = {Proceedings of the 17th International Conference on World Wide Web,
{WWW} 2008, Beijing, China, April 21-25, 2008},
pages = {1279--1280},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1367497.1367767},
doi = {10.1145/1367497.1367767},
timestamp = {Tue, 20 Dec 2022 21:20:03 +0100},
biburl = {https://dblp.org/rec/conf/www/DologKSV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/www/2008swkm,
editor = {Peter Dolog and
Markus Kr{\"{o}}tzsch and
Sebastian Schaffert and
Denny Vrandecic},
title = {Proceedings of the {WWW} 2008 Workshop on Social Web and Knowledge
Management, Beijing, China, April 22, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {356},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-356},
urn = {urn:nbn:de:0074-356-8},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/2008swkm.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/HitzlerKRT08,
author = {Pascal Hitzler and
Markus Kr{\"{o}}tzsch and
Sebastian Rudolph and
Tuvshintur Tserendorj},
editor = {Anthony G. Cohn and
David C. Hogg and
Ralf M{\"{o}}ller and
Bernd Neumann},
title = {Approximate {OWL} Instance Retrieval with {SCREECH}},
booktitle = {Logic and Probability for Scene Interpretation, 24.02. - 29.02.2008},
series = {Dagstuhl Seminar Proceedings},
volume = {08091},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2008},
url = {http://drops.dagstuhl.de/opus/volltexte/2008/1615/},
timestamp = {Tue, 20 Jun 2023 09:03:41 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/HitzlerKRT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/KrotzschVVHS07,
author = {Markus Kr{\"{o}}tzsch and
Denny Vrandecic and
Max V{\"{o}}lkel and
Heiko Haller and
Rudi Studer},
title = {Semantic Wikipedia},
journal = {J. Web Semant.},
volume = {5},
number = {4},
pages = {251--261},
year = {2007},
url = {https://doi.org/10.1016/j.websem.2007.09.001},
doi = {10.1016/J.WEBSEM.2007.09.001},
timestamp = {Tue, 29 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ws/KrotzschVVHS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KrotzschRH07,
author = {Markus Kr{\"{o}}tzsch and
Sebastian Rudolph and
Pascal Hitzler},
title = {Complexity Boundaries for Horn Description Logics},
booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
July 22-26, 2007, Vancouver, British Columbia, Canada},
pages = {452--457},
publisher = {{AAAI} Press},
year = {2007},
url = {http://www.aaai.org/Library/AAAI/2007/aaai07-071.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KrotzschRH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KrotzschR07,
author = {Markus Kr{\"{o}}tzsch and
Sebastian Rudolph},
editor = {Diego Calvanese and
Enrico Franconi and
Volker Haarslev and
Domenico Lembo and
Boris Motik and
Anni{-}Yasmin Turhan and
Sergio Tessaris},
title = {Conjunctive Queries for {EL} with Composition of Roles},
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\_58.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KrotzschR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/RudolphKH07,
author = {Sebastian Rudolph and
Markus Kr{\"{o}}tzsch and
Pascal Hitzler},
editor = {Uta Priss and
Simon Polovina and
Richard Hill},
title = {Quo Vadis, CS? - On the (non)-Impact of Conceptual Structures on the
Semantic Web},
booktitle = {Conceptual Structures: Knowledge Architectures for Smart Applications,
15th International Conference on Conceptual Structures, {ICCS} 2007,
Sheffield, UK, July 22-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4604},
pages = {464--467},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73681-3\_35},
doi = {10.1007/978-3-540-73681-3\_35},
timestamp = {Wed, 25 Sep 2019 18:14:44 +0200},
biburl = {https://dblp.org/rec/conf/iccs/RudolphKH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/RudolphKHSV07,
author = {Sebastian Rudolph and
Markus Kr{\"{o}}tzsch and
Pascal Hitzler and
Michael Sintek and
Denny Vrandecic},
editor = {Massimo Marchiori and
Jeff Z. Pan and
Christian de Sainte Marie},
title = {Efficient {OWL} Reasoning with Logic Programs - Evaluations},
booktitle = {Web Reasoning and Rule Systems, First International Conference, {RR}
2007, Innsbruck , Austria, June 7-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4524},
pages = {370--373},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72982-2\_34},
doi = {10.1007/978-3-540-72982-2\_34},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/rr/RudolphKHSV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rweb/KrotzschSV07,
author = {Markus Kr{\"{o}}tzsch and
Sebastian Schaffert and
Denny Vrandecic},
editor = {Grigoris Antoniou and
Uwe A{\ss}mann and
Cristina Baroglio and
Stefan Decker and
Nicola Henze and
Paula{-}Lavinia Patranjan and
Robert Tolksdorf},
title = {Reasoning in Semantic Wikis},
booktitle = {Reasoning Web, Third International Summer School 2007, Dresden, Germany,
September 3-7, 2007, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {4636},
pages = {310--329},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74615-7\_6},
doi = {10.1007/978-3-540-74615-7\_6},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/rweb/KrotzschSV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/KrotzschRH07,
author = {Markus Kr{\"{o}}tzsch and
Sebastian Rudolph and
Pascal Hitzler},
editor = {Karl Aberer and
Key{-}Sun Choi and
Natasha Fridman Noy and
Dean Allemang and
Kyung{-}Il Lee and
Lyndon J. B. Nixon and
Jennifer Golbeck and
Peter Mika and
Diana Maynard and
Riichiro Mizoguchi and
Guus Schreiber and
Philippe Cudr{\'{e}}{-}Mauroux},
title = {Conjunctive Queries for a Tractable Fragment of {OWL} 1.1},
booktitle = {The Semantic Web, 6th International Semantic Web Conference, 2nd Asian
Semantic Web Conference, {ISWC} 2007 + {ASWC} 2007, Busan, Korea,
November 11-15, 2007},
series = {Lecture Notes in Computer Science},
volume = {4825},
pages = {310--323},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76298-0\_23},
doi = {10.1007/978-3-540-76298-0\_23},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/semweb/KrotzschRH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/AnkolekarKTV07,
author = {Anupriya Ankolekar and
Markus Kr{\"{o}}tzsch and
Thanh Tran and
Denny Vrandecic},
editor = {Carey L. Williamson and
Mary Ellen Zurko and
Peter F. Patel{-}Schneider and
Prashant J. Shenoy},
title = {The two cultures: mashing up web 2.0 and the semantic web},
booktitle = {Proceedings of the 16th International Conference on World Wide Web,
{WWW} 2007, Banff, Alberta, Canada, May 8-12, 2007},
pages = {825--834},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1242572.1242684},
doi = {10.1145/1242572.1242684},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/AnkolekarKTV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HitzlerKZ06,
author = {Pascal Hitzler and
Markus Kr{\"{o}}tzsch and
Guo{-}Qiang Zhang},
title = {A Categorical View on Algebraic Lattices in Formal Concept Analysis},
journal = {Fundam. Informaticae},
volume = {74},
number = {2-3},
pages = {301--328},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi74-2-3-06},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/HitzlerKZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Krotzsch06,
author = {Markus Kr{\"{o}}tzsch},
title = {Generalized ultrametric spaces in quantitative domain theory},
journal = {Theor. Comput. Sci.},
volume = {368},
number = {1-2},
pages = {30--49},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.05.037},
doi = {10.1016/J.TCS.2006.05.037},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Krotzsch06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fois/ZimmermannKEH06,
author = {Antoine Zimmermann and
Markus Kr{\"{o}}tzsch and
J{\'{e}}r{\^{o}}me Euzenat and
Pascal Hitzler},
editor = {Brandon Bennett and
Christiane Fellbaum},
title = {Formalizing Ontology Alignment and its Operations with Category Theory},
booktitle = {Formal Ontology in Information Systems, Proceedings of the Fourth
International Conference, {FOIS} 2006, Baltimore, Maryland, USA, November
9-11, 2006},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {150},
pages = {277--288},
publisher = {{IOS} Press},
year = {2006},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=2214},
timestamp = {Tue, 13 Mar 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fois/ZimmermannKEH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/HitzlerK06,
author = {Pascal Hitzler and
Markus Kr{\"{o}}tzsch},
editor = {Henrik Sch{\"{a}}rfe and
Pascal Hitzler and
Peter {\O}hrstr{\o}m},
title = {Querying Formal Contexts with Answer Set Programs},
booktitle = {Conceptual Structures: Inspiration and Application, 14th International
Conference on Conceptual Structures, {ICCS} 2006, Aalborg, Denmark,
July 16-21, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4068},
pages = {260--273},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11787181\_19},
doi = {10.1007/11787181\_19},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/iccs/HitzlerK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfca/KrotzschM06,
author = {Markus Kr{\"{o}}tzsch and
Grit Malik},
editor = {Rokia Missaoui and
J{\"{u}}rg Schmid},
title = {The Tensor Product as a Lattice of Regular Galois Connections},
booktitle = {Formal Concept Analysis, 4th International Conference, {ICFCA} 2006,
Dresden, Germany, February 13-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3874},
pages = {89--104},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11671404\_6},
doi = {10.1007/11671404\_6},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/icfca/KrotzschM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/KrotzschRH06,
author = {Markus Kr{\"{o}}tzsch and
Sebastian Rudolph and
Pascal Hitzler},
editor = {Bernardo Cuenca Grau and
Pascal Hitzler and
Conor Shankey and
Evan Wallace},
title = {On the Complexity of Horn Description Logics},
booktitle = {Proceedings of the OWLED*06 Workshop on {OWL:} Experiences and Directions,
Athens, Georgia, USA, November 10-11, 2006},
series = {{CEUR} Workshop Proceedings},
volume = {216},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-216/submission\_20.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:02 +0100},
biburl = {https://dblp.org/rec/conf/owled/KrotzschRH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/KrotzschHVS06,
author = {Markus Kr{\"{o}}tzsch and
Pascal Hitzler and
Denny Vrandecic and
Michael Sintek},
editor = {Thomas Eiter and
Enrico Franconi and
Ralph Hodgson and
Susie Stephens},
title = {How to reason with {OWL} in a logic programming system},
booktitle = {Rules and Rule Markup Languages for the Semantic Web, Second International
Conference, RuleML 2006, Athens, Georgia, USA, November 10-11, 2006,
Proceedings},
pages = {17--28},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/RULEML.2006.14},
doi = {10.1109/RULEML.2006.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/KrotzschHVS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/KrotzschVV06,
author = {Markus Kr{\"{o}}tzsch and
Denny Vrandecic and
Max V{\"{o}}lkel},
editor = {Isabel F. Cruz and
Stefan Decker and
Dean Allemang and
Chris Preist and
Daniel Schwabe and
Peter Mika and
Michael Uschold and
Lora Aroyo},
title = {Semantic MediaWiki},
booktitle = {The Semantic Web - {ISWC} 2006, 5th International Semantic Web Conference,
{ISWC} 2006, Athens, GA, USA, November 5-9, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4273},
pages = {935--942},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11926078\_68},
doi = {10.1007/11926078\_68},
timestamp = {Tue, 07 Sep 2021 13:48:11 +0200},
biburl = {https://dblp.org/rec/conf/semweb/KrotzschVV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semwiki/VrandecicK06,
author = {Denny Vrandecic and
Markus Kr{\"{o}}tzsch},
editor = {Max V{\"{o}}lkel and
Sebastian Schaffert},
title = {Reusing Ontological Background Knowledge in Semantic Wikis},
booktitle = {SemWiki2006, First Workshop on Semantic Wikis - From Wiki to Semantics,
Proceedings, co-located with the ESWC2006, Budva, Montenegro, June
12, 2006},
series = {{CEUR} Workshop Proceedings},
volume = {206},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-206/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:56 +0100},
biburl = {https://dblp.org/rec/conf/semwiki/VrandecicK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wikis/HallerKVV06,
author = {Heiko Haller and
Markus Kr{\"{o}}tzsch and
Max V{\"{o}}lkel and
Denny Vrandecic},
editor = {Dirk Riehle and
James Noble},
title = {Semantic Wikipedia},
booktitle = {Proceedings of the 2006 International Symposium on Wikis, 2006, Odense,
Denmark, August 21-23, 2006},
pages = {137--138},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1149453.1149483},
doi = {10.1145/1149453.1149483},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wikis/HallerKVV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/VolkelKVHS06,
author = {Max V{\"{o}}lkel and
Markus Kr{\"{o}}tzsch and
Denny Vrandecic and
Heiko Haller and
Rudi Studer},
editor = {Les Carr and
David De Roure and
Arun Iyengar and
Carole A. Goble and
Michael Dahlin},
title = {Semantic Wikipedia},
booktitle = {Proceedings of the 15th international conference on World Wide Web,
{WWW} 2006, Edinburgh, Scotland, UK, May 23-26, 2006},
pages = {585--594},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1135777.1135863},
doi = {10.1145/1135777.1135863},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/VolkelKVHS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/KrotzschHZ05,
author = {Markus Kr{\"{o}}tzsch and
Pascal Hitzler and
Guo{-}Qiang Zhang},
editor = {Frithjof Dau and
Marie{-}Laure Mugnier and
Gerd Stumme},
title = {Morphisms in Context},
booktitle = {Conceptual Structures: Common Semantics for Sharing Knowledge, 13th
International Conference on Conceptual Structures, {ICCS} 2005, Kassel,
Germany, July 17-22, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3596},
pages = {223--237},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11524564\_15},
doi = {10.1007/11524564\_15},
timestamp = {Thu, 28 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccs/KrotzschHZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/HitzlerHKSS05,
author = {Pascal Hitzler and
Peter Haase and
Markus Kr{\"{o}}tzsch and
York Sure and
Rudi Studer},
editor = {Bernardo Cuenca Grau and
Ian Horrocks and
Bijan Parsia and
Peter F. Patel{-}Schneider},
title = {{DLP} Is Not So Bad After All},
booktitle = {Proceedings of the OWLED*05 Workshop on {OWL:} Experiences and Directions,
Galway, Ireland, November 11-12, 2005},
series = {{CEUR} Workshop Proceedings},
volume = {188},
publisher = {CEUR-WS.org},
year = {2005},
url = {https://ceur-ws.org/Vol-188/sub2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:02 +0100},
biburl = {https://dblp.org/rec/conf/owled/HitzlerHKSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-OH-0410065,
author = {Pascal Hitzler and
Markus Kr{\"{o}}tzsch and
Guo{-}Qiang Zhang},
title = {A Categorical View on Algebraic Lattices in Formal Concept Analysis},
journal = {CoRR},
volume = {cs.OH/0410065},
year = {2004},
url = {http://arxiv.org/abs/cs.OH/0410065},
timestamp = {Thu, 28 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-OH-0410065.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-04-10 20:57 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:
