Paulo Pinheiro da Silva Deborah L. McGuinness Nicholas Del Rio Li Ding Inference Web in Action: Lightweight Use of the Proof Markup Language. 847-860 2008 International Semantic Web Conference http://dx.doi.org/10.1007/978-3-540-88564-1_55 conf/semweb/2008 db/conf/semweb/iswc2008.html#SilvaMRD08