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

@TECHREPORT{Horr97,
  ANNOTE = {AKA: Horrocks97a},
  AUTHOR = {Ian Horrocks},
  DATE-MODIFIED = {2008-06-21 17:30:08 +0100},
  INSTITUTION = {University of Manchester, Department of Computer Science},
  NUMBER = {UMCS-97-2-1},
  TITLE = {Optimisation Techniques for Expressive Description Logics},
  URL = {download/1997/Horr97.pdf},
  YEAR = 1997,
  BDSK-URL-1 = {download/1997/UMCS-97-2-1.ps.gz}
}

@PHDTHESIS{Horr97b,
  ANNOTE = {AKA: Horrocks97b},
  AUTHOR = {Ian Horrocks},
  DATE-MODIFIED = {2008-06-21 18:19:52 +0100},
  SCHOOL = {University of Manchester},
  TITLE = {Optimising Tableaux Decision Procedures for Description Logics},
  URL = {download/1997/phd.pdf},
  YEAR = 1997,
  BDSK-URL-1 = {download/1997/phd-2sss.ps.gz},
  BDSK-URL-2 = {download/1997/phd.pdf}
}

@ARTICLE{RBGH*97,
  ANNOTE = {AKA: Rector96a},
  AUTHOR = {A. Rector and S. Bechhofer and C. A. Goble and I. Horrocks and W. A. Nowlan and W. D. Solomon},
  DATE-MODIFIED = {2008-06-21 17:30:31 +0100},
  JOURNAL = {Artificial Intelligence in Medicine},
  PAGES = {139--171},
  TITLE = {The {\textsc{Grail}} Concept Modelling Language for Medical Terminology},
  URL = {download/1997/RBGH97.pdf},
  VOLUME = 9,
  YEAR = 1997,
  BDSK-URL-1 = {download/1997/aim97.ps.gz}
}

@INPROCEEDINGS{Horrocks97e,
  AUTHOR = {I. Horrocks and G. Gough},
  CROSSREF = {dl97},
  DATE-MODIFIED = {2008-06-21 17:31:09 +0100},
  PAGES = {25--28},
  TITLE = {Description Logics with Transitive Roles},
  URL = {download/1997/Horrocks97e.pdf},
  YEAR = 1997,
  BDSK-URL-1 = {download/1997/dl97-final.ps.gz}
}

@INPROCEEDINGS{Rector97a,
  AUTHOR = {A. Rector and I. Horrocks},
  CROSSREF = {aaai97},
  DATE-MODIFIED = {2008-06-21 17:31:31 +0100},
  TITLE = {Experience Building a Large, Re-usable Medical Ontology using a Description Logic with Transitivity and Concept Inclusions},
  URL = {download/1997/Rector97a.pdf},
  YEAR = 1997,
  BDSK-URL-1 = {download/1997/aaai-spring-symposium.ps.gz}
}

@PROCEEDINGS{aaai97,
  BOOKTITLE = {Proceedings of the Workshop on Ontological Engineering, AAAI Spring Symposium (AAAI'97)},
  CONFERENCE-DATE = {April, 1997},
  CONFERENCE-LOCATION = {Stanford, CA},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  KEY = {Proceedings of AAAI'97},
  PUBLISHER = {AAAI Press, Menlo Park, California},
  TITLE = {Proceedings of the Workshop on Ontological Engineering, AAAI Spring Symposium (AAAI'97)},
  YEAR = 1997
}

@PROCEEDINGS{dl97,
  BOOKTITLE = {Collected Papers from the International Description Logics Workshop (DL'97)},
  CONFERENCE-DATE = {September 27--29},
  CONFERENCE-LOCATION = {Gif sur Yvette (Paris), France},
  DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
  EDITOR = {M.-C. Rousset and R. Brachman and F. Donini and E. Franconi and I. Horrocks and A. Levy},
  KEY = {Proceedings of DL'97},
  TITLE = {Collected Papers from the International Description Logics Workshop (DL'97)},
  YEAR = 1997
}