@article{HoPa99,
  title = "Optimizing Description Logic Subsumption",
  author = "Ian Horrocks and Patel-Schneider, Peter F.",
  year = "1999",
  annote = "AKA: Horrocks98i",
  journal = "J.\ of Logic and Computation",
  number = "3",
  pages = "267--293",
  url = "download/1999/090267.pdf",
  volume = "9",
}