Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Boris Motik
@inproceedings{DBLP:conf/kr/CucalaGMK23,
author = {David Tena Cucala and
Bernardo Cuenca Grau and
Boris Motik and
Egor V. Kostylev},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {On the Correspondence Between Monotonic Max-Sum GNNs and Datalog},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {658--667},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/64},
doi = {10.24963/KR.2023/64},
timestamp = {Tue, 05 Sep 2023 14:50:36 +0200},
biburl = {https://dblp.org/rec/conf/kr/CucalaGMK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-18015,
author = {David Tena Cucala and
Bernardo Cuenca Grau and
Boris Motik and
Egor V. Kostylev},
title = {On the Correspondence Between Monotonic Max-Sum GNNs and Datalog},
journal = {CoRR},
volume = {abs/2305.18015},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.18015},
doi = {10.48550/ARXIV.2305.18015},
eprinttype = {arXiv},
eprint = {2305.18015},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-18015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/HuMH22,
author = {Pan Hu and
Boris Motik and
Ian Horrocks},
title = {Modular materialisation of Datalog programs},
journal = {Artif. Intell.},
volume = {308},
pages = {103726},
year = {2022},
url = {https://doi.org/10.1016/j.artint.2022.103726},
doi = {10.1016/J.ARTINT.2022.103726},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/HuMH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/KaminskiKGMH22,
author = {Mark Kaminski and
Egor V. Kostylev and
Bernardo Cuenca Grau and
Boris Motik and
Ian Horrocks},
title = {The Complexity and Expressive Power of Limit Datalog},
journal = {J. {ACM}},
volume = {69},
number = {1},
pages = {6:1--6:83},
year = {2022},
url = {https://doi.org/10.1145/3495009},
doi = {10.1145/3495009},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/KaminskiKGMH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/BenediktBGKM22,
author = {Michael Benedikt and
Maxime Buron and
Stefano Germano and
Kevin Kappelmann and
Boris Motik},
title = {Rewriting the Infinite Chase},
journal = {Proc. {VLDB} Endow.},
volume = {15},
number = {11},
pages = {3045--3057},
year = {2022},
url = {https://www.vldb.org/pvldb/vol15/p3045-benedikt.pdf},
doi = {10.14778/3551793.3551851},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/BenediktBGKM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/AjileyeM22,
author = {Temitope Ajileye and
Boris Motik},
title = {Materialisation and data partitioning algorithms for distributed {RDF}
systems},
journal = {J. Web Semant.},
volume = {73},
pages = {100711},
year = {2022},
url = {https://doi.org/10.1016/j.websem.2022.100711},
doi = {10.1016/J.WEBSEM.2022.100711},
timestamp = {Wed, 27 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ws/AjileyeM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/BenediktBGKM22,
author = {Michael Benedikt and
Maxime Buron and
Stefano Germano and
Kevin Kappelmann and
Boris Motik},
editor = {Mario Alviano and
Andreas Pieris},
title = {Datalog Rewriting for Guarded TGDs},
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 = {104--113},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3203/short4.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:45 +0100},
biburl = {https://dblp.org/rec/conf/datalog/BenediktBGKM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/HorrocksOCMR22,
author = {Ian Horrocks and
Jordi Olivares and
Valerio Cocchi and
Boris Motik and
Dylan Roy},
editor = {Paul Groth and
Maria{-}Esther Vidal and
Fabian M. Suchanek and
Pedro A. Szekely and
Pavan Kapanipathi and
Catia Pesquita and
Hala Skaf{-}Molli and
Minna Tamper},
title = {The Dow Jones Knowledge Graph},
booktitle = {The Semantic Web - 19th International Conference, {ESWC} 2022, Hersonissos,
Crete, Greece, May 29 - June 2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13261},
pages = {427--443},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-06981-9\_25},
doi = {10.1007/978-3-031-06981-9\_25},
timestamp = {Wed, 24 Aug 2022 15:07:01 +0200},
biburl = {https://dblp.org/rec/conf/esws/HorrocksOCMR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/CucalaGKM22,
author = {David Jaime Tena Cucala and
Bernardo Cuenca Grau and
Egor V. Kostylev and
Boris Motik},
title = {Explainable GNN-Based Models over Knowledge Graphs},
booktitle = {The Tenth International Conference on Learning Representations, {ICLR}
2022, Virtual Event, April 25-29, 2022},
publisher = {OpenReview.net},
year = {2022},
url = {https://openreview.net/forum?id=CrCvGNHAIrz},
timestamp = {Sat, 20 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclr/CucalaGKM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/CucalaGM22,
author = {David J. Tena Cucala and
Bernardo Cuenca Grau and
Boris Motik},
editor = {Gabriele Kern{-}Isberner and
Gerhard Lakemeyer and
Thomas Meyer},
title = {Faithful Approaches to Rule Learning},
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/50/},
timestamp = {Tue, 05 Sep 2023 14:47:29 +0200},
biburl = {https://dblp.org/rec/conf/kr/CucalaGM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-08522,
author = {Michael Benedikt and
Maxime Buron and
Stefano Germano and
Kevin Kappelmann and
Boris Motik},
title = {Rewriting the Infinite Chase},
journal = {CoRR},
volume = {abs/2212.08522},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.08522},
doi = {10.48550/ARXIV.2212.08522},
eprinttype = {arXiv},
eprint = {2212.08522},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-08522.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/BhardwajBCLMTT21,
author = {Akansha Bhardwaj and
Albert Blarer and
Philippe Cudr{\'{e}}{-}Mauroux and
Vincent Lenders and
Boris Motik and
Axel Tanner and
Alberto Tonon},
title = {Event Detection on Microposts: {A} Comparison of Four Approaches},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {33},
number = {4},
pages = {1467--1478},
year = {2021},
url = {https://doi.org/10.1109/TKDE.2019.2944815},
doi = {10.1109/TKDE.2019.2944815},
timestamp = {Sun, 16 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/BhardwajBCLMTT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/AjileyeMH21,
author = {Temitope Ajileye and
Boris Motik and
Ian Horrocks},
editor = {Ruben Verborgh and
Katja Hose and
Heiko Paulheim and
Pierre{-}Antoine Champin and
Maria Maleshkova and
{\'{O}}scar Corcho and
Petar Ristoski and
Mehwish Alam},
title = {Streaming Partitioning of {RDF} Graphs for Datalog Reasoning},
booktitle = {The Semantic Web - 18th International Conference, {ESWC} 2021, Virtual
Event, June 6-10, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12731},
pages = {3--22},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-77385-4\_1},
doi = {10.1007/978-3-030-77385-4\_1},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esws/AjileyeMH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/BandaM20,
author = {Fredah Banda and
Boris Motik},
editor = {Thorsten Liebig and
Achille Fokoue and
Zhe Wu},
title = {Community-Based {RDF} Partitioning},
booktitle = {Proceedings of the 12th International Workshop on Scalable Semantic
Web Knowledge Base Systems co-located with 19th International Semantic
Web Conference {(ISWC} 2020), Athens, Greece, November 2, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2757},
pages = {33--48},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2757/SSWS2020\_paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:08 +0100},
biburl = {https://dblp.org/rec/conf/semweb/BandaM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/LeeHPLMH20,
author = {Jaehun Lee and
Taeho Hwang and
Jungho Park and
Yunsu Lee and
Boris Motik and
Ian Horrocks},
editor = {Kerry L. Taylor and
Rafael S. Gon{\c{c}}alves and
Freddy L{\'{e}}cu{\'{e}} and
Jun Yan},
title = {A Context-Aware Recommendation System for Mobile Devices},
booktitle = {Proceedings of the {ISWC} 2020 Demos and Industry Tracks: From Novel
Ideas to Industrial Practice co-located with 19th International Semantic
Web Conference {(ISWC} 2020), Globally online, November 1-6, 2020
{(UTC)}},
series = {{CEUR} Workshop Proceedings},
volume = {2721},
pages = {380--382},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2721/paper489.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:03 +0100},
biburl = {https://dblp.org/rec/conf/semweb/LeeHPLMH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/MotikNPH19,
author = {Boris Motik and
Yavor Nenov and
Robert Piro and
Ian Horrocks},
title = {Maintenance of datalog materialisations revisited},
journal = {Artif. Intell.},
volume = {269},
pages = {76--136},
year = {2019},
url = {https://doi.org/10.1016/j.artint.2018.12.004},
doi = {10.1016/J.ARTINT.2018.12.004},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/MotikNPH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/GrauHKKM19,
author = {Bernardo Cuenca Grau and
Ian Horrocks and
Mark Kaminski and
Egor V. Kostylev and
Boris Motik},
title = {Limit Datalog: {A} Declarative Query Language for Data Analysis},
journal = {{SIGMOD} Rec.},
volume = {48},
number = {4},
pages = {6--17},
year = {2019},
url = {https://doi.org/10.1145/3385658.3385660},
doi = {10.1145/3385658.3385660},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigmod/GrauHKKM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HuMH19,
author = {Pan Hu and
Boris Motik and
Ian Horrocks},
title = {Modular Materialisation of Datalog Programs},
booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019},
pages = {2859--2866},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.33012859},
doi = {10.1609/AAAI.V33I01.33012859},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HuMH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/HuUMH19,
author = {Pan Hu and
Jacopo Urbani and
Boris Motik and
Ian Horrocks},
editor = {Wenwu Zhu and
Dacheng Tao and
Xueqi Cheng and
Peng Cui and
Elke A. Rundensteiner and
David Carmel and
Qi He and
Jeffrey Xu Yu},
title = {Datalog Reasoning over Compressed {RDF} Knowledge Bases},
booktitle = {Proceedings of the 28th {ACM} International Conference on Information
and Knowledge Management, {CIKM} 2019, Beijing, China, November 3-7,
2019},
pages = {2065--2068},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3357384.3358147},
doi = {10.1145/3357384.3358147},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cikm/HuUMH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/AjileyeMH19,
author = {Temitope Ajileye and
Boris Motik and
Ian Horrocks},
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 = {Datalog Materialisation in Distributed {RDF} Stores with Dynamic Data
Exchange},
booktitle = {The Semantic Web - {ISWC} 2019 - 18th International Semantic Web Conference,
Auckland, New Zealand, October 26-30, 2019, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {11778},
pages = {21--37},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30793-6\_2},
doi = {10.1007/978-3-030-30793-6\_2},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/AjileyeMH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-10261,
author = {Temitope Ajileye and
Boris Motik and
Ian Horrocks},
title = {Datalog Materialisation in Distributed {RDF} Stores with Dynamic Data
Exchange},
journal = {CoRR},
volume = {abs/1906.10261},
year = {2019},
url = {http://arxiv.org/abs/1906.10261},
eprinttype = {arXiv},
eprint = {1906.10261},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-10261.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-10177,
author = {Pan Hu and
Jacopo Urbani and
Boris Motik and
Ian Horrocks},
title = {Datalog Reasoning over Compressed {RDF} Knowledge Bases},
journal = {CoRR},
volume = {abs/1908.10177},
year = {2019},
url = {http://arxiv.org/abs/1908.10177},
eprinttype = {arXiv},
eprint = {1908.10177},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-10177.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/BateMGCSH18,
author = {Andrew Bate and
Boris Motik and
Bernardo Cuenca Grau and
David Tena Cucala and
Frantisek Simancik and
Ian Horrocks},
title = {Consequence-Based Reasoning for Description Logics with Disjunctions
and Number Restrictions},
journal = {J. Artif. Intell. Res.},
volume = {63},
pages = {625--690},
year = {2018},
url = {https://doi.org/10.1613/jair.1.11257},
doi = {10.1613/JAIR.1.11257},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/BateMGCSH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/PotterMNH18,
author = {Anthony Potter and
Boris Motik and
Yavor Nenov and
Ian Horrocks},
title = {Dynamic Data Exchange in Distributed {RDF} Stores},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {30},
number = {12},
pages = {2312--2325},
year = {2018},
url = {https://doi.org/10.1109/TKDE.2018.2818696},
doi = {10.1109/TKDE.2018.2818696},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/PotterMNH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BenediktMT18,
author = {Michael Benedikt and
Boris Motik and
Efthymia Tsamoura},
editor = {Sheila A. McIlraith and
Kilian Q. Weinberger},
title = {Goal-Driven Query Answering for Existential Rules With Equality},
booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
(AAAI-18), the 30th innovative Applications of Artificial Intelligence
(IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
2-7, 2018},
pages = {1761--1770},
publisher = {{AAAI} Press},
year = {2018},
url = {https://doi.org/10.1609/aaai.v32i1.11563},
doi = {10.1609/AAAI.V32I1.11563},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BenediktMT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HuMH18,
author = {Pan Hu and
Boris Motik and
Ian Horrocks},
editor = {Sheila A. McIlraith and
Kilian Q. Weinberger},
title = {Optimised Maintenance of Datalog Materialisations},
booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
(AAAI-18), the 30th innovative Applications of Artificial Intelligence
(IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
2-7, 2018},
pages = {1871--1879},
publisher = {{AAAI} Press},
year = {2018},
url = {https://doi.org/10.1609/aaai.v32i1.11554},
doi = {10.1609/AAAI.V32I1.11554},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HuMH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/RoncaKGMH18,
author = {Alessandro Ronca and
Mark Kaminski and
Bernardo Cuenca Grau and
Boris Motik and
Ian Horrocks},
editor = {Sheila A. McIlraith and
Kilian Q. Weinberger},
title = {Stream Reasoning in Temporal Datalog},
booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
(AAAI-18), the 30th innovative Applications of Artificial Intelligence
(IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
2-7, 2018},
pages = {1941--1948},
publisher = {{AAAI} Press},
year = {2018},
url = {https://doi.org/10.1609/aaai.v32i1.11537},
doi = {10.1609/AAAI.V32I1.11537},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/RoncaKGMH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KaminskiGKMH18,
author = {Mark Kaminski and
Bernardo Cuenca Grau and
Egor V. Kostylev and
Boris Motik and
Ian Horrocks},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Stratified Negation in Limit Datalog Programs},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {1875--1881},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/259},
doi = {10.24963/IJCAI.2018/259},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KaminskiGKMH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/StefanoniMK18,
author = {Giorgio Stefanoni and
Boris Motik and
Egor V. Kostylev},
editor = {Pierre{-}Antoine Champin and
Fabien Gandon and
Mounia Lalmas and
Panagiotis G. Ipeirotis},
title = {Estimating the Cardinality of Conjunctive Queries over {RDF} Data
Using Graph Summarisation},
booktitle = {Proceedings of the 2018 World Wide Web Conference on World Wide Web,
{WWW} 2018, Lyon, France, April 23-27, 2018},
pages = {1043--1052},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3178876.3186003},
doi = {10.1145/3178876.3186003},
timestamp = {Fri, 16 Apr 2021 10:04:12 +0200},
biburl = {https://dblp.org/rec/conf/www/StefanoniMK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-09619,
author = {Giorgio Stefanoni and
Boris Motik and
Egor V. Kostylev},
title = {Estimating the Cardinality of Conjunctive Queries over {RDF} Data
Using Graph Summarisation},
journal = {CoRR},
volume = {abs/1801.09619},
year = {2018},
url = {http://arxiv.org/abs/1801.09619},
eprinttype = {arXiv},
eprint = {1801.09619},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-09619.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-09473,
author = {Mark Kaminski and
Bernardo Cuenca Grau and
Egor V. Kostylev and
Boris Motik and
Ian Horrocks},
title = {Stratified Negation in Limit Datalog Programs},
journal = {CoRR},
volume = {abs/1804.09473},
year = {2018},
url = {http://arxiv.org/abs/1804.09473},
eprinttype = {arXiv},
eprint = {1804.09473},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-09473.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-02304,
author = {Pan Hu and
Boris Motik and
Ian Horrocks},
title = {Modular Materialisation of Datalog Programs},
journal = {CoRR},
volume = {abs/1811.02304},
year = {2018},
url = {http://arxiv.org/abs/1811.02304},
eprinttype = {arXiv},
eprint = {1811.02304},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-02304.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/TononCBLM17,
author = {Alberto Tonon and
Philippe Cudr{\'{e}}{-}Mauroux and
Albert Blarer and
Vincent Lenders and
Boris Motik},
editor = {Eva Blomqvist and
Diana Maynard and
Aldo Gangemi and
Rinke Hoekstra and
Pascal Hitzler and
Olaf Hartig},
title = {ArmaTweet: Detecting Events by Semantic Tweet Analysis},
booktitle = {The Semantic Web - 14th International Conference, {ESWC} 2017, Portoro{\v{z}},
Slovenia, May 28 - June 1, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10250},
pages = {138--153},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-58451-5\_10},
doi = {10.1007/978-3-319-58451-5\_10},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esws/TononCBLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/grades/RothTHCPMH17,
author = {Nicholas P. Roth and
Vasileios Trigonakis and
Sungpack Hong and
Hassan Chafi and
Anthony Potter and
Boris Motik and
Ian Horrocks},
editor = {Peter A. Boncz and
Josep Llu{\'{\i}}s Larriba{-}Pey},
title = {PGX.D/Async: {A} Scalable Distributed Graph Pattern Matching Engine},
booktitle = {Proceedings of the Fifth International Workshop on Graph Data-management
Experiences {\&} Systems, GRADES@SIGMOD/PODS 2017, Chicago, IL,
USA, May 14 - 19, 2017},
pages = {7:1--7:6},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3078447.3078454},
doi = {10.1145/3078447.3078454},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/grades/RothTHCPMH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KaminskiGKMH17,
author = {Mark Kaminski and
Bernardo Cuenca Grau and
Egor V. Kostylev and
Boris Motik and
Ian Horrocks},
editor = {Carles Sierra},
title = {Foundations of Declarative Data Analysis Using Limit Datalog Programs},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {1123--1130},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/156},
doi = {10.24963/IJCAI.2017/156},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KaminskiGKMH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/BenediktKMMPST17,
author = {Michael Benedikt and
George Konstantinidis and
Giansalvatore Mecca and
Boris Motik and
Paolo Papotti and
Donatello Santoro and
Efthymia Tsamoura},
editor = {Emanuel Sallinger and
Jan Van den Bussche and
Floris Geerts},
title = {Benchmarking the Chase},
booktitle = {Proceedings of the 36th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles
of Database Systems, {PODS} 2017, Chicago, IL, USA, May 14-19, 2017},
pages = {37--52},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3034786.3034796},
doi = {10.1145/3034786.3034796},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/BenediktKMMPST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KaminskiGKMH17,
author = {Mark Kaminski and
Bernardo Cuenca Grau and
Egor V. Kostylev and
Boris Motik and
Ian Horrocks},
title = {Foundations of Declarative Data Analysis Using Limit Datalog Programs},
journal = {CoRR},
volume = {abs/1705.06927},
year = {2017},
url = {http://arxiv.org/abs/1705.06927},
eprinttype = {arXiv},
eprint = {1705.06927},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KaminskiGKMH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-03987,
author = {Pan Hu and
Boris Motik and
Ian Horrocks},
title = {Optimised Maintenance of Datalog Materialisations},
journal = {CoRR},
volume = {abs/1711.03987},
year = {2017},
url = {http://arxiv.org/abs/1711.03987},
eprinttype = {arXiv},
eprint = {1711.03987},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-03987.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-04013,
author = {Alessandro Ronca and
Mark Kaminski and
Bernardo Cuenca Grau and
Boris Motik and
Ian Horrocks},
title = {Stream Reasoning in Temporal Datalog},
journal = {CoRR},
volume = {abs/1711.04013},
year = {2017},
url = {http://arxiv.org/abs/1711.04013},
eprinttype = {arXiv},
eprint = {1711.04013},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-04013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-05227,
author = {Michael Benedikt and
Boris Motik and
Efthymia Tsamoura},
title = {Goal-Driven Query Answering for Existential Rules with Equality},
journal = {CoRR},
volume = {abs/1711.05227},
year = {2017},
url = {http://arxiv.org/abs/1711.05227},
eprinttype = {arXiv},
eprint = {1711.05227},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-05227.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BateMGSH16,
author = {Andrew Bate and
Boris Motik and
Bernardo Cuenca Grau and
Frantisek Simancik and
Ian Horrocks},
editor = {Chitta Baral and
James P. Delgrande and
Frank Wolter},
title = {Extending Consequence-Based Reasoning to {SRIQ}},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fifteenth International Conference, {KR} 2016, Cape Town, South
Africa, April 25-29, 2016},
pages = {187--196},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12882},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BateMGSH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/PiroNMHHKR16,
author = {Robert Piro and
Yavor Nenov and
Boris Motik and
Ian Horrocks and
Peter Hendler and
Scott Kimberly and
Michael Rossman},
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 = {Semantic Technologies for Data Analysis in Health Care},
booktitle = {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},
pages = {400--417},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46547-0\_34},
doi = {10.1007/978-3-319-46547-0\_34},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/PiroNMHHKR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/PotterMNH16,
author = {Anthony Potter and
Boris Motik and
Yavor Nenov and
Ian Horrocks},
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 = {Distributed {RDF} Query Answering with Dynamic Data Exchange},
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 = {480--497},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46523-4\_29},
doi = {10.1007/978-3-319-46523-4\_29},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/PotterMNH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BateMGSH16,
author = {Andrew Bate and
Boris Motik and
Bernardo Cuenca Grau and
Frantisek Simancik and
Ian Horrocks},
title = {Extending Consequence-Based Reasoning to {SRIQ}},
journal = {CoRR},
volume = {abs/1602.04498},
year = {2016},
url = {http://arxiv.org/abs/1602.04498},
eprinttype = {arXiv},
eprint = {1602.04498},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BateMGSH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MotikNPH15,
author = {Boris Motik and
Yavor Nenov and
Robert Edgar Felix Piro and
Ian Horrocks},
editor = {Blai Bonet and
Sven Koenig},
title = {Handling Owl: sameAs via Rewriting},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {231--237},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9187},
doi = {10.1609/AAAI.V29I1.9187},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MotikNPH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MotikNPH15a,
author = {Boris Motik and
Yavor Nenov and
Robert Edgar Felix Piro and
Ian Horrocks},
editor = {Blai Bonet and
Sven Koenig},
title = {Incremental Update of Datalog Materialisation: the Backward/Forward
Algorithm},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {1560--1568},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9409},
doi = {10.1609/AAAI.V29I1.9409},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MotikNPH15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/StefanoniM15,
author = {Giorgio Stefanoni and
Boris Motik},
editor = {Blai Bonet and
Sven Koenig},
title = {Answering Conjunctive Queries over {EL} Knowledge Bases with Transitive
and Reflexive Roles},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {1611--1617},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9386},
doi = {10.1609/AAAI.V29I1.9386},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/StefanoniM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BateMGSH15,
author = {Andrew Bate and
Boris Motik and
Bernardo Cuenca Grau and
Frantisek Simancik and
Ian Horrocks},
editor = {Diego Calvanese and
Boris Konev},
title = {Extending Consequence-Based Reasoning to {SHIQ}},
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-08.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BateMGSH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MotikNPH15,
author = {Boris Motik and
Yavor Nenov and
Robert Piro and
Ian Horrocks},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Combining Rewriting and Incremental Materialisation Maintenance for
Datalog Programs with Equality},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {3127--3133},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/441},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/MotikNPH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/NenovPMHWB15,
author = {Yavor Nenov and
Robert Piro and
Boris Motik and
Ian Horrocks and
Zhe Wu and
Jay Banerjee},
editor = {Marcelo Arenas and
{\'{O}}scar Corcho and
Elena Simperl and
Markus Strohmaier and
Mathieu d'Aquin and
Kavitha Srinivas and
Paul Groth and
Michel Dumontier and
Jeff Heflin and
Krishnaprasad Thirunarayan and
Steffen Staab},
title = {RDFox: {A} Highly-Scalable {RDF} Store},
booktitle = {The Semantic Web - {ISWC} 2015 - 14th International Semantic Web Conference,
Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9367},
pages = {3--20},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25010-6\_1},
doi = {10.1007/978-3-319-25010-6\_1},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/NenovPMHWB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MotikNPH15,
author = {Boris Motik and
Yavor Nenov and
Robert Piro and
Ian Horrocks},
title = {Combining Rewriting and Incremental Materialisation Maintenance for
Datalog Programs with Equality},
journal = {CoRR},
volume = {abs/1505.00212},
year = {2015},
url = {http://arxiv.org/abs/1505.00212},
eprinttype = {arXiv},
eprint = {1505.00212},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MotikNPH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/SimancikMH14,
author = {Frantisek Simancik and
Boris Motik and
Ian Horrocks},
title = {Consequence-based and fixed-parameter tractable reasoning in description
logics},
journal = {Artif. Intell.},
volume = {209},
pages = {29--77},
year = {2014},
url = {https://doi.org/10.1016/j.artint.2014.01.002},
doi = {10.1016/J.ARTINT.2014.01.002},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/SimancikMH14.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/GlimmHMSW14,
author = {Birte Glimm and
Ian Horrocks and
Boris Motik and
Giorgos Stoilos and
Zhe Wang},
title = {HermiT: An {OWL} 2 Reasoner},
journal = {J. Autom. Reason.},
volume = {53},
number = {3},
pages = {245--269},
year = {2014},
url = {https://doi.org/10.1007/s10817-014-9305-1},
doi = {10.1007/S10817-014-9305-1},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/GlimmHMSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MotikNPHO14,
author = {Boris Motik and
Yavor Nenov and
Robert Piro and
Ian Horrocks and
Dan Olteanu},
editor = {Carla E. Brodley and
Peter Stone},
title = {Parallel Materialisation of Datalog Programs in Centralised, Main-Memory
{RDF} Systems},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {129--137},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.8730},
doi = {10.1609/AAAI.V28I1.8730},
timestamp = {Mon, 04 Sep 2023 15:06:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MotikNPHO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/MotikNPHO14,
author = {Boris Motik and
Yavor Nenov and
Robert Piro and
Ian Horrocks and
Dan Olteanu},
editor = {Meghyn Bienvenu and
Magdalena Ortiz and
Riccardo Rosati and
Mantas Simkus},
title = {Parallel {OWL} 2 {RL} Materialisation in Centralised, Main-Memory
{RDF} Systems},
booktitle = {Informal Proceedings of the 27th International Workshop on Description
Logics, Vienna, Austria, July 17-20, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1193},
pages = {311--323},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1193/paper\_65.pdf},
timestamp = {Mon, 26 Jun 2023 20:43:45 +0200},
biburl = {https://dblp.org/rec/conf/dlog/MotikNPHO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/PotterMH14,
author = {Anthony Potter and
Boris Motik and
Ian Horrocks},
editor = {Thorsten Liebig and
Achille Fokoue},
title = {Querying Distributed {RDF} Graphs: The Effects of Partitioning},
booktitle = {Proceedings of the 10th International Workshop on Scalable Semantic
Web Knowledge Base Systems co-located with 13th International Semantic
Web Conference {(ISWC} 2014), Riva del Garda, Italy, October 20, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1261},
pages = {29--44},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1261/SSWS2014\_paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:04 +0100},
biburl = {https://dblp.org/rec/conf/semweb/PotterMH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MotikSH14,
author = {Boris Motik and
Robert D. C. Shearer and
Ian Horrocks},
title = {Hypertableau Reasoning for Description Logics},
journal = {CoRR},
volume = {abs/1401.3485},
year = {2014},
url = {http://arxiv.org/abs/1401.3485},
eprinttype = {arXiv},
eprint = {1401.3485},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MotikSH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GrauMSH14,
author = {Bernardo Cuenca Grau and
Boris Motik and
Giorgos Stoilos and
Ian Horrocks},
title = {Completeness Guarantees for Incomplete Ontology Reasoners: Theory
and Practice},
journal = {CoRR},
volume = {abs/1401.4604},
year = {2014},
url = {http://arxiv.org/abs/1401.4604},
eprinttype = {arXiv},
eprint = {1401.4604},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GrauMSH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GrauM14,
author = {Bernardo Cuenca Grau and
Boris Motik},
title = {Reasoning over Ontologies with Hidden Content: The Import-by-Query
Approach},
journal = {CoRR},
volume = {abs/1401.5853},
year = {2014},
url = {http://arxiv.org/abs/1401.5853},
eprinttype = {arXiv},
eprint = {1401.5853},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GrauM14.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/StefanoniM14,
author = {Giorgio Stefanoni and
Boris Motik},
title = {Answering Conjunctive Queries over {\textdollar}{\textbackslash}mathcal\{EL\}{\textdollar}
Knowledge Bases with Transitive and Reflexive Roles},
journal = {CoRR},
volume = {abs/1411.2516},
year = {2014},
url = {http://arxiv.org/abs/1411.2516},
eprinttype = {arXiv},
eprint = {1411.2516},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/StefanoniM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MotikNPH14,
author = {Boris Motik and
Yavor Nenov and
Robert Piro and
Ian Horrocks},
title = {Handling owl: sameAs via Rewriting},
journal = {CoRR},
volume = {abs/1411.3622},
year = {2014},
url = {http://arxiv.org/abs/1411.3622},
eprinttype = {arXiv},
eprint = {1411.3622},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MotikNPH14.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}
}
@inproceedings{DBLP:conf/aaai/StefanoniMH13,
author = {Giorgio Stefanoni and
Boris Motik and
Ian Horrocks},
editor = {Marie desJardins and
Michael L. Littman},
title = {Introducing Nominals to the Combined Query Answering Approaches for
{EL}},
booktitle = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial
Intelligence, July 14-18, 2013, Bellevue, Washington, {USA}},
pages = {1177--1183},
publisher = {{AAAI} Press},
year = {2013},
url = {https://doi.org/10.1609/aaai.v27i1.8452},
doi = {10.1609/AAAI.V27I1.8452},
timestamp = {Mon, 04 Sep 2023 15:56:33 +0200},
biburl = {https://dblp.org/rec/conf/aaai/StefanoniMH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/StefanoniMH13,
author = {Giorgio Stefanoni and
Boris Motik and
Ian Horrocks},
editor = {Thomas Eiter and
Birte Glimm and
Yevgeny Kazakov and
Markus Kr{\"{o}}tzsch},
title = {Introducing Nominals to the Combined Query Answering Approaches for
{EL}},
booktitle = {Informal Proceedings of the 26th International Workshop on Description
Logics, Ulm, Germany, July 23 - 26, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1014},
pages = {962--974},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1014/paper\_10.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/StefanoniMH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GrauMSH13,
author = {Bernardo Cuenca Grau and
Boris Motik and
Giorgos Stoilos and
Ian Horrocks},
editor = {Francesca Rossi},
title = {Computing Datalog Rewritings Beyond Horn Ontologies},
booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
on Artificial Intelligence, Beijing, China, August 3-9, 2013},
pages = {832--838},
publisher = {{IJCAI/AAAI}},
year = {2013},
url = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6318},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/GrauMSH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/ChaussecourteGHMP13,
author = {Pierre Chaussecourte and
Birte Glimm and
Ian Horrocks and
Boris Motik and
Laurent Pierre},
editor = {Harith Alani and
Lalana Kagal and
Achille Fokoue and
Paul Groth and
Chris Biemann and
Josiane Xavier Parreira and
Lora Aroyo and
Natasha F. Noy and
Chris Welty and
Krzysztof Janowicz},
title = {The Energy Management Adviser at {EDF}},
booktitle = {The Semantic Web - {ISWC} 2013 - 12th International Semantic Web Conference,
Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8219},
pages = {49--64},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41338-4\_4},
doi = {10.1007/978-3-642-41338-4\_4},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/ChaussecourteGHMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-7430,
author = {Giorgio Stefanoni and
Boris Motik and
Ian Horrocks},
title = {Introducing Nominals to the Combined Query Answering Approaches for
{EL}},
journal = {CoRR},
volume = {abs/1303.7430},
year = {2013},
url = {http://arxiv.org/abs/1303.7430},
eprinttype = {arXiv},
eprint = {1303.7430},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-7430.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-1402,
author = {Bernardo Cuenca Grau and
Boris Motik and
Giorgos Stoilos and
Ian Horrocks},
title = {Computing Datalog Rewritings beyond Horn Ontologies},
journal = {CoRR},
volume = {abs/1304.1402},
year = {2013},
url = {http://arxiv.org/abs/1304.1402},
eprinttype = {arXiv},
eprint = {1304.1402},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-1402.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/GrauMSH12,
author = {Bernardo Cuenca Grau and
Boris Motik and
Giorgos Stoilos and
Ian Horrocks},
title = {Completeness Guarantees for Incomplete Ontology Reasoners: Theory
and Practice},
journal = {J. Artif. Intell. Res.},
volume = {43},
pages = {419--476},
year = {2012},
url = {https://doi.org/10.1613/jair.3470},
doi = {10.1613/JAIR.3470},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/GrauMSH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/GrauM12,
author = {Bernardo Cuenca Grau and
Boris Motik},
title = {Reasoning over Ontologies with Hidden Content: The Import-by-Query
Approach},
journal = {J. Artif. Intell. Res.},
volume = {45},
pages = {197--255},
year = {2012},
url = {https://doi.org/10.1613/jair.3579},
doi = {10.1613/JAIR.3579},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/GrauM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/Motik12,
author = {Boris Motik},
title = {Representing and querying validity time in {RDF} and {OWL:} {A} logic-based
approach},
journal = {J. Web Semant.},
volume = {12},
pages = {3--21},
year = {2012},
url = {https://doi.org/10.1016/j.websem.2011.11.004},
doi = {10.1016/J.WEBSEM.2011.11.004},
timestamp = {Tue, 29 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ws/Motik12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/GlimmHMSS12,
author = {Birte Glimm and
Ian Horrocks and
Boris Motik and
Robert D. C. Shearer and
Giorgos Stoilos},
title = {A novel approach to ontology classification},
journal = {J. Web Semant.},
volume = {14},
pages = {84--101},
year = {2012},
url = {https://doi.org/10.1016/j.websem.2011.12.007},
doi = {10.1016/J.WEBSEM.2011.12.007},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ws/GlimmHMSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Motik12,
author = {Boris Motik},
editor = {Pascal Fontaine and
Renate A. Schmidt and
Stephan Schulz},
title = {Building an Efficient {OWL} 2 {DL} Reasoner},
booktitle = {Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012,
Manchester, UK, June 30 - July 1, 2012},
series = {EPiC Series in Computing},
volume = {21},
pages = {2},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/57lg},
doi = {10.29007/57LG},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Motik12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/MagkaMH12,
author = {Despoina Magka and
Boris Motik and
Ian Horrocks},
editor = {Yevgeny Kazakov and
Domenico Lembo and
Frank Wolter},
title = {Modelling Structured Domains Using Description Graphs and Logic Programming},
booktitle = {Proceedings of the 2012 International Workshop on Description Logics,
DL-2012, Rome, Italy, June 7-10, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {846},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-846/paper\_22.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/MagkaMH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/StefanoniMH12,
author = {Giorgio Stefanoni and
Boris Motik and
Ian Horrocks},
editor = {Yevgeny Kazakov and
Domenico Lembo and
Frank Wolter},
title = {Small Datalog Query Rewritings for {EL}},
booktitle = {Proceedings of the 2012 International Workshop on Description Logics,
DL-2012, Rome, Italy, June 7-10, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {846},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-846/paper\_27.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/StefanoniMH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/MagkaMH12,
author = {Despoina Magka and
Boris Motik and
Ian Horrocks},
editor = {Elena Simperl and
Philipp Cimiano and
Axel Polleres and
{\'{O}}scar Corcho and
Valentina Presutti},
title = {Modelling Structured Domains Using Description Graphs and Logic Programming},
booktitle = {The Semantic Web: Research and Applications - 9th Extended Semantic
Web Conference, {ESWC} 2012, Heraklion, Crete, Greece, May 27-31,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7295},
pages = {330--344},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30284-8\_29},
doi = {10.1007/978-3-642-30284-8\_29},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esws/MagkaMH12.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/lpar/Motik12,
author = {Boris Motik},
editor = {Nikolaj S. Bj{\o}rner and
Andrei Voronkov},
title = {Parameterized Complexity and Fixed-Parameter Tractability of Description
Logic Reasoning},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 18th
International Conference, LPAR-18, M{\'{e}}rida, Venezuela, March
11-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7180},
pages = {13--14},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28717-6\_3},
doi = {10.1007/978-3-642-28717-6\_3},
timestamp = {Thu, 14 Apr 2022 20:26:15 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Motik12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ore/HorrocksMW12,
author = {Ian Horrocks and
Boris Motik and
Zhe Wang},
editor = {Ian Horrocks and
Mikalai Yatskevich and
Ernesto Jim{\'{e}}nez{-}Ruiz},
title = {The HermiT {OWL} Reasoner},
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\_paper13.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/ore/HorrocksMW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/MagkaMH12,
author = {Despoina Magka and
Boris Motik and
Ian Horrocks},
editor = {Pavel Klinov and
Matthew Horridge},
title = {Classifying Chemicals Using Description Graphs and Logic Programming},
booktitle = {Proceedings of {OWL:} Experiences and Directions Workshop 2012, Heraklion,
Crete, Greece, May 27-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {849},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-849/paper\_23.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:02 +0100},
biburl = {https://dblp.org/rec/conf/owled/MagkaMH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/MotikHK12,
author = {Boris Motik and
Ian Horrocks and
Su Myeon Kim},
editor = {Alain Mille and
Fabien Gandon and
Jacques Misselis and
Michael Rabinovich and
Steffen Staab},
title = {Delta-reasoner: a semantic web reasoner for an intelligent mobile
platform},
booktitle = {Proceedings of the 21st World Wide Web Conference, {WWW} 2012, Lyon,
France, April 16-20, 2012 (Companion Volume)},
pages = {63--72},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2187980.2187988},
doi = {10.1145/2187980.2187988},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/www/MotikHK12.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 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/SimancikMK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/StoilosGMH11,
author = {Giorgos Stoilos and
Bernardo Cuenca Grau and
Boris Motik and
Ian Horrocks},
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 = {Repairing Ontologies for Incomplete Reasoners},
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 = {681--696},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25073-6\_43},
doi = {10.1007/978-3-642-25073-6\_43},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/StoilosGMH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swat4ls/MagkaMH11,
author = {Despoina Magka and
Boris Motik and
Ian Horrocks},
editor = {Adrian Paschke and
Albert Burger and
Paolo Romano and
M. Scott Marshall and
Andrea Splendiani},
title = {Chemical knowledge representation with description graphs and logic
programming},
booktitle = {Proceedings of the 4th International Workshop on Semantic Web Applications
and Tools for the Life Sciences, {SWAT4LS} 2011, London, United Kingdom,
December 07-09, 2011},
pages = {74--75},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2166896.2166916},
doi = {10.1145/2166896.2166916},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/swat4ls/MagkaMH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/MotikR10,
author = {Boris Motik and
Riccardo Rosati},
title = {Reconciling description logics and rules},
journal = {J. {ACM}},
volume = {57},
number = {5},
pages = {30:1--30:62},
year = {2010},
url = {https://doi.org/10.1145/1754399.1754403},
doi = {10.1145/1754399.1754403},
timestamp = {Thu, 02 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/MotikR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Perez-UrbinaMH10,
author = {H{\'{e}}ctor P{\'{e}}rez{-}Urbina and
Boris Motik and
Ian Horrocks},
title = {Tractable query answering and rewriting under description logic constraints},
journal = {J. Appl. Log.},
volume = {8},
number = {2},
pages = {186--209},
year = {2010},
url = {https://doi.org/10.1016/j.jal.2009.09.004},
doi = {10.1016/J.JAL.2009.09.004},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/japll/Perez-UrbinaMH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GlimmHM10,
author = {Birte Glimm and
Ian Horrocks and
Boris Motik},
editor = {J{\"{u}}rgen Giesl and
Reiner H{\"{a}}hnle},
title = {Optimized Description Logic Reasoning via Core Blocking},
booktitle = {Automated Reasoning, 5th International Joint Conference, {IJCAR} 2010,
Edinburgh, UK, July 16-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6173},
pages = {457--471},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14203-1\_39},
doi = {10.1007/978-3-642-14203-1\_39},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/GlimmHM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GlimmHM10,
author = {Birte Glimm and
Ian Horrocks and
Boris Motik},
editor = {Volker Haarslev and
David Toman and
Grant E. Weddell},
title = {Optimized {DL} Reasoning via Core Blocking},
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\_11.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/GlimmHM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/Motik10,
author = {Boris Motik},
editor = {Madalina Croitoru and
S{\'{e}}bastien Ferr{\'{e}} and
Dickson Lukose},
title = {Combining Description Logics, Description Graphs, and Rules},
booktitle = {Conceptual Structures: From Information to Intelligence, 18th International
Conference on Conceptual Structures, {ICCS} 2010, Kuching, Sarawak,
Malaysia, July 26-30, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6208},
pages = {10--12},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14197-3\_4},
doi = {10.1007/978-3-642-14197-3\_4},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/iccs/Motik10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/GrauM10,
author = {Bernardo Cuenca Grau and
Boris Motik},
editor = {Fangzhen Lin and
Ulrike Sattler and
Miroslaw Truszczynski},
title = {Pushing the Limits of Reasoning over Ontologies with Hidden Content},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Twelfth International Conference, {KR} 2010, Toronto, Ontario,
Canada, May 9-13, 2010},
publisher = {{AAAI} Press},
year = {2010},
url = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1244},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/GrauM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/GlimmHMS10,
author = {Birte Glimm and
Ian Horrocks and
Boris Motik and
Giorgos Stoilos},
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 = {Optimising Ontology Classification},
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 = {225--240},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17746-0\_15},
doi = {10.1007/978-3-642-17746-0\_15},
timestamp = {Tue, 12 Apr 2022 14:46:29 +0200},
biburl = {https://dblp.org/rec/conf/semweb/GlimmHMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/Motik10,
author = {Boris Motik},
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 = {Representing and Querying Validity Time in {RDF} and {OWL:} {A} Logic-Based
Approach},
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 = {550--565},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17746-0\_35},
doi = {10.1007/978-3-642-17746-0\_35},
timestamp = {Tue, 07 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/Motik10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/MotikGHS09,
author = {Boris Motik and
Bernardo Cuenca Grau and
Ian Horrocks and
Ulrike Sattler},
title = {Representing ontologies using description logics, description graphs,
and rules},
journal = {Artif. Intell.},
volume = {173},
number = {14},
pages = {1275--1309},
year = {2009},
url = {https://doi.org/10.1016/j.artint.2009.06.003},
doi = {10.1016/J.ARTINT.2009.06.003},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/MotikGHS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/MotikSH09,
author = {Boris Motik and
Robert D. C. Shearer and
Ian Horrocks},
title = {Hypertableau Reasoning for Description Logics},
journal = {J. Artif. Intell. Res.},
volume = {36},
pages = {165--228},
year = {2009},
url = {https://doi.org/10.1613/jair.2811},
doi = {10.1613/JAIR.2811},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/MotikSH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/MotikHS09,
author = {Boris Motik and
Ian Horrocks and
Ulrike Sattler},
title = {Bridging the gap between {OWL} and relational databases},
journal = {J. Web Semant.},
volume = {7},
number = {2},
pages = {74--89},
year = {2009},
url = {https://doi.org/10.1016/j.websem.2009.02.001},
doi = {10.1016/J.WEBSEM.2009.02.001},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ws/MotikHS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/GrauM09,
author = {Bernardo Cuenca Grau and
Boris Motik},
editor = {Bernardo Cuenca Grau and
Ian Horrocks and
Boris Motik and
Ulrike Sattler},
title = {Importing Ontologies with Hidden Content},
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\_57.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/GrauM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Perez-UrbinaMH09,
author = {H{\'{e}}ctor P{\'{e}}rez{-}Urbina and
Boris Motik and
Ian Horrocks},
editor = {Bernardo Cuenca Grau and
Ian Horrocks and
Boris Motik and
Ulrike Sattler},
title = {A Comparison of Query Rewriting Techniques for DL-lite},
booktitle = {Proceedings of the 22nd International Workshop on Description Logics
{(DL} 2009), Oxford, UK, July 27-30, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {477},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-477/paper\_2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Perez-UrbinaMH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ShearerHM09,
author = {Robert D. C. Shearer and
Ian Horrocks and
Boris Motik},
editor = {Bernardo Cuenca Grau and
Ian Horrocks and
Boris Motik and
Ulrike Sattler},
title = {Exploiting Partial Information in Taxonomy Construction},
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\_19.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ShearerHM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Motik09,
author = {Boris Motik},
editor = {Silvio Ghilardi and
Roberto Sebastiani},
title = {Combining Description Logics, Description Graphs, and Rules},
booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
2009, Trento, Italy, September 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5749},
pages = {43--67},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04222-5\_3},
doi = {10.1007/978-3-642-04222-5\_3},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Motik09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GrauMK09,
author = {Bernardo Cuenca Grau and
Boris Motik and
Yevgeny Kazakov},
editor = {Craig Boutilier},
title = {Import-by-Query: Ontology Reasoning under Access Limitations},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {727--732},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/126.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:40 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GrauMK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/Perez-UrbinaHM08,
author = {H{\'{e}}ctor P{\'{e}}rez{-}Urbina and
Ian Horrocks and
Boris Motik},
editor = {Rinke Hoekstra and
Peter F. Patel{-}Schneider},
title = {Practical Aspects of Query Rewriting for {OWL} 2},
booktitle = {Proceedings of the 5th International Workshop on {OWL:} Experiences
and Directions {(OWLED} 2009), Chantilly, VA, United States, October
23-24, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {529},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-529/owled2009\_submission\_17.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:05 +0100},
biburl = {https://dblp.org/rec/conf/semweb/Perez-UrbinaHM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/Perez-UrbinaHM09,
author = {H{\'{e}}ctor P{\'{e}}rez{-}Urbina and
Ian Horrocks and
Boris Motik},
editor = {Abraham Bernstein and
David R. Karger and
Tom Heath and
Lee Feigenbaum and
Diana Maynard and
Enrico Motta and
Krishnaprasad Thirunarayan},
title = {Efficient Query Answering for {OWL} 2},
booktitle = {The Semantic Web - {ISWC} 2009, 8th International Semantic Web Conference,
{ISWC} 2009, Chantilly, VA, USA, October 25-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5823},
pages = {489--504},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04930-9\_31},
doi = {10.1007/978-3-642-04930-9\_31},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/Perez-UrbinaHM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ihis/Motik09,
author = {Boris Motik},
editor = {Steffen Staab and
Rudi Studer},
title = {Resolution-Based Reasoning for Ontologies},
booktitle = {Handbook on Ontologies},
series = {International Handbooks on Information Systems},
pages = {529--550},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92673-3\_24},
doi = {10.1007/978-3-540-92673-3\_24},
timestamp = {Wed, 14 Nov 2018 10:12:16 +0100},
biburl = {https://dblp.org/rec/series/ihis/Motik09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2009,
editor = {Bernardo Cuenca Grau and
Ian Horrocks and
Boris Motik and
Ulrike Sattler},
title = {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},
urn = {urn:nbn:de:0074-477-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/HendlerCDLMMMMNSA08,
author = {James A. Hendler and
Philipp Cimiano and
Dmitri A. Dolgov and
Anat Levin and
Peter Mika and
Brian Milch and
Louis{-}Philippe Morency and
Boris Motik and
Jennifer Neville and
Erik B. Sudderth and
Luis von Ahn},
title = {AI's 10 to Watch},
journal = {{IEEE} Intell. Syst.},
volume = {23},
number = {3},
pages = {9--19},
year = {2008},
url = {https://doi.org/10.1109/MIS.2008.40},
doi = {10.1109/MIS.2008.40},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/expert/HendlerCDLMMMMNSA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HustadtMS08,
author = {Ullrich Hustadt and
Boris Motik and
Ulrike Sattler},
title = {Deciding expressive description logics in the framework of resolution},
journal = {Inf. Comput.},
volume = {206},
number = {5},
pages = {579--601},
year = {2008},
url = {https://doi.org/10.1016/j.ic.2007.11.006},
doi = {10.1016/J.IC.2007.11.006},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HustadtMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/KazakovM08,
author = {Yevgeny Kazakov and
Boris Motik},
title = {A Resolution-Based Decision Procedure for \emph{SHOIQ}},
journal = {J. Autom. Reason.},
volume = {40},
number = {2-3},
pages = {89--116},
year = {2008},
url = {https://doi.org/10.1007/s10817-007-9090-1},
doi = {10.1007/S10817-007-9090-1},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/KazakovM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/KazakovM08a,
author = {Yevgeny Kazakov and
Boris Motik},
title = {A Resolution-Based Decision Procedure for \emph{SHOIQ}},
journal = {J. Autom. Reason.},
volume = {40},
number = {4},
pages = {357},
year = {2008},
url = {https://doi.org/10.1007/s10817-008-9100-y},
doi = {10.1007/S10817-008-9100-Y},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/KazakovM08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/GrauHMPPS08,
author = {Bernardo Cuenca Grau and
Ian Horrocks and
Boris Motik and
Bijan Parsia and
Peter F. Patel{-}Schneider and
Ulrike Sattler},
title = {{OWL} 2: The next step for {OWL}},
journal = {J. Web Semant.},
volume = {6},
number = {4},
pages = {309--322},
year = {2008},
url = {https://doi.org/10.1016/j.websem.2008.05.001},
doi = {10.1016/J.WEBSEM.2008.05.001},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ws/GrauHMPPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/TranHMGH08,
author = {Thanh Tran and
Peter Haase and
Boris Motik and
Bernardo Cuenca Grau and
Ian Horrocks},
editor = {Dieter Fox and
Carla P. Gomes},
title = {Metalevel Information in Ontology-Based Applications},
booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
pages = {1237--1242},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/AAAI/2008/aaai08-196.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/TranHMGH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/MotikH08,
author = {Boris Motik and
Ian Horrocks},
editor = {Alessandro Armando and
Peter Baumgartner and
Gilles Dowek},
title = {Individual Reuse in Description Logic Reasoning},
booktitle = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008,
Sydney, Australia, August 12-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5195},
pages = {242--258},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-71070-7\_20},
doi = {10.1007/978-3-540-71070-7\_20},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/MotikH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/MotikGS08,
author = {Boris Motik and
Bernardo Cuenca Grau and
Ulrike Sattler},
editor = {Franz Baader and
Carsten Lutz and
Boris Motik},
title = {The Representation of Structured Objects in DLs using Description
Graphs},
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/MotikCuencaGrauSattler.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/MotikGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ShearerMH08,
author = {Robert D. C. Shearer and
Boris Motik and
Ian Horrocks},
editor = {Franz Baader and
Carsten Lutz and
Boris Motik},
title = {Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi},
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/ShearerMotikHorrocks.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ShearerMH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MotikGHS08,
author = {Boris Motik and
Bernardo Cuenca Grau and
Ian Horrocks and
Ulrike Sattler},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Representing Structured Objects using Description Graphs},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {296--306},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-029.php},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/MotikGHS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/MotikGHS08,
author = {Boris Motik and
Bernardo Cuenca Grau and
Ian Horrocks and
Ulrike Sattler},
editor = {Catherine Dolbear and
Alan Ruttenberg and
Ulrike Sattler},
title = {Modeling Ontologies using OWL, Description Graphs, and Rules},
booktitle = {Proceedings of the Fifth {OWLED} Workshop on {OWL:} Experiences and
Directions, collocated with the 7th International Semantic Web Conference
(ISWC-2008), Karlsruhe, Germany, October 26-27, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {432},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-432/owled2008eu\_submission\_13.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:02 +0100},
biburl = {https://dblp.org/rec/conf/owled/MotikGHS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/ShearerMH08,
author = {Robert D. C. Shearer and
Boris Motik and
Ian Horrocks},
editor = {Catherine Dolbear and
Alan Ruttenberg and
Ulrike Sattler},
title = {HermiT: {A} Highly-Efficient {OWL} Reasoner},
booktitle = {Proceedings of the Fifth {OWLED} Workshop on {OWL:} Experiences and
Directions, collocated with the 7th International Semantic Web Conference
(ISWC-2008), Karlsruhe, Germany, October 26-27, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {432},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-432/owled2008eu\_submission\_12.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/owled/ShearerMH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/Motik08,
author = {Boris Motik},
editor = {Diego Calvanese and
Georg Lausen},
title = {Semantics and Reasoning Algorithms for a Faithful Integration of Description
Logics and Rules},
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 = {12},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88737-9\_2},
doi = {10.1007/978-3-540-88737-9\_2},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/rr/Motik08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdb/Perez-UrbinaMH08,
author = {H{\'{e}}ctor P{\'{e}}rez{-}Urbina and
Boris Motik and
Ian Horrocks},
editor = {Klaus{-}Dieter Schewe and
Bernhard Thalheim},
title = {Rewriting Conjunctive Queries over Description Logic Knowledge Bases},
booktitle = {Semantics in Data and Knowledge Bases, Third International Workshop,
{SDKB} 2008, Nantes, France, March 29, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4925},
pages = {199--214},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88594-8\_11},
doi = {10.1007/978-3-540-88594-8\_11},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdb/Perez-UrbinaMH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/MotikH08,
author = {Boris Motik and
Ian Horrocks},
editor = {Amit P. Sheth and
Steffen Staab and
Mike Dean and
Massimo Paolucci and
Diana Maynard and
Timothy W. Finin and
Krishnaprasad Thirunarayan},
title = {{OWL} Datatypes: Design and Implementation},
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 = {307--322},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88564-1\_20},
doi = {10.1007/978-3-540-88564-1\_20},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/MotikH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/MotikGS08,
author = {Boris Motik and
Bernardo Cuenca Grau and
Ulrike Sattler},
editor = {Jinpeng Huai and
Robin Chen and
Hsiao{-}Wuen Hon and
Yunhao Liu and
Wei{-}Ying Ma and
Andrew Tomkins and
Xiaodong Zhang},
title = {Structured objects in owl: representation and reasoning},
booktitle = {Proceedings of the 17th International Conference on World Wide Web,
{WWW} 2008, Beijing, China, April 21-25, 2008},
pages = {555--564},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1367497.1367573},
doi = {10.1145/1367497.1367573},
timestamp = {Tue, 20 Dec 2022 21:20:03 +0100},
biburl = {https://dblp.org/rec/conf/www/MotikGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2008,
editor = {Franz Baader and
Carsten Lutz and
Boris Motik},
title = {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},
urn = {urn:nbn:de:0074-353-8},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/Motik08,
author = {Boris Motik},
title = {{KAON2} - Scalable Reasoning over Ontologies with Large Data Sets},
journal = {{ERCIM} News},
volume = {2008},
number = {72},
year = {2008},
url = {http://ercim-news.ercim.eu/kaon2-scalable-reasoning-over-ontologies-with-large-data-sets},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/Motik08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/HustadtMS07,
author = {Ullrich Hustadt and
Boris Motik and
Ulrike Sattler},
title = {Reasoning in Description Logics by a Reduction to Disjunctive Datalog},
journal = {J. Autom. Reason.},
volume = {39},
number = {3},
pages = {351--384},
year = {2007},
url = {https://doi.org/10.1007/s10817-007-9080-3},
doi = {10.1007/S10817-007-9080-3},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/HustadtMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Motik07,
author = {Boris Motik},
title = {On the Properties of Metamodeling in {OWL}},
journal = {J. Log. Comput.},
volume = {17},
number = {4},
pages = {617--637},
year = {2007},
url = {https://doi.org/10.1093/logcom/exm027},
doi = {10.1093/LOGCOM/EXM027},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Motik07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/MotikSH07,
author = {Boris Motik and
Robert D. C. Shearer and
Ian Horrocks},
editor = {Frank Pfenning},
title = {Optimized Reasoning in Description Logics Using Hypertableaux},
booktitle = {Automated Deduction - CADE-21, 21st International Conference on Automated
Deduction, Bremen, Germany, July 17-20, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4603},
pages = {67--83},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73595-3\_6},
doi = {10.1007/978-3-540-73595-3\_6},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/MotikSH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/MotikSH07,
author = {Boris Motik and
Robert D. C. Shearer and
Ian Horrocks},
editor = {Diego Calvanese and
Enrico Franconi and
Volker Haarslev and
Domenico Lembo and
Boris Motik and
Anni{-}Yasmin Turhan and
Sergio Tessaris},
title = {A Hypertableau Calculus for {SHIQ}},
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\_19.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/MotikSH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MotikR07,
author = {Boris Motik and
Riccardo Rosati},
editor = {Manuela M. Veloso},
title = {A Faithful Integration of Description Logics with Logic Programming},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {477--482},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/075.pdf},
timestamp = {Fri, 03 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/MotikR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/MotikHS07,
author = {Boris Motik and
Ian Horrocks and
Ulrike Sattler},
editor = {Christine Golbreich and
Aditya Kalyanpur and
Bijan Parsia},
title = {Adding Integrity Constraints to {OWL}},
booktitle = {Proceedings of the {OWLED} 2007 Workshop on {OWL:} Experiences and
Directions, Innsbruck, Austria, June 6-7, 2007},
series = {{CEUR} Workshop Proceedings},
volume = {258},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-258/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:02 +0100},
biburl = {https://dblp.org/rec/conf/owled/MotikHS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/GolbreichHHMS07,
author = {Christine Golbreich and
Matthew Horridge and
Ian Horrocks and
Boris Motik and
Robert D. C. Shearer},
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 = {{OBO} and {OWL:} Leveraging Semantic Web Technologies for the Life
Sciences},
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 = {169--182},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76298-0\_13},
doi = {10.1007/978-3-540-76298-0\_13},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/GolbreichHHMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/MotikHS07,
author = {Boris Motik and
Ian Horrocks and
Ulrike Sattler},
editor = {Carey L. Williamson and
Mary Ellen Zurko and
Peter F. Patel{-}Schneider and
Prashant J. Shenoy},
title = {Bridging the gap between {OWL} and relational databases},
booktitle = {Proceedings of the 16th International Conference on World Wide Web,
{WWW} 2007, Banff, Alberta, Canada, May 8-12, 2007},
pages = {807--816},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1242572.1242681},
doi = {10.1145/1242572.1242681},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/www/MotikHS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2007,
editor = {Diego Calvanese and
Enrico Franconi and
Volker Haarslev and
Domenico Lembo and
Boris Motik and
Anni{-}Yasmin Turhan and
Sergio Tessaris},
title = {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},
urn = {urn:nbn:de:0074-250-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Motik2006,
author = {Boris Motik},
title = {Reasoning in description logics using resolution and deductive databases},
school = {Karlsruhe Institute of Technology, Germany},
year = {2006},
url = {http://digbib.ubka.uni-karlsruhe.de/volltexte/1000003797},
urn = {urn:nbn:de:swb:90-37972},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Motik2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KazakovM06,
author = {Yevgeny Kazakov and
Boris Motik},
editor = {Ulrich Furbach and
Natarajan Shankar},
title = {A Resolution-Based Decision Procedure for \emph{SHOIQ}},
booktitle = {Automated Reasoning, Third International Joint Conference, {IJCAR}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4130},
pages = {662--677},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11814771\_53},
doi = {10.1007/11814771\_53},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/KazakovM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/GrimmMP06,
author = {Stephan Grimm and
Boris Motik and
Chris Preist},
editor = {York Sure and
John Domingue},
title = {Matching Semantic Service Descriptions with Local Closed-World Reasoning},
booktitle = {The Semantic Web: Research and Applications, 3rd European Semantic
Web Conference, {ESWC} 2006, Budva, Montenegro, June 11-14, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4011},
pages = {575--589},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11762256\_42},
doi = {10.1007/11762256\_42},
timestamp = {Fri, 25 Dec 2020 01:15:10 +0100},
biburl = {https://dblp.org/rec/conf/esws/GrimmMP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/MotikS06,
author = {Boris Motik and
Ulrike Sattler},
editor = {Miki Hermann and
Andrei Voronkov},
title = {A Comparison of Reasoning Techniques for Querying Large Description
Logic ABoxes},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 13th
International Conference, {LPAR} 2006, Phnom Penh, Cambodia, November
13-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4246},
pages = {227--241},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11916277\_16},
doi = {10.1007/11916277\_16},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/MotikS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/MotikH06,
author = {Boris Motik and
Ian Horrocks},
editor = {Bernardo Cuenca Grau and
Pascal Hitzler and
Conor Shankey and
Evan Wallace},
title = {Problems with {OWL} Syntax},
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\_13.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:02 +0100},
biburl = {https://dblp.org/rec/conf/owled/MotikH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/MotikHRS06,
author = {Boris Motik and
Ian Horrocks and
Riccardo Rosati and
Ulrike Sattler},
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 = {Can {OWL} and Logic Programming Live Together Happily Ever After?},
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 = {501--514},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11926078\_36},
doi = {10.1007/11926078\_36},
timestamp = {Fri, 03 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semweb/MotikHRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jods/VolzSM05,
author = {Raphael Volz and
Steffen Staab and
Boris Motik},
title = {Incrementally Maintaining Materializations of Ontologies Stored in
Logic Databases},
journal = {J. Data Semant.},
volume = {2},
pages = {1--34},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30567-5\_1},
doi = {10.1007/978-3-540-30567-5\_1},
timestamp = {Wed, 16 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jods/VolzSM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/MotikSS05,
author = {Boris Motik and
Ulrike Sattler and
Rudi Studer},
title = {Query Answering for {OWL-DL} with rules},
journal = {J. Web Semant.},
volume = {3},
number = {1},
pages = {41--60},
year = {2005},
url = {https://doi.org/10.1016/j.websem.2005.05.001},
doi = {10.1016/J.WEBSEM.2005.05.001},
timestamp = {Tue, 29 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ws/MotikSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/HustadtM05,
author = {Ullrich Hustadt and
Boris Motik},
editor = {Ian Horrocks and
Ulrike Sattler and
Frank Wolter},
title = {Description Logics and Disjunctive Datalog - The Story so Far},
booktitle = {Proceedings of the 2005 International Workshop on Description Logics
(DL2005), Edinburgh, Scotland, UK, July 26-28, 2005},
series = {{CEUR} Workshop Proceedings},
volume = {147},
publisher = {CEUR-WS.org},
year = {2005},
url = {https://ceur-ws.org/Vol-147/31-MotikHustadt.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/HustadtM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ihis/HaaseM05,
author = {Peter Haase and
Boris Motik},
editor = {Axel Hahn and
Sven Abels and
Liane Haak},
title = {A mapping system for the integration of {OWL-DL} ontologies},
booktitle = {Proceedings of the first international {ACM} workshop on Interoperability
of Heterogeneous Information Systems (IHIS'05), {CIKM} Conference,
Bremen, Germany, November 4, 2005},
pages = {9--16},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1096967.1096970},
doi = {10.1145/1096967.1096970},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ihis/HaaseM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HustadtMS05,
author = {Ullrich Hustadt and
Boris Motik and
Ulrike Sattler},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {Data Complexity of Reasoning in Very Expressive Description Logics},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {466--471},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/0326.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:29 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HustadtMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/GrimmM05,
author = {Stephan Grimm and
Boris Motik},
editor = {Bernardo Cuenca Grau and
Ian Horrocks and
Bijan Parsia and
Peter F. Patel{-}Schneider},
title = {Closed World Reasoning in the Semantic Web through Epistemic Operators},
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/sub12.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:02 +0100},
biburl = {https://dblp.org/rec/conf/owled/GrimmM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/Motik05,
author = {Boris Motik},
editor = {Yolanda Gil and
Enrico Motta and
V. Richard Benjamins and
Mark A. Musen},
title = {On the Properties of Metamodeling in {OWL}},
booktitle = {The Semantic Web - {ISWC} 2005, 4th International Semantic Web Conference,
{ISWC} 2005, Galway, Ireland, November 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3729},
pages = {548--562},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11574620\_40},
doi = {10.1007/11574620\_40},
timestamp = {Tue, 07 Sep 2021 13:47:46 +0200},
biburl = {https://dblp.org/rec/conf/semweb/Motik05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/w3c/HitzlerAMS05,
author = {Pascal Hitzler and
J{\"{u}}rgen Angele and
Boris Motik and
Rudi Studer},
title = {Bridging the Paradigm Gap with Rules for {OWL}},
booktitle = {{W3C} Workshop on Rule Languages for Interoperability, 27-28 April
2005, Washington, DC, {USA}},
publisher = {{W3C}},
year = {2005},
url = {http://www.w3.org/2004/12/rules-ws/paper/9},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/w3c/HitzlerAMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/wi/05/MotikMV05,
author = {Boris Motik and
Alexander Maedche and
Raphael Volz},
editor = {Giorgos Stamou and
Stefanos D. Kollias},
title = {Ontology Representation and Querying for Realizing Semantics-Driven
Applications},
booktitle = {Multimedia Content and the Semantic Web},
pages = {45--73},
publisher = {Wiley},
year = {2005},
url = {https://doi.org/10.1002/0470012617.ch2},
doi = {10.1002/0470012617.CH2},
timestamp = {Mon, 28 Aug 2023 21:17:00 +0200},
biburl = {https://dblp.org/rec/books/wi/05/MotikMV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/HustadtMS04,
author = {Ullrich Hustadt and
Boris Motik and
Ulrike Sattler},
editor = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
Lorenza Saitta},
title = {Reasoning in Description Logics with a Concrete Domain in the Framework
of Resolution},
booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence,
ECAI'2004, including Prestigious Applicants of Intelligent Systems,
{PAIS} 2004, Valencia, Spain, August 22-27, 2004},
pages = {353--357},
publisher = {{IOS} Press},
year = {2004},
timestamp = {Fri, 11 May 2018 12:42:30 +0200},
biburl = {https://dblp.org/rec/conf/ecai/HustadtMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/HustadtMS04,
author = {Ullrich Hustadt and
Boris Motik and
Ulrike Sattler},
editor = {Didier Dubois and
Christopher A. Welty and
Mary{-}Anne Williams},
title = {Reducing SHIQ-Description Logic to Disjunctive Datalog Programs},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Ninth International Conference (KR2004), Whistler, Canada,
June 2-5, 2004},
pages = {152--162},
publisher = {{AAAI} Press},
year = {2004},
url = {http://www.aaai.org/Library/KR/2004/kr04-018.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/HustadtMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HustadtMS04,
author = {Ullrich Hustadt and
Boris Motik and
Ulrike Sattler},
editor = {Franz Baader and
Andrei Voronkov},
title = {A Decomposition Rule for Decision Procedures by Resolution-Based Calculi},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
International Conference, {LPAR} 2004, Montevideo, Uruguay, March
14-18, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3452},
pages = {21--35},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-32275-7\_2},
doi = {10.1007/978-3-540-32275-7\_2},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HustadtMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/GrimmMP04,
author = {Stephan Grimm and
Boris Motik and
Chris Preist},
editor = {David L. Martin and
Rub{\'{e}}n Lara and
Takahira Yamaguchi},
title = {Variance in e-Business Service Discovery},
booktitle = {Proceedings of the {ISWC} 2004 Workshop on Semantic Web Services:
Preparing to Meet the World of Business Applications, SWS@ISWC 2004,
Hiroshima, Japan, November 8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {119},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-119/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:09 +0100},
biburl = {https://dblp.org/rec/conf/semweb/GrimmMP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/MotikSS04,
author = {Boris Motik and
Ulrike Sattler and
Rudi Studer},
editor = {Sheila A. McIlraith and
Dimitris Plexousakis and
Frank van Harmelen},
title = {Query Answering for {OWL-DL} with Rules},
booktitle = {The Semantic Web - {ISWC} 2004: Third International Semantic Web Conference,Hiroshima,
Japan, November 7-11, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3298},
pages = {549--563},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30475-3\_38},
doi = {10.1007/978-3-540-30475-3\_38},
timestamp = {Tue, 07 Sep 2021 13:47:57 +0200},
biburl = {https://dblp.org/rec/conf/semweb/MotikSS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/staabS2004/OberleVSM04,
author = {Daniel Oberle and
Raphael Volz and
Steffen Staab and
Boris Motik},
editor = {Steffen Staab and
Rudi Studer},
title = {An Extensible Ontology Software Environment},
booktitle = {Handbook on Ontologies},
series = {International Handbooks on Information Systems},
pages = {299--320},
publisher = {Springer},
year = {2004},
timestamp = {Tue, 30 Mar 2004 08:01:55 +0200},
biburl = {https://dblp.org/rec/books/sp/staabS2004/OberleVSM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dbsk/MaedcheM03,
author = {Alexander Maedche and
Boris Motik},
title = {Repr{\"{a}}sentations- und Anfragesprachen f{\"{u}}r Ontologien
- eine {\"{U}}bersicht},
journal = {Datenbank-Spektrum},
volume = {6},
pages = {43--53},
year = {2003},
timestamp = {Thu, 18 Dec 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dbsk/MaedcheM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/MaedcheMSSV03,
author = {Alexander Maedche and
Boris Motik and
Ljiljana Stojanovic and
Rudi Studer and
Raphael Volz},
title = {Ontologies for Enterprise Knowledge Management},
journal = {{IEEE} Intell. Syst.},
volume = {18},
number = {2},
pages = {26--33},
year = {2003},
url = {https://doi.org/10.1109/MIS.2003.1193654},
doi = {10.1109/MIS.2003.1193654},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/expert/MaedcheMSSV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vldb/MaedcheMS03,
author = {Alexander Maedche and
Boris Motik and
Ljiljana Stojanovic},
title = {Managing multiple and distributed ontologies on the Semantic Web},
journal = {{VLDB} J.},
volume = {12},
number = {4},
pages = {286--302},
year = {2003},
url = {https://doi.org/10.1007/s00778-003-0102-4},
doi = {10.1007/S00778-003-0102-4},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/vldb/MaedcheMS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coopis/VolzSM03,
author = {Raphael Volz and
Steffen Staab and
Boris Motik},
editor = {Robert Meersman and
Zahir Tari and
Douglas C. Schmidt},
title = {Incremental Maintenance of Materialized Ontologies},
booktitle = {On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and
{ODBASE} - {OTM} Confederated International Conferences, CoopIS, DOA,
and {ODBASE} 2003, Catania, Sicily, Italy, November 3-7, 2003},
series = {Lecture Notes in Computer Science},
volume = {2888},
pages = {707--724},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39964-3\_45},
doi = {10.1007/978-3-540-39964-3\_45},
timestamp = {Fri, 30 Apr 2021 14:59:15 +0200},
biburl = {https://dblp.org/rec/conf/coopis/VolzSM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coopis/NagypalM03,
author = {G{\'{a}}bor Nagyp{\'{a}}l and
Boris Motik},
editor = {Robert Meersman and
Zahir Tari and
Douglas C. Schmidt},
title = {A Fuzzy Model for Representing Uncertain, Subjective, and Vague Temporal
Knowledge in Ontologies},
booktitle = {On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and
{ODBASE} - {OTM} Confederated International Conferences, CoopIS, DOA,
and {ODBASE} 2003, Catania, Sicily, Italy, November 3-7, 2003},
series = {Lecture Notes in Computer Science},
volume = {2888},
pages = {906--923},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39964-3\_57},
doi = {10.1007/978-3-540-39964-3\_57},
timestamp = {Fri, 30 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coopis/NagypalM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/krdb/MotikV03,
author = {Boris Motik and
Raphael Volz},
editor = {Fran{\c{c}}ois Bry and
Carsten Lutz and
Ulrike Sattler and
Mareike Schoop},
title = {Optimizing Query Answering in Description Logics using Disjunctive
Deductive Databases},
booktitle = {Proceedings of the 10th International Workshop on Knowledge Representation
meets Databases {(KRDB} 2003), Hamburg, Germany, September 15-16,
2003},
series = {{CEUR} Workshop Proceedings},
volume = {79},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-79/motik.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:34 +0100},
biburl = {https://dblp.org/rec/conf/krdb/MotikV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/psss/VolzSM03,
author = {Raphael Volz and
Steffen Staab and
Boris Motik},
editor = {Raphael Volz and
Stefan Decker and
Isabel F. Cruz},
title = {Incremental Maintenance of dynamic Datalog programs},
booktitle = {{PSSS1} - Practical and Scalable Semantic Systems, Proceedings of
the First International Workshop on Practical and Scalable Semantic
Systems, Sanibel Island, Florida, USA, October 20, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {89},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-89/volz-et-al.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:18 +0100},
biburl = {https://dblp.org/rec/conf/psss/VolzSM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/MaedcheMSSV03,
author = {Alexander Maedche and
Boris Motik and
Ljiljana Stojanovic and
Rudi Studer and
Raphael Volz},
editor = {Guszt{\'{a}}v Hencsey and
Bebo White and
Yih{-}Farn Robin Chen and
L{\'{a}}szl{\'{o}} Kov{\'{a}}cs and
Steve Lawrence},
title = {An infrastructure for searching, reusing and evolving distributed
ontologies},
booktitle = {Proceedings of the Twelfth International World Wide Web Conference,
{WWW} 2003, Budapest, Hungary, May 20-24, 2003},
pages = {439--448},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/775152.775215},
doi = {10.1145/775152.775215},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/www/MaedcheMSSV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/VolzOSM03,
author = {Raphael Volz and
Daniel Oberle and
Steffen Staab and
Boris Motik},
editor = {Guszt{\'{a}}v Hencsey and
Bebo White and
Yih{-}Farn Robin Chen and
L{\'{a}}szl{\'{o}} Kov{\'{a}}cs and
Steve Lawrence},
title = {{KAON} {SERVER} - {A} Semantic Web Management System},
booktitle = {Proceedings of the Twelfth International World Wide Web Conference
- Alternate Paper Tracks, {WWW} 2003, Budapest, Hungary, May 20-24,
2003},
year = {2003},
url = {http://www2003.org/cdrom/papers/alternate/P029/p29-volz.html},
timestamp = {Wed, 17 Jul 2013 16:59:51 +0200},
biburl = {https://dblp.org/rec/conf/www/VolzOSM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coopis/MotikMV02,
author = {Boris Motik and
Alexander Maedche and
Raphael Volz},
editor = {Robert Meersman and
Zahir Tari},
title = {A Conceptual Modeling Approach for Semantics-Driven Enterprise Applications},
booktitle = {On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE
2002 Confederated International Conferences DOA, CoopIS and {ODBASE}
2002 Irvine, California, USA, October 30 - November 1, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2519},
pages = {1082--1099},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36124-3\_69},
doi = {10.1007/3-540-36124-3\_69},
timestamp = {Thu, 14 Oct 2021 10:25:23 +0200},
biburl = {https://dblp.org/rec/conf/coopis/MotikMV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecweb/BozsakEHHMMOSSSSSSSTVZ02,
author = {Erol Bozsak and
Marc Ehrig and
Siegfried Handschuh and
Andreas Hotho and
Alexander Maedche and
Boris Motik and
Daniel Oberle and
Christoph Schmitz and
Steffen Staab and
Ljiljana Stojanovic and
Nenad Stojanovic and
Rudi Studer and
Gerd Stumme and
York Sure and
Julien Tane and
Raphael Volz and
Valentin Zacharias},
editor = {Kurt Bauknecht and
A Min Tjoa and
Gerald Quirchmayr},
title = {{KAON} - Towards a Large Scale Semantic Web},
booktitle = {E-Commerce and Web Technologies, Third International Conference, EC-Web
2002, Aix-en-Provence, France, September 2-6, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2455},
pages = {304--313},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45705-4\_32},
doi = {10.1007/3-540-45705-4\_32},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecweb/BozsakEHHMMOSSSSSSSTVZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ekaw/MaedcheMSV02,
author = {Alexander Maedche and
Boris Motik and
Nuno Silva and
Raphael Volz},
editor = {Asunci{\'{o}}n G{\'{o}}mez{-}P{\'{e}}rez and
V. Richard Benjamins},
title = {{MAFRA} - {A} MApping FRAmework for Distributed Ontologies},
booktitle = {Knowledge Engineering and Knowledge Management. Ontologies and the
Semantic Web, 13th International Conference, {EKAW} 2002, Siguenza,
Spain, October 1-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2473},
pages = {235--250},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45810-7\_23},
doi = {10.1007/3-540-45810-7\_23},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/ekaw/MaedcheMSV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ekaw/StojanovicMMS02,
author = {Ljiljana Stojanovic and
Alexander Maedche and
Boris Motik and
Nenad Stojanovic},
editor = {Asunci{\'{o}}n G{\'{o}}mez{-}P{\'{e}}rez and
V. Richard Benjamins},
title = {User-Driven Ontology Evolution Management},
booktitle = {Knowledge Engineering and Knowledge Management. Ontologies and the
Semantic Web, 13th International Conference, {EKAW} 2002, Siguenza,
Spain, October 1-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2473},
pages = {285--300},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45810-7\_27},
doi = {10.1007/3-540-45810-7\_27},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ekaw/StojanovicMMS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eon/StojanovicM02,
author = {Ljiljana Stojanovic and
Boris Motik},
editor = {J{\"{u}}rgen Angele and
York Sure},
title = {Ontology Evolution within Ontology Editors},
booktitle = {EON2002, Proceedings of the OntoWeb-SIG3 Workshop at the 13th International
Conference on Knowledge Engineering and Knowledge Management {EKAW}
2002, Siguenza (Spain), 30th September 2002},
series = {{CEUR} Workshop Proceedings},
volume = {62},
pages = {53--62},
publisher = {CEUR-WS.org},
year = {2002},
url = {https://ceur-ws.org/Vol-62/EON2002\_Stojanovic.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/eon/StojanovicM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip12/MaedcheMSSV02,
author = {Alexander Maedche and
Boris Motik and
Ljiljana Stojanovic and
Rudi Studer and
Raphael Volz},
editor = {Mark A. Musen and
Bernd Neumann and
Rudi Studer},
title = {Managing Multiple Ontologies and Ontology Evolution in Ontologging},
booktitle = {Intelligent Information Processing, {IFIP} 17\({}^{\mbox{th}}\) World
Computer Congress - {TC12} Stream on Intelligent Information Processing,
August 25-30, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {221},
pages = {51--63},
publisher = {Kluwer},
year = {2002},
timestamp = {Fri, 06 Sep 2002 09:25:38 +0200},
biburl = {https://dblp.org/rec/conf/ifip12/MaedcheMSSV02.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 2023-11-13 23:26 CET 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:
