Ian Horrocks: bibliography

@ARTICLE{CHMP+08,
  AUTHOR = {Bernardo {Cuenca Grau} and Ian Horrocks and Boris Motik and Bijan Parsia and Peter Patel-Schneider and Ulrike Sattler},
  DATE-ADDED = {2008-10-20 10:54:05 +0100},
  DATE-MODIFIED = {2008-10-20 11:00:25 +0100},
  JOURNAL = {J.\ of Web Semantics},
  TITLE = {{OWL 2}: The next step for {OWL}},
  URL = {download/2008/CHMP+08.pdf},
  YEAR = {2008}
}

@INPROCEEDINGS{CuHo08a,
  AUTHOR = {Bernardo {Cuenca Grau} and Ian Horrocks},
  BOOKTITLE = {Proc.\ of the 18th Eur.\ Conf.\ on Artificial Intelligence (ECAI~2008)},
  DATE-ADDED = {2008-06-30 16:47:46 +0100},
  DATE-MODIFIED = {2008-06-30 16:49:58 +0100},
  TITLE = {Privacy-Preserving Query Answering in Logic-based Information Systems},
  URL = {download/2008/CuHo08a.pdf},
  YEAR = {2008},
  BDSK-URL-1 = {download/2008/CHKS08b.pdf}
}

@INPROCEEDINGS{GlHS08b,
  AUTHOR = {Birte Glimm and Ian Horrocks and Ulrike Sattler},
  BOOKTITLE = {Proc.\ of the 11th Int.\ Conf.\ on Principles of Knowledge Representation and Reasoning (KR~2008)},
  DATE-ADDED = {2008-06-14 19:12:08 +0100},
  DATE-MODIFIED = {2008-09-21 12:55:02 +0100},
  PAGES = {252--262},
  TITLE = {Unions of Conjunctive Queries in $\mathcal{SHOQ}$},
  URL = {download/2008/GlHS08b.pdf},
  YEAR = {2008}
}

@INPROCEEDINGS{MCHS08a,
  AUTHOR = {Boris Motik and Bernardo {Cuenca Grau} and Ian Horrocks and Ulrike Sattler},
  BOOKTITLE = {Proc.\ of the 11th Int.\ Conf.\ on Principles of Knowledge Representation and Reasoning (KR~2008)},
  DATE-ADDED = {2008-06-14 19:06:52 +0100},
  DATE-MODIFIED = {2008-09-21 12:56:27 +0100},
  PAGES = {296--306},
  TITLE = {Representing Structured Objects using Description Graphs},
  URL = {download/2008/MCHS08a.pdf},
  YEAR = {2008}
}

