@inproceedings{GlHM10b, title = "Optimized Description Logic Reasoning via Core Blocking", author = "Birte Glimm and Ian Horrocks and Boris Motik", year = "2010", booktitle = "Proc.\ of the 2010 Description Logic Workshop (DL~2010)", series = "CEUR (\url{http://ceur-ws.org/})", url = "download/2010/GlHM10b.pdf", volume = "573", }