Reasoning about Semantic Web in Isabelle/HOL.

Yue Tang, Jin Song Dong, Jing Sun, Brendan P. Mahony

Browse the full APSEC paper archive.