@inproceedings{Horrocks99h,
  title = "Practical Reasoning for Description Logics with Functional Restrictions, Inverse and Transitive Roles, and Role Hierarchies",
  author = "I. Horrocks and U. Sattler and S. Tobies",
  year = "1999",
  booktitle = "Proceedings of the first workshop on Methods for Modalities (M4M-1)",
  key = "Proceedings of M4M1",
  month = "MAY",
  url = "http://www.comlab.ox.ac.uk/people/ian.horrocks/Publications/download/1999/Horrocks99h.pdf",
}