@inproceedings{StCH10b, title = "Completeness Guarantees for Incomplete Reasoners", author = "Giorgos Stoilos and Bernardo {Cuenca Grau} and Ian Horrocks", year = "2010", booktitle = "Proc.\ of the 9th International Semantic Web Conference (ISWC 2010)", url = "download/2010/StCH10b.pdf", }