@inproceedings{SimKazHor:11:BeyondHorn:IJCAI,
  title = "Consequence-Based Reasoning beyond {H}orn Ontologies",
  author = "Frantisek Simancik and Yevgeny Kazakov and Ian Horrocks",
  year = "2011",
  booktitle = "IJCAI",
  month = "July 16-22",
  pages = "1093-1099",
  url = "http://ijcai.org/papers11/Papers/IJCAI11-187.pdf",
}