Yue Tang Jin Song Dong Jing Sun Brendan P. Mahony Reasoning about Semantic Web in Isabelle/HOL. 46-53 2004 conf/apsec/2004 APSEC http://doi.ieeecomputersociety.org/10.1109/APSEC.2004.82 db/conf/apsec/apsec2004.html#YueDJM04