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

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

@INPROCEEDINGS{Horr98b,
  ANNOTE = {AKA: Horrocks98d},
  AUTHOR = {Ian Horrocks},
  BOOKTITLE = {Proc.\ of the 2nd Int.\ Conf.\ on Analytic Tableaux and Related Methods (TABLEAUX'98)},
  DATE-MODIFIED = {2008-06-21 17:23:45 +0100},
  EDITOR = {Harrie {de Swart}},
  PAGES = {307--312},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Artificial Intelligence},
  TITLE = {The {FaCT} System},
  URL = {download/1998/Horr98b.pdf},
  VOLUME = 1397,
  YEAR = 1998,
  BDSK-URL-1 = {download/1998/t98-paper.ps.gz}
}

@INPROCEEDINGS{HoPa98,
  ANNOTE = {AKA: Horrocks98h},
  AUTHOR = {Ian Horrocks and Patel-Schneider, Peter F.},
  BOOKTITLE = {Proc.\ of the 1998 Description Logic Workshop (DL'98)},
  DATE-MODIFIED = {2008-06-21 17:25:35 +0100},
  PAGES = {55--57},
  SERIES = {CEUR (\url{http://ceur-ws.org/})},
  TITLE = {{DL} Systems Comparison},
  URL = {download/1998/HoPa98.pdf},
  VOLUME = {11},
  YEAR = 1998,
  BDSK-URL-1 = {download/1998/dl98-systems.ps.gz}
}

@INPROCEEDINGS{HoPa98b,
  ANNOTE = {AKA: Horrocks98b},
  AUTHOR = {Ian Horrocks and Patel-Schneider, Peter F.},
  BOOKTITLE = {Proc.\ of the 1998 Description Logic Workshop (DL'98)},
  DATE-MODIFIED = {2008-06-21 17:25:52 +0100},
  PAGES = {90--94},
  SERIES = {CEUR (\url{http://ceur-ws.org/})},
  TITLE = {Comparing Subsumption Optimizations},
  URL = {download/1998/HoPa98b.pdf},
  VOLUME = {11},
  YEAR = 1998,
  BDSK-URL-1 = {download/1998/dl98.ps.gz}
}

@INPROCEEDINGS{HoPa98d,
  ANNOTE = {AKA: Horrocks98e},
  AUTHOR = {Ian Horrocks and Patel-Schneider, Peter F.},
  BOOKTITLE = {Proc.\ of the 2nd Int.\ Conf.\ on Analytic Tableaux and Related Methods (TABLEAUX'98)},
  DATE-MODIFIED = {2008-06-21 17:26:11 +0100},
  EDITOR = {Harrie {de Swart}},
  NUMBER = {1397},
  PAGES = {27--30},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Artificial Intelligence},
  TITLE = {{FaCT} and {DLP}},
  URL = {download/1998/HoPa98d.pdf},
  YEAR = 1998,
  BDSK-URL-1 = {download/1998/tableaux98.ps.gz}
}

@INPROCEEDINGS{HoPa98c,
  ANNOTE = {AKA: Horrocks98a},
  AUTHOR = {I. Horrocks and P. F. Patel-Schneider},
  BOOKTITLE = {Proc.\ of the 4th Int.\ Conf.\ on Artificial Intelligence and Symbolic Computation (AISC'98)},
  DATE-MODIFIED = {2008-06-21 17:26:32 +0100},
  PAGES = {234--246},
  PUBLISHER = {SV},
  SERIES = {LNAI},
  TITLE = {Optimising Propositional Modal Satisfiability for Description Logic Subsumption},
  URL = {download/1998/HoPa98c.pdf},
  VOLUME = {1476},
  YEAR = 1998,
  BDSK-URL-1 = {download/1998/aisc98.ps.gz}
}

@TECHREPORT{Horrocks98f,
  AUTHOR = {I. Horrocks and U. Sattler},
  DATE-MODIFIED = {2008-06-21 17:27:05 +0100},
  INSTITUTION = {LuFg Theoretical Computer Science, RWTH Aachen, Germany},
  NUMBER = {98-05},
  TITLE = {A Description Logic with Transitive and Converse Roles and Role Hierarchies},
  TYPE = {LTCS-Report},
  URL = {download/1998/Horrocks98f.pdf},
  YEAR = 1998,
  BDSK-URL-1 = {ftp://www-lti.informatik.rwth-aachen.de/pub/reports/1998/HorrocksSattler-LTCS-98-05.ps.gz}
}

@INPROCEEDINGS{Horrocks98g,
  AUTHOR = {I. Horrocks and U. Sattler},
  BOOKTITLE = {Proc.\ of the 1998 Description Logic Workshop (DL'98)},
  DATE-MODIFIED = {2008-06-21 17:27:23 +0100},
  PAGES = {72--81},
  SERIES = {CEUR (\url{http://ceur-ws.org/})},
  TITLE = {A Description Logic with Transitive and Inverse Roles and Role Hierarchies},
  URL = {download/1998/Horrocks98g.pdf},
  VOLUME = {11},
  YEAR = 1998,
  BDSK-URL-1 = {download/1998/HorrocksSattlerDL98.ps.gz}
}

@TECHREPORT{Horrocks98k,
  AUTHOR = {I. Horrocks and U. Sattler and S. Tobies},
  DATE-MODIFIED = {2008-06-21 17:27:59 +0100},
  INSTITUTION = {LuFg Theoretical Computer Science, RWTH Aachen, Germany},
  NUMBER = {98-08},
  TITLE = {A {PS}\textsc{pace}-algorithm for deciding $\mathcal{ALCI}_{R^+}$-satisfiability},
  TYPE = {LTCS-Report},
  URL = {download/1998/Horrocks98k.pdf},
  YEAR = 1998,
  BDSK-URL-1 = {download/1998/HorrocksSattlerTobies-LTCS-98-08.ps.gz}
}