@INPROCEEDINGS{PeMH08b,
  AUTHOR = {H\'{e}ctor P\'{e}rez-Urbina and Boris Motik and Ian Horrocks},
  BOOKTITLE = {Proc.\ of the Int.\ Workshop on Logics in Databases (LID 2008)},
  DATE-ADDED = {2008-05-01 17:20:22 +0100},
  DATE-MODIFIED = {2008-05-01 17:21:45 +0100},
  TITLE = {Rewriting Conjunctive Queries over Description Logic Constraints},
  URL = {download/2008/PeMH08b.pdf},
  YEAR = {2008}
}

@INPROCEEDINGS{MoHo08a,
  AUTHOR = {Boris Motik and Ian Horrocks},
  BOOKTITLE = {Proc.\ of the Int.\ Joint Conf.\ on Automated Reasoning (IJCAR~2008)},
  DATE-ADDED = {2008-04-29 20:57:19 +0100},
  DATE-MODIFIED = {2008-09-19 08:00:14 +0100},
  PAGES = {242--258},
  TITLE = {Individual Reuse in Description Logic Reasoning},
  URL = {download/2008/MoHo08a.pdf},
  YEAR = {2008}
}

@INPROCEEDINGS{MoSH08a,
  AUTHOR = {Boris Motik and Rob Shearer and Ian Horrocks},
  BOOKTITLE = {Proc.\ of the 2008 Description Logic Workshop (DL~2008)},
  DATE-ADDED = {2008-04-27 11:19:00 +0100},
  DATE-MODIFIED = {2008-04-27 11:22:11 +0100},
  SERIES = {CEUR (\url{http://ceur-ws.org/})},
  TITLE = {Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi},
  URL = {download/2008/MoSH08a.pdf},
  YEAR = {2008}
}

@INPROCEEDINGS{GlHS08a,
  AUTHOR = {Birte Glimm and Ian Horrocks and Ulrike Sattler},
  BOOKTITLE = {Proc.\ of the 2008 Description Logic Workshop (DL~2008)},
  DATE-ADDED = {2008-04-27 11:12:10 +0100},
  DATE-MODIFIED = {2008-04-27 11:16:04 +0100},
  SERIES = {CEUR (\url{http://ceur-ws.org/})},
  TITLE = {Deciding $\mathcal{SHOQ}^\sqcap$ Knowledge Base Consistency using Alternating Automata},
  URL = {download/2008/GlHS08a.pdf},
  YEAR = {2008}
}

@INCOLLECTION{CHKS08b,
  AUTHOR = {Bernardo {Cuenca Grau} and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler},
  BOOKTITLE = {Ontology Modularization},
  DATE-ADDED = {2008-04-25 19:12:38 +0100},
  DATE-MODIFIED = {2008-04-25 19:15:19 +0100},
  EDITOR = {Heiner Stuckenschmidt and Stefano Spaccapietra},
  PUBLISHER = {Springer},
  TITLE = {Extracting Modules from Ontologies: A Logic-based Approach},
  URL = {download/2008/CHKS08b.pdf},
  YEAR = {2008},
  BDSK-URL-1 = {download/2008/CHKS08b.pdf}
}

@INPROCEEDINGS{THCM08a,
  AUTHOR = {Duc Thanh Tran and Peter Haase and Bernardo {Cunca Grau} and Boris Motik and Ian Horrocks},
  BOOKTITLE = {Proc.\ of the 18th Nat.\ Conf.\ on Artificial Intelligence (AAAI~08)},
  DATE-ADDED = {2008-04-25 19:00:54 +0100},
  DATE-MODIFIED = {2008-09-19 07:54:31 +0100},
  ISBN = {978-1-57735-368-3},
  PAGES = {1237--1242},
  TITLE = {Metalevel Information in Ontology-Based Applications},
  URL = {download/2008/THCM08a.pdf},
  YEAR = {2008},
  BDSK-URL-1 = {download/2008/THCM08a.pdf}
}

@ARTICLE{GHLS08a,
  AUTHOR = {Birte Glimm and Ian Horrocks and Carsten Lutz and Uli Sattler},
  DATE-ADDED = {2008-04-25 18:55:53 +0100},
  DATE-MODIFIED = {2008-04-25 19:09:23 +0100},
  JOURNAL = {J.\ of Artificial Intelligence Research},
  PAGES = {157--204},
  TITLE = {Conjunctive Query Answering for the Description Logic $\mathcal{SHIQ}$},
  URL = {download/2008/GHLS08a.pdf},
  VOLUME = {31},
  YEAR = {2008},
  BDSK-URL-1 = {download/2008/GHLS08a.pdf}
}

@INPROCEEDINGS{PeMH08a,
  AUTHOR = {H\'{e}ctor P\'{e}rez-Urbina and Boris Motik and Ian Horrocks},
  BOOKTITLE = {Proc.\ of the Int.\ Workshop on Semantics in Data and Knowledge Bases (SDKB 2008)},
  DATE-ADDED = {2008-04-25 18:12:49 +0100},
  DATE-MODIFIED = {2008-09-03 14:08:50 +0100},
  PAGES = {199--214},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Computer Science},
  TITLE = {Rewriting Conjunctive Queries over Description Logic Knowledge Bases},
  URL = {download/2008/PeMH08a.pdf},
  VOLUME = {4925},
  YEAR = {2008},
  BDSK-URL-1 = {download/2008/PeMH08a.pdf}
}

@ARTICLE{CHKS08a,
  AUTHOR = {Bernardo {Cuenca Grau} and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler},
  DATE-ADDED = {2008-02-22 09:28:07 +0000},
  DATE-MODIFIED = {2008-02-22 09:29:24 +0000},
  JOURNAL = {J.\ of Artificial Intelligence Research},
  PAGES = {273-318},
  TITLE = {Modular Reuse of Ontologies: Theory and Practice},
  URL = {download/2008/CHKS08a.pdf},
  VOLUME = {31},
  YEAR = {2008},
  BDSK-URL-1 = {download/2008/CHKS08a.pdf}
}