@inproceedings{Horrocks00i,
  title = "Driving User Interfaces from {FaCT}",
  author = "S. Bechhofer and I. Horrocks",
  year = "2000",
  booktitle = "Proc.\ of the 2000 Description Logic Workshop (DL~2000)",
  isbn = "3-86073-726-0",
  issn = "1437-8396",
  pages = "45--54",
  url = "download/2000/Horrocks00i.pdf",
}