@ARTICLE{MoSH09a,
  AUTHOR = {Boris Motik and Rob Shearer and Ian Horrocks},
  DATE-ADDED = {2009-09-25 15:20:08 +0100},
  DATE-MODIFIED = {2009-09-25 15:22:20 +0100},
  JOURNAL = {J.\ of Artificial Intelligence Research},
  NOTE = {To appear},
  TITLE = {Hypertableau Reasoning for Description Logics},
  URL = {download/2009/MoSH09a.pdf},
  YEAR = {2009},
  BDSK-URL-1 = {download/2007/MoSH07b.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}
}

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

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

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