Ian Horrocks: bibliography

@INCOLLECTION{HPMW07,
  AUTHOR = {Ian Horrocks and Peter F.~Patel-Schneider and Deborah L.~McGuinness and Christopher A.~Welty},
  BOOKTITLE = {The Description Logic Handbook: Theory, Implementation, and Applications (2nd Edition)},
  CHAPTER = {14},
  DATE-ADDED = {2007-12-21 12:12:20 +0000},
  DATE-MODIFIED = {2007-12-21 12:20:58 +0000},
  EDITOR = {Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter F.~Patel-Schneider},
  PUBLISHER = {Cambridge University Press},
  TITLE = {{OWL: a Description Logic Based Ontology Language for the Semantic Web}},
  URL = {download/2003/HPMW07.pdf},
  YEAR = 2007,
  BDSK-URL-1 = {download/2003/HPMW07.pdf}
}

@ARTICLE{PaHo07b,
  AUTHOR = {Peter F.\ Patel-Schneider and Ian Horrocks},
  DATE-ADDED = {2007-09-11 17:04:17 +0100},
  DATE-MODIFIED = {2007-11-30 11:21:38 +0000},
  DOI = {10.1016/j.websem.2007.09.004},
  JOURNAL = {J.\ of Web Semantics},
  TITLE = {A Comparison of Two Modelling Paradigms in the Semantic Web},
  URL = {download/2007/PaHo07b.pdf},
  YEAR = 2007,
  BDSK-URL-1 = {download/2007/PaHo07b.pdf}
}

@ARTICLE{SSPTH07,
  AUTHOR = {Giorgos Stoilos and Giorgos Stamou and Jeff Z.~Pan and Vassilis Tzouvaras and Ian Horrocks},
  DATE-ADDED = {2007-08-06 19:58:29 +0100},
  DATE-MODIFIED = {2007-10-19 11:20:00 +0100},
  JOURNAL = {J.\ of Artificial Intelligence Research},
  PAGES = {273--320},
  TITLE = {Reasoning with Very Expressive Fuzzy Description Logics},
  URL = {download/2007/SSPTH07.pdf},
  VOLUME = {30},
  YEAR = {2007},
  BDSK-URL-1 = {download/2007/SSPTH07.pdf}
}

@INCOLLECTION{BaHS07a,
  AUTHOR = {Franz Baader and Ian Horrocks and Ulrike Sattler},
  BOOKTITLE = {Handbook of Knowledge Representation},
  DATE-ADDED = {2007-07-25 18:14:15 +0100},
  DATE-MODIFIED = {2008-04-27 11:29:54 +0100},
  EDITOR = {Frank {van Harmelen} and Vladimir Lifschitz and Bruce Porter},
  PUBLISHER = {Elsevier},
  TITLE = {{D}escription {L}ogics},
  URL = {download/2007/BaHS07a.pdf},
  YEAR = {2007},
  BDSK-URL-1 = {download/2007/BaHS07a.pdf}
}

@INPROCEEDINGS{GHHMS07,
  AUTHOR = {Christine Golbreic and Matthew Horridge and Ian Horrocks and Boris Motik and Rob Shearer},
  BOOKTITLE = {Proc.\ of the 6th International Semantic Web                    Conference (ISWC 2007)},
  DATE-ADDED = {2007-07-25 17:37:45 +0100},
  DATE-MODIFIED = {2007-11-30 11:10:19 +0000},
  ISBN = {978-3-540-76297-3},
  PAGES = {169--182},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Computer Science},
  TITLE = {{OBO} and {OWL}: Leveraging Semantic Web Technologies for the Life Sciences},
  URL = {download/2007/GHHMS07.pdf},
  VOLUME = {4825},
  YEAR = {2007},
  BDSK-URL-1 = {download/2007/GHHMS07.pdf}
}

