@inproceedings{TeHG02a, title = "Evaluating a modular {Abox} algorithm", author = "Sergio Tessaris and Ian Horrocks and Graham Gough", year = "2002", booktitle = "Proc.\ of the 8th Int.\ Conf.\ on Principles of Knowledge Representation and Reasoning (KR~2002)", isbn = "1-55860-847-8", pages = "227--235", publisher = "Morgan Kaufmann", url = "download/2002/kr02.pdf", }