University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

@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{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{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.