@INPROCEEDINGS{MoSH07b,
  AUTHOR = {Boris Motik and Rob Shearer and Ian Horrocks},
  BOOKTITLE = {Proc.\ of the 2007 Description Logic Workshop (DL~2007)},
  DATE-ADDED = {2007-07-25 17:10:07 +0100},
  DATE-MODIFIED = {2007-07-25 17:11:18 +0100},
  SERIES = {CEUR (\url{http://ceur-ws.org/})},
  TITLE = {A Hypertableau Calculus for $\mathcal{SHIQ}$},
  URL = {download/2007/MoSH07b.pdf},
  VOLUME = {250},
  YEAR = {2007},
  BDSK-URL-1 = {download/2007/MoSH07b.pdf}
}

@INPROCEEDINGS{CHKS07b,
  AUTHOR = {Bernardo {Cuenca Grau} and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler},
  BOOKTITLE = {Proc.\ of the 2007 Description Logic Workshop (DL~2007)},
  DATE-ADDED = {2007-07-25 17:02:25 +0100},
  DATE-MODIFIED = {2007-07-25 17:12:10 +0100},
  SERIES = {CEUR (\url{http://ceur-ws.org/})},
  TITLE = {Ontology Reuse: Better Safe than Sorry},
  URL = {download/2007/CHKS07b.pdf},
  VOLUME = {250},
  YEAR = {2007},
  BDSK-URL-1 = {download/2007/CHKS07b.pdf}
}

@INPROCEEDINGS{CHKS07c,
  AUTHOR = {Bernardo Cuenca Grau and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler},
  BOOKTITLE = {Proc.\ of the Third OWL Experiences and Directions Workshop},
  DATE-ADDED = {2007-07-23 23:57:36 +0100},
  DATE-MODIFIED = {2007-07-25 17:55:07 +0100},
  NUMBER = {258},
  SERIES = {CEUR (\url{http://ceur-ws.org/})},
  TITLE = {Extracting Modules from Ontologies: A Logic-based Approach},
  URL = {download/2007/CHKS07c.pdf},
  YEAR = {2007},
  BDSK-URL-1 = {download/2007/CHKS07c.pdf}
}

@INPROCEEDINGS{GoHo07a,
  AUTHOR = {Christine Golbreich and Ian Horrocks},
  BOOKTITLE = {Proc.\ of the Third OWL Experiences and Directions Workshop},
  DATE-ADDED = {2007-07-23 23:55:37 +0100},
  DATE-MODIFIED = {2007-07-24 00:03:51 +0100},
  NUMBER = {258},
  SERIES = {CEUR (\url{http://ceur-ws.org/})},
  TITLE = {The {OBO} to {OWL} mapping, {GO} to {OWL} 1.1!},
  URL = {download/2007/GoHo07a.pdf},
  YEAR = {2007},
  BDSK-URL-1 = {download/2007/GoHo07a.pdf}
}

@INPROCEEDINGS{MoHS07b,
  AUTHOR = {Boris Motik and Ian Horrocks and Ulrike Sattler},
  BOOKTITLE = {Proc.\ of the Third OWL Experiences and Directions Workshop},
  DATE-ADDED = {2007-07-23 23:53:02 +0100},
  DATE-MODIFIED = {2007-07-24 00:05:08 +0100},
  NUMBER = {258},
  SERIES = {CEUR (\url{http://ceur-ws.org/})},
  TITLE = {Adding Integrity Constraints to {OWL}},
  URL = {download/2007/MoHS07b.pdf},
  YEAR = {2007},
  BDSK-URL-1 = {download/2007/MoHS07b.pdf}
}

@INPROCEEDINGS{GlHS07a,
  AUTHOR = {Glimm, Birte and Horrocks, Ian and Sattler, Uli},
  BOOKTITLE = {Proc.\ of the 2007 Description Logic Workshop (DL~2007)},
  DATE-ADDED = {2007-06-04 16:52:57 +0100},
  DATE-MODIFIED = {2007-07-24 21:39:55 +0100},
  SERIES = {CEUR (\url{http://ceur-ws.org/})},
  TITLE = {Conjunctive Query Entailment for $\mathcal{SHOQ}$},
  URL = {download/2007/GlHS07a.pdf},
  VOLUME = {250},
  YEAR = {2007},
  BDSK-URL-1 = {download/2007/GlHS07a.pdf}
}

@ARTICLE{HoGS07a,
  AUTHOR = {Ian Horrocks and Birte Glimm and Ulrike Sattler},
  DATE-ADDED = {2007-05-27 15:12:28 +0100},
  DATE-MODIFIED = {2007-05-29 09:20:07 +0100},
  JOURNAL = {Electronic Notes in Theoretical Computer Science},
  NOTE = {Proceedings of the International Workshop on Hybrid Logic (HyLo 2006)},
  NUMBER = {6},
  PAGES = {3--14},
  TITLE = {Hybrid Logics and Ontology Languages},
  URL = {download/2007/HoGS07a.pdf},
  VOLUME = {174},
  YEAR = {2007},
  BDSK-URL-1 = {download/2007/HoGS07a.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}
}

@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}
}

@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}
}

@INPROCEEDINGS{CHKS07a,
  AUTHOR = {Bernardo {Cuenca Grau} and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler},
  BOOKTITLE = {Proc.\ of the Sixteenth International World Wide Web                        Conference (WWW 2007)},
  DATE-ADDED = {2007-01-31 09:47:45 +0000},
  DATE-MODIFIED = {2007-03-07 20:44:26 +0000},
  TITLE = {Just the Right Amount: Extracting Modules from Ontologies},
  URL = {download/2007/CHKS07a.pdf},
  YEAR = {2007},
  BDSK-URL-1 = {download/2007/CHKS07a.pdf}
}

@INPROCEEDINGS{MoHS07a,
  AUTHOR = {Boris Motik and Ian Horrocks and Ulrike Sattler},
  BOOKTITLE = {Proc.\ of the Sixteenth International World Wide Web                        Conference (WWW 2007)},
  DATE-ADDED = {2007-01-31 09:40:30 +0000},
  DATE-MODIFIED = {2007-03-07 20:44:26 +0000},
  TITLE = {Bridging the Gap Between {OWL} and Relational Databases},
  URL = {download/2007/MoHS07a.pdf},
  YEAR = {2007},
  BDSK-URL-1 = {download/2007/MoHS07a.pdf}
}

@ARTICLE{PaHo07a,
  AUTHOR = {Jeff Pan and Ian Horrocks},
  DATE-ADDED = {2006-12-04 20:44:35 +0000},
  DATE-MODIFIED = {2007-03-07 20:44:26 +0000},
  JOURNAL = {{IEEE} Trans.\ on Knowledge and Data Engineering},
  NUMBER = {2},
  PAGES = {192--206},
  TITLE = {{RDFS(FA)}: Connecting {RDF(S)} and {OWL~DL}},
  URL = {download/2007/PaHo07a.pdf},
  VOLUME = {19},
  YEAR = {2007},
  BDSK-URL-1 = {download/2007/PaHo07a.pdf}
}

@INPROCEEDINGS{CKHS07a,
  AUTHOR = {Bernardo {Cuenca Grau} and Yevgeny Kazakov and Ian Horrocks and Ulrike Sattler},
  BOOKTITLE = {Proc.\ of the 20th Int.\ Joint                     Conf.\ on Artificial Intelligence (IJCAI~2007)},
  DATE-ADDED = {2006-09-24 08:39:30 +0100},
  DATE-MODIFIED = {2007-05-02 18:26:39 +0100},
  PAGES = {298--303},
  TITLE = {A Logical Framework for Modular Integration of Ontologies},
  URL = {download/2007/CKHS07a.pdf},
  YEAR = {2007},
  BDSK-URL-1 = {download/2007/CKHS07a.pdf}
}

@INPROCEEDINGS{GHLS07a,
  AUTHOR = {Birte Glimm and Ian Horrocks and Carsten Lutz and Uli Sattler},
  BOOKTITLE = {Proc.\ of the 20th Int.\ Joint                     Conf.\ on Artificial Intelligence (IJCAI~2007)},
  DATE-ADDED = {2006-09-22 19:36:54 +0100},
  DATE-MODIFIED = {2007-05-02 18:20:53 +0100},
  PAGES = {399--404},
  TITLE = {Conjunctive Query Answering for the Description Logic $\mathcal{SHIQ}$},
  URL = {download/2007/GHLS07a.pdf},
  YEAR = {2007},
  BDSK-URL-1 = {download/2007/GHLS07a.pdf}
}