@inproceedings{HoTo00,
  title = "Reasoning with Axioms: Theory and Practice",
  author = "I. Horrocks and S. Tobies",
  year = "2000",
  annote = "AKA: Horrocks00a",
  booktitle = "Proc.\ of the 7th Int.\ Conf.\ on Principles of Knowledge Representation and Reasoning (KR~2000)",
  isbn = "1-55860-690-4",
  pages = "285--296",
  url = "http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/2000/KR-2000.pdf",
}