www.cs.ox.ac.uk/people/ian.horrocks/Publications/horrocks2010_bib.html

@INPROCEEDINGS{GHMS10a,
  AUTHOR = {Birte Glimm and Ian Horrocks and Boris Motik and Giorgos Stoilos},
  BOOKTITLE = {Proc.\ of the 9th International Semantic Web Conference (ISWC 2010)},
  DATE-ADDED = {2010-08-24 22:48:09 +0100},
  DATE-MODIFIED = {2010-12-16 12:33:45 -0800},
  PAGES = {225--240},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Computer Science},
  TITLE = {Optimising Ontology Classification},
  URL = {download/2010/GHMS10a.pdf},
  VOLUME = {6496},
  YEAR = {2010},
  BDSK-URL-1 = {download/2010/StCH10b.pdf}
}

@INPROCEEDINGS{StCH10b,
  AUTHOR = {Giorgos Stoilos and Bernardo {Cuenca Grau} and Ian Horrocks},
  BOOKTITLE = {Proc.\ of the 9th International Semantic Web Conference (ISWC 2010)},
  DATE-ADDED = {2010-08-24 22:43:10 +0100},
  DATE-MODIFIED = {2010-12-16 12:34:31 -0800},
  PAGES = {747--763},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Computer Science},
  TITLE = {Completeness Guarantees for Incomplete Reasoners},
  URL = {download/2010/StCH10b.pdf},
  VOLUME = {6496},
  YEAR = {2010},
  BDSK-URL-1 = {download/2010/StCH10b.pdf}
}

@INPROCEEDINGS{GlHM10b,
  AUTHOR = {Birte Glimm and Ian Horrocks and Boris Motik},
  BOOKTITLE = {Proc.\ of the 2010 Description Logic Workshop (DL~2010)},
  DATE-ADDED = {2010-04-01 15:28:56 +0100},
  DATE-MODIFIED = {2010-08-29 18:58:26 +0100},
  SERIES = {CEUR (\url{http://ceur-ws.org/})},
  TITLE = {Optimized Description Logic Reasoning via Core Blocking},
  URL = {download/2010/GlHM10b.pdf},
  VOLUME = {573},
  YEAR = {2010},
  BDSK-URL-1 = {download/2010/GlHM10a}
}

@INPROCEEDINGS{MaKH10b,
  AUTHOR = {Despoina Magka and Yevgeny Kazakov and Ian Horrocks},
  BOOKTITLE = {Proc.\ of the 2010 Description Logic Workshop (DL~2010)},
  DATE-ADDED = {2010-04-01 15:26:08 +0100},
  DATE-MODIFIED = {2010-08-29 18:57:55 +0100},
  SERIES = {CEUR (\url{http://ceur-ws.org/})},
  TITLE = {Tractable Extensions of the Description Logic $\mathcal{EL}$ with Numerical Datatypes},
  URL = {download/2010/MaKH10b.pdf},
  VOLUME = {573},
  YEAR = {2010},
  BDSK-URL-1 = {download/2010/MaKH10a}
}

@INPROCEEDINGS{GlHM10a,
  AUTHOR = {Birte Glimm and Ian Horrocks and Boris Motik},
  BOOKTITLE = {Proc.\ of the Int.\ Joint Conf.\ on Automated Reasoning (IJCAR~2010)},
  DATE-ADDED = {2010-04-01 15:23:17 +0100},
  DATE-MODIFIED = {2010-07-23 14:40:16 +0100},
  EDITOR = {J\"{u}rgen Giesl and Reiner H\"{a}hnle},
  PAGES = {457--471},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Artificial Intelligence},
  TITLE = {Optimized Description Logic Reasoning via Core Blocking},
  URL = {download/2010/GlHM10a.pdf},
  VOLUME = {6173},
  YEAR = {2010},
  BDSK-URL-1 = {download/2010/GlHM10a.pdf}
}

@INPROCEEDINGS{MaKH10a,
  AUTHOR = {Despoina Magka and Yevgeny Kazakov and Ian Horrocks},
  BOOKTITLE = {Proc.\ of the Int.\ Joint Conf.\ on Automated Reasoning (IJCAR~2010)},
  DATE-ADDED = {2010-04-01 15:19:22 +0100},
  DATE-MODIFIED = {2010-07-23 14:41:05 +0100},
  EDITOR = {J\"{u}rgen Giesl and Reiner H\"{a}hnle},
  PAGES = {61--75},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Artificial Intelligence},
  TITLE = {Tractable Extensions of the Description Logic $\mathcal{EL}$ with Numerical Datatypes},
  URL = {download/2010/MaKH10a.pdf},
  VOLUME = {6173},
  YEAR = {2010},
  BDSK-URL-1 = {download/2010/MaKH10a.pdf}
}

@INPROCEEDINGS{StCH10a,
  AUTHOR = {Giorgos Stoilos and Bernardo {Cuenca Grau} and Ian Horrocks},
  BOOKTITLE = {Proc.\ of the 20th Nat.\ Conf.\ on Artificial Intelligence (AAAI~10)},
  DATE-ADDED = {2010-02-10 18:38:23 +0000},
  DATE-MODIFIED = {2010-08-26 17:59:24 +0100},
  PAGES = {1431--1436},
  PUBLISHER = {{AAAI} Publications},
  READ = {No},
  TITLE = {How Incomplete is your Semantic Web Reasoner?},
  URL = {download/2010/StCH10a.pdf},
  YEAR = {2010},
  BDSK-URL-1 = {download/2010/StCH10a.pdf}
}

@ARTICLE{PeMH09a,
  AUTHOR = {H\'{e}ctor P\'{e}rez-Urbina and Boris Motik and Ian Horrocks},
  DATE-ADDED = {2009-07-02 12:42:57 +0100},
  DATE-MODIFIED = {2010-07-23 11:49:09 +0100},
  DOI = {10.1016/j.jal.2009.09.004},
  JOURNAL = {J.\ of Applied Logic},
  NOTE = {DOI \url{10.1016/j.jal.2009.09.004}},
  NUMBER = {2},
  PAGES = {186--209},
  TITLE = {Tractable Query Answering and Rewriting under Description Logic Constraints},
  URL = {download/2009/PeMH09a.pdf},
  VOLUME = {8},
  YEAR = {2010},
  BDSK-URL-1 = {download/2009/PeMH09a.pdf},
  BDSK-URL-2 = {http://dx.doi.org/10.1016/j.jal.2009.09.004}
}