@inproceedings{Horrocks98e,
  title = "{FaCT} and {DLP}",
  author = "Ian Horrocks and Patel-Schneider, Peter F.",
  year = "1998",
  annote = "AKA: Horrocks98e",
  booktitle = "Proc.\ of the 2nd Int.\ Conf.\ on Analytic Tableaux and Related Methods (TABLEAUX'98)",
  editor = "Harrie {de Swart}",
  isbn = "3-540-64406-7",
  key = "Proceedings of Tableaux'98",
  month = "MAY",
  number = "1397",
  pages = "27--30",
  publisher = "Springer",
  series = "Lecture Notes in Artificial Intelligence",
  url = "http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/1998/HoPa98d.pdf",
}