Reasoning about Semantic Web in Isabelle/HOL - Tang, Y. (2013)
10.1109/APSEC.2004.82