Ian Horrocks Semantic Web: The Story So Far. 2007 conf/ictai/2007-1 ICTAI (1) http://doi.ieeecomputersociety.org/10.1109/ICTAI.2007.165 db/conf/ictai/ictai2007-1.html#Horrocks07