@inproceedings{Horr98,
  title = "Using an Expressive Description Logic: {FaCT} or Fiction?",
  author = "Ian Horrocks",
  year = "1998",
  annote = "AKA: Horrocks98c",
  booktitle = "Proc.\ of the 6th Int.\ Conf.\ on Principles of Knowledge Representation and Reasoning (KR'98)",
  pages = "636--647",
  url = "download/1998/kr98.pdf",
}