Ian Horrocks Jürgen Angele Stefan Decker Michael Kifer Benjamin N. Grosof Gerd Wagner 76-83 2003 18 IEEE Intelligent Systems 5 http://doi.ieeecomputersociety.org/10.1109/MIS.2003.1234775 db/journals/expert/expert18.html#HorrocksADKGW03