@article{DBLP:journals/ai/HuMH22,
author = {Pan Hu and Boris Motik and Ian Horrocks},
date-added = {2022-05-27 15:26:52 +0100},
date-modified = {2023-04-20 13:45:08 +0100},
doi = {https://doi.org/10.1016/j.artint.2022.103726},
journal = {Artificial Intelligence},
pages = {103726},
title = {Modular materialisation of Datalog programs},
url = {download/2022/HuMH22.pdf},
volume = {308},
year = {2022},
bdsk-url-1 = {download/2022/HuMH22},
bdsk-url-2 = {https://doi.org/10.1016/j.artint.2022.103726}
}
@article{DBLP:journals/ai/RoncaKGH22,
author = {Alessandro Ronca and Mark Kaminski and Bernardo Cuenca
Grau and Ian Horrocks},
date-added = {2022-04-12 13:28:12 +0100},
date-modified = {2023-04-20 13:44:45 +0100},
journal = {Artificial Intelligence},
pages = {103668},
title = {The delay and window size problems in rule-based stream
reasoning},
url = {download/2022/RoncaKGH22.pdf},
volume = {306},
year = {2022},
bdsk-url-1 = {download/2022/RoncaKGH22}
}
@article{DBLP:journals/jacm/KaminskiKGMH22,
author = {Mark Kaminski and Egor V. Kostylev and Bernardo Cuenca
Grau and Boris Motik and Ian Horrocks},
date-added = {2022-04-12 13:21:07 +0100},
date-modified = {2022-06-27 12:34:43 +0100},
doi = {https://dl.acm.org/doi/pdf/10.1145/3495009},
journal = {J.\ of the {ACM}},
number = {1},
pages = {6:1--6:83},
title = {The Complexity and Expressive Power of Limit Datalog},
url = {download/2022/KKGMH22.pdf},
volume = {69},
year = {2022},
bdsk-url-1 = {https://dl.acm.org/doi/pdf/10.1145/3495009}
}
@book{BHLS17,
author = {Franz Baader and Ian Horrocks and Carsten Lutz and Uli
Sattler},
date-added = {2017-04-30 22:01:54 +0000},
date-modified = {2017-05-01 16:55:09 +0000},
isbn = {9780521695428},
publisher = {Cambridge University Press},
title = {An Introduction to Description Logic},
url = {http://dltextbook.org/},
year = {2017},
bdsk-url-1 = {http://dltextbook.org/}
}
@article{dlprimer,
author = {Markus Kr\"{o}tzsch and Franti\v{s}ek Siman\v{c}\'{i}k and
Ian Horrocks},
date-added = {2012-01-20 10:30:50 +0000},
date-modified = {2012-01-20 10:46:15 +0000},
ee = {http://arxiv.org/abs/1201.4089},
journal = {CoRR},
title = {A Description Logic Primer},
url = {http://arxiv.org/abs/1201.4089},
volume = {abs/1201.4089},
year = {2012},
bdsk-url-1 = {http://arxiv.org/abs/1201.4089}
}
@article{DBLP:journals/ai/CucalaGH21,
author = {David {Tena Cucala} and Bernardo {Cuenca Grau} and Ian
Horrocks},
date-added = {2021-08-17 10:05:11 +0100},
date-modified = {2022-06-14 15:29:22 +0100},
journal = {Artificial Intelligence},
pages = {103518},
title = {Pay-as-you-go consequence-based reasoning for the
description logic {SROIQ}},
url = {download/2021/CucalaGH21.pdf},
volume = {298},
year = {2021},
bdsk-url-1 = {download/2021/CucalaGH21.pdf}
}
@article{DBLP:journals/ml/ChenHJHAH21,
author = {Jiaoyan Chen and Pan Hu and Ernesto Jim{\'{e}}nez{-}Ruiz
and Ole Magnus Holter and Denvar Antonyrajah and Ian
Horrocks},
date-added = {2021-08-17 09:47:41 +0100},
date-modified = {2021-08-17 09:48:07 +0100},
doi = {10.1007/s10994-021-05997-6},
journal = {Mach. Learn.},
number = {7},
pages = {1813--1845},
title = {OWL2Vec*: embedding of {OWL} ontologies},
url = {https://doi.org/10.1007/s10994-021-05997-6},
volume = {110},
year = {2021},
bdsk-url-1 = {https://doi.org/10.1007/s10994-021-05997-6}
}
@article{MNPH19a,
author = {Boris Motik and Yavor Nenov and Robert Piro and Ian
Horrocks},
date-added = {2019-02-08 18:30:06 +0100},
date-modified = {2019-02-22 11:24:59 +0000},
doi = {https://doi.org/10.1016/j.artint.2018.12.004},
journal = {Artificial Intelligence},
pages = {76--136},
title = {Maintenance of datalog materialisations revisited},
url = {download/2019/MNPH19a.pdf},
volume = {269},
year = {2019},
bdsk-url-1 = {https://doi.org/10.1016/j.artint.2018.12.004}
}
@article{NKKKCH19a,
author = {Charalampos Nikolaou and Egor V. Kostylev and George
Konstantinidis and Mark Kaminski and Bernardo {Cuenca Grau}
and Ian Horrocks},
date-added = {2019-04-05 14:12:23 +0100},
date-modified = {2019-04-05 14:36:16 +0100},
doi = {https://doi.org/10.1016/j.artint.2019.02.003},
journal = {Artificial Intelligence},
pages = {91--132},
title = {Foundations of ontology-based data access under bag
semantics},
url = {download/2019/NKKKCH19a.pdf},
volume = {274},
year = {2019},
bdsk-url-1 = {download/2019/NKKKCH19a.pdf},
bdsk-url-2 = {https://doi.org/10.1016/j.artint.2019.02.003}
}
@article{BMCTSH18a,
author = {Andrew Bate and Boris Motik and Bernardo {Cuenca Grau} and
David {Tena Cucala} and Franti\v{s}ek Siman\v{c}\'{i}k and
Ian Horrocks},
date-added = {2018-12-03 09:42:22 +0100},
date-modified = {2018-12-03 09:47:41 +0100},
journal = {J.\ of Artificial Intelligence Research},
pages = {625--690},
title = {Consequence-Based Reasoning for Description Logics with
Disjunctions and Number Restrictions},
url = {https://jair.org/index.php/jair/article/view/11257/26452},
volume = {63},
year = {2018},
bdsk-url-1 = {https://jair.org/index.php/jair/article/view/11257/26452}
}
@article{PMNH18a,
author = {Anthony Potter and Boris Motik and Yavor Nenov and Ian
Horrocks},
date-added = {2018-04-26 16:16:08 +0000},
date-modified = {2019-02-21 16:59:56 +0000},
doi = {10.1109/TKDE.2018.2818696},
journal = {{IEEE} Trans.\ on Knowledge and Data Engineering},
number = {12},
pages = {2312--2325},
title = {Dynamic Data Exchange in Distributed {RDF} Stores},
url = {download/2018/PMNH18a.pdf},
volume = {30},
year = {2018},
bdsk-url-1 = {download/2018/PMNH18a.pdf}
}
@inproceedings{DBLP:conf/ijcai/KaminskiGKMH17,
author = {Mark Kaminski and Bernardo Cuenca Grau and Egor V.
Kostylev and Boris Motik and Ian Horrocks},
bibsource = {dblp computer science bibliography, http://dblp.org},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/KaminskiGKMH17},
booktitle = {Proceedings of the Twenty-Sixth International Joint
Conference on Artificial Intelligence, {IJCAI} 2017,
Melbourne, Australia, August 19-25, 2017},
date-added = {2017-10-07 15:13:37 +0000},
date-modified = {2017-12-08 17:55:41 +0000},
doi = {10.24963/ijcai.2017/156},
editor = {Carles Sierra},
pages = {1123--1130},
publisher = {ijcai.org},
title = {Foundations of Declarative Data Analysis Using Limit
Datalog Programs},
url = {https://doi.org/10.24963/ijcai.2017/156},
year = {2017},
bdsk-url-1 = {https://doi.org/10.24963/ijcai.2017/156},
bdsk-url-2 = {http://dx.doi.org/10.24963/ijcai.2017/156}
}
@article{HGKW16a,
author = {Ian Horrocks and Martin Giese and Evgeny Kharlamov and
Arild Waaler},
date-added = {2016-12-25 00:33:12 +0000},
date-modified = {2016-12-25 00:35:32 +0000},
doi = {doi:10.1109/MIC.2016.121},
journal = {IEEE Internet Computing},
pages = {62--66},
title = {Using Semantic Technology to Tame the Data Variety
Challenge},
volume = {20},
year = {2016},
bdsk-url-1 = {http://dx.doi.org/10.1109/MIC.2016.121}
}
@inproceedings{PNMHH+16,
author = {Robert Piro and Yavor Nenov and Boris Motik and Ian
Horrocks and Peter Hendler and Scott Kimberly and Michael
Rossman},
booktitle = {Proc.\ of the 15th International Semantic Web Conference
(ISWC 2016)},
date-added = {2016-08-10 15:15:53 +0000},
date-modified = {2016-08-10 15:18:33 +0000},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Semantic Technologies for Data Analysis in Health Care},
url = {download/2016/PNMHH+16.pdf},
year = {2016},
bdsk-url-1 = {download/2016/PNMHH+16.pdf}
}
@inproceedings{PoMH16a,
author = {Anthony Potter and Boris Motik and Yavor Nenov and Ian
Horrocks},
booktitle = {Proc.\ of the 15th International Semantic Web Conference
(ISWC 2016)},
date-added = {2016-08-10 13:52:42 +0000},
date-modified = {2016-08-10 13:55:10 +0000},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Distributed {RDF} Query Answering with Dynamic Data
Exchange},
url = {download/2016/PoMH16a.pdf},
year = {2016},
bdsk-url-1 = {download/2016/PoMH16a.pdf}
}
@inproceedings{NPMHWB15a,
author = {Yavor Nenov and Robert Piro and Boris Motik and Ian
Horrocks and Zhe Wu and Jay Banerjee},
booktitle = {Proc.\ of the 14th International Semantic Web Conference
(ISWC 2015)},
date-added = {2015-07-20 08:50:06 +0000},
date-modified = {2015-07-20 10:02:03 +0000},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {{RDFox}: A Highly-Scalable {RDF} Store},
url = {download/2015/NPMHWB15a.pdf},
year = {2015},
bdsk-url-1 = {download/2015/NPMHWB15a.pdf}
}
@inproceedings{KHJL+15a,
author = {Evgeny Kharlamov and Dag Hovland and Ernesto
Jim{\'{e}}nez{-}Ruiz and Davide Lanti and Christoph Pinkel
and Martin Rezk and Martin G. Skj\ae{}veland and Evgenij
Thorstensen and Guohui Xiao and Dmitriy Zheleznyakov and
Eldar Bj\o{}rge and Ian Horrocks},
booktitle = {Proc.\ of the 14th International Semantic Web Conference
(ISWC 2015)},
date-added = {2015-07-20 09:09:49 +0000},
date-modified = {2016-08-03 15:24:38 +0000},
pages = {93--112},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Ontology Based Access to Exploration Data at {Statoil}},
url = {download/2015/KHJL+15a.pdf},
volume = {9367},
year = {2015},
bdsk-url-1 = {download/2015/KHJL+15a.pdf}
}
@article{SiMH14a,
author = {Franti\v{s}ek Siman\v{c}\'{i}k and Boris Motik and Ian
Horrocks},
date-added = {2014-01-24 09:56:50 +0000},
date-modified = {2014-09-16 11:55:18 +0000},
doi = {10.1016/j.artint.2014.01.002},
journal = {Artificial Intelligence},
pages = {29--77},
title = {Consequence-Based and Fixed-Parameter Tractable Reasoning
in Description Logics},
url = {download/2014/SiMH14a.pdf},
volume = {209},
year = {2014},
bdsk-url-1 = {download/2014/SiMH14a},
bdsk-url-2 = {http://dx.doi.org/10.1016/j.artint.2014.01.002}
}
@inproceedings{ZNCH14a,
author = {Yujiao Zhou and Yavor Nenov and Bernardo {Cuenca Grau} and
Ian Horrocks},
booktitle = {Proc.\ of the 28th Nat.\ Conf.\ on Artificial Intelligence
(AAAI~14)},
date-added = {2014-04-23 16:55:02 +0000},
date-modified = {2014-08-12 22:11:03 +0000},
pages = {1142--1148},
publisher = {AAAI Press},
title = {Pay-as-you-go {OWL} Query Answering Using a Triple Store},
url = {download/2014/ZNCH14a.pdf},
year = {2014},
bdsk-url-1 = {download/2013/ZNCH13a.pdf}
}
@inproceedings{MNPHO14a,
author = {Boris Motik and Yavor Nenov and Robert Piro and Ian
Horrocks and Dan Olteanu},
booktitle = {Proc.\ of the 28th Nat.\ Conf.\ on Artificial Intelligence
(AAAI~14)},
date-added = {2014-04-08 10:19:47 +0000},
date-modified = {2014-08-12 22:11:40 +0000},
pages = {129--137},
publisher = {AAAI Press},
title = {Parallel Materialisation of {D}atalog Programs in
Centralised, Main-Memory {RDF} Systems},
url = {download/2014/MNPHO14a.pdf},
year = {2014},
bdsk-url-1 = {download/2014/MNPHO14a.pdf}
}
@article{CMSH11a,
author = {Bernardo {Cuenca Grau} and Boris Motik and Giorgos Stoilos
and Ian Horrocks},
date-added = {2013-07-22 21:56:17 +0000},
date-modified = {2013-07-22 21:56:17 +0000},
journal = {J.\ of Artificial Intelligence Research},
month = {March},
pages = {419--476},
title = {Completeness Guarantees for Incomplete Ontology Reasoners:
Theory and Practice},
url = {download/2011/CMSH11a.pdf},
volume = {43},
year = {2012},
bdsk-url-1 = {download/2011/CMSH11a.pdf}
}
@article{HMSS11a,
author = {Birte Glimm and Ian Horrocks and Boris Motik and Rob
Shearer and Giorgos Stoilos},
date-added = {2011-10-04 17:06:28 +0100},
date-modified = {2012-06-23 12:44:18 +0100},
journal = {J.\ of Web Semantics},
pages = {84--101},
title = {A Novel Approach to Ontology Classification},
url = {download/2011/HMSS11a.pdf},
volume = {14},
year = {2012},
bdsk-url-1 = {download/2011/HMSS11a.pdf}
}
@incollection{HoPa10a,
author = {Ian Horrocks and Peter F.\ Patel-Schneider},
booktitle = {Handbook of Semantic Web Technologies},
chapter = {9},
date-added = {2010-10-29 10:10:08 +0100},
date-modified = {2011-08-30 10:05:50 +0100},
doi = {10.1007/978-3-540-92913-0},
editor = {John Domingue and Dieter Fensel and James A. Hendler},
isbn = {978-3-540-92912-3},
pages = {365--398},
publisher = {Springer},
title = {{KR} and Reasoning on the Semantic Web: {OWL}},
url = {download/2010/HoPa10a.pdf},
year = {2011},
bdsk-url-1 = {download/2010/HoPa10a.pdf},
bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-540-92913-0}
}
@article{MoHS09a,
author = {Boris Motik and Ian Horrocks and Ulrike Sattler},
date-added = {2009-05-12 15:14:55 +0100},
date-modified = {2009-10-05 10:28:12 +0100},
doi = {10.1016/j.websem.2009.02.001},
journal = {J.\ of Web Semantics},
month = {April},
number = {2},
pages = {74--89},
title = {Bridging the Gap Between {OWL} and Relational Databases},
url = {download/2009/MoHS09a.pdf},
volume = {7},
year = {2009},
bdsk-url-1 = {download/2007/MoHS07a.pdf},
bdsk-url-2 = {download/2009/MoHS09a.pdf},
bdsk-url-3 = {http://dx.doi.org/10.1016/j.websem.2009.02.001}
}
@article{MoSH09a,
author = {Boris Motik and Rob Shearer and Ian Horrocks},
date-added = {2009-09-25 15:20:08 +0100},
date-modified = {2009-10-29 13:35:11 +0000},
journal = {J.\ of Artificial Intelligence Research},
pages = {165--228},
title = {Hypertableau Reasoning for Description Logics},
url = {download/2009/MoSH09a.pdf},
volume = {36},
year = {2009},
bdsk-url-1 = {download/2007/MoSH07b.pdf},
bdsk-url-2 = {download/2009/MoSH09a.pdf}
}
@article{MCHS09a,
author = {Boris Motik and Bernardo {Cuenca Grau} and Ian Horrocks
and Ulrike Sattler},
date-added = {2009-06-03 12:56:02 +0100},
date-modified = {2009-07-25 15:50:48 +0100},
doi = {10.1016/j.artint.2009.06.003},
journal = {Artificial Intelligence},
number = {14},
pages = {1275--1309},
title = {Representing Ontologies Using Description Logics,
Description Graphs, and Rules},
url = {download/2009/MCHS09a.pdf},
volume = {173},
year = {2009},
bdsk-url-1 = {download/2009/MCHS09a.pdf},
bdsk-url-2 = {http://dx.doi.org/10.1016/j.artint.2009.06.003}
}
@article{Horr08a,
author = {Ian Horrocks},
date-added = {2008-11-27 18:32:29 +0000},
date-modified = {2008-12-08 11:24:39 +0000},
journal = {Communications of the {ACM}},
month = {December},
number = {12},
pages = {58--67},
title = {Ontologies and the semantic web},
url = {download/2008/Horr08a.pdf},
volume = {51},
year = {2008},
bdsk-url-1 = {download/2008/Horr08a.pdf}
}
@inproceedings{MoSH07a,
author = {Boris Motik and Rob Shearer and Ian Horrocks},
booktitle = {Proc.\ of the 21st Int.\ Conf.\ on Automated Deduction
(CADE-21)},
date-added = {2007-05-03 14:24:20 +0100},
date-modified = {2007-07-25 18:12:24 +0100},
pages = {67--83},
publisher = {Springer},
series = {Lecture Notes in Artificial Intelligence},
title = {Optimized Reasoning in Description Logics using
Hypertableaux},
url = {download/2007/MoSH07a.pdf},
volume = {4603},
year = {2007},
bdsk-url-1 = {download/2007/MoSH07a.pdf}
}
@incollection{BaHS07a,
author = {Franz Baader and Ian Horrocks and Ulrike Sattler},
booktitle = {Handbook of Knowledge Representation},
chapter = {3},
date-added = {2007-07-25 18:14:15 +0100},
date-modified = {2011-09-01 20:15:01 +0100},
editor = {Frank {van Harmelen} and Vladimir Lifschitz and Bruce
Porter},
pages = {135--180},
publisher = {Elsevier},
title = {{D}escription {L}ogics},
url = {download/2007/BaHS07a.pdf},
year = {2008},
bdsk-url-1 = {download/2007/BaHS07a.pdf}
}
@article{TsHP07,
author = {Dmitry Tsarkov and Ian Horrocks and Peter~F.\
Patel-Schneider},
date-added = {2007-05-25 10:45:31 +0100},
date-modified = {2007-09-01 13:02:09 +0100},
doi = {10.1007/s10817-007-9077-y},
journal = {J.\ of Automated Reasoning},
number = {3},
pages = {277--316},
title = {Optimizing Terminological Reasoning for Expressive
Description Logics},
url = {download/2007/TsHP07.pdf},
volume = {39},
year = {2007},
bdsk-url-1 = {download/2007/TsHP07.pdf},
bdsk-url-2 = {http://dx.doi.org/10.1007/s10817-007-9077-y}
}
@article{HoSa07a,
author = {Ian Horrocks and Ulrike Sattler},
date-added = {2007-05-25 10:40:14 +0100},
date-modified = {2007-09-01 13:05:24 +0100},
doi = {10.1007/s10817-007-9079-9},
issn = {0168-7433},
journal = {J.\ of Automated Reasoning},
number = {3},
pages = {249--276},
title = {A Tableau Decision Procedure for $\mathcal{SHOIQ}$},
url = {download/2007/HoSa07a.pdf},
volume = {39},
year = 2007,
bdsk-url-1 = {download/2007/HoSa07a.pdf},
bdsk-url-2 = {http://dx.doi.org/10.1007/s10817-007-9079-9}
}
@inproceedings{HoKS06a,
author = {Ian Horrocks and Oliver Kutz and Ulrike Sattler},
booktitle = {Proc.\ of the 10th Int.\ Conf.\ on Principles of Knowledge
Representation and Reasoning (KR~2006)},
date-modified = {2007-03-07 20:44:29 +0000},
isbn = {978-1-57735-271-6},
pages = {57--67},
publisher = {AAAI Press},
title = {The Even More Irresistible $\mathcal{SROIQ}$},
url = {download/2006/HoKS06a.pdf},
year = 2006,
bdsk-url-1 = {download/2006/HoKS06a.pdf}
}
@article{HoPH03a,
author = {Ian Horrocks and Peter F. Patel-Schneider and Frank van
Harmelen},
date-modified = {2007-06-11 18:42:34 +0100},
issn = {1570-8268},
journal = {J.\ of Web Semantics},
number = 1,
pages = {7--26},
publisher = {Elsevier},
title = {From $\mathcal{SHIQ}$ and {RDF} to {OWL}: The Making of a
Web Ontology Language},
url = {download/2003/HoPH03a.pdf},
volume = 1,
year = 2003,
bdsk-url-1 = {download/2003/HoPH03a.pdf}
}
@inproceedings{GHVD03,
author = {Benjamin N. Grosof and Ian Horrocks and Raphael Volz and
Stefan Decker},
booktitle = {Proc.\ of the Twelfth International World Wide Web
Conference (WWW 2003)},
date-modified = {2007-03-07 20:44:29 +0000},
isbn = {1-58113-680-3},
pages = {48--57},
publisher = {ACM},
title = {Description Logic Programs: Combining Logic Programs with
Description Logic},
url = {download/2003/p117-grosof.pdf},
year = 2003,
bdsk-url-1 = {download/2003/p117-grosof.pdf}
}
@inproceedings{HoST99,
annote = {AKA: Horrocks99j},
author = {I. Horrocks and U. Sattler and S. Tobies},
booktitle = {Proc.\ of the 6th Int.\ Conf.\ on Logic for Programming
and Automated Reasoning (LPAR'99)},
date-modified = {2007-03-07 20:44:29 +0000},
editor = {H. Ganzinger and D. McAllester and A. Voronkov},
isbn = {3-540-66492-0},
number = 1705,
pages = {161--180},
publisher = {Springer},
series = {Lecture Notes in Artificial Intelligence},
title = {Practical Reasoning for Expressive Description Logics},
url = {download/1999/lpar99.pdf},
year = 1999,
bdsk-url-1 = {download/1999/lpar99.pdf}
}
@inproceedings{Horr98,
annote = {AKA: Horrocks98c},
author = {Ian Horrocks},
booktitle = {Proc.\ of the 6th Int.\ Conf.\ on Principles of Knowledge
Representation and Reasoning (KR'98)},
date-modified = {2007-03-07 20:44:28 +0000},
pages = {636--647},
title = {Using an Expressive Description Logic: {FaCT} or
Fiction?},
url = {download/1998/kr98.pdf},
year = 1998,
bdsk-url-1 = {download/1998/kr98.pdf}
}
This file was generated by bibtex2html 1.96.