Lightweight PML

From UTEP Trust Lab

[ Edit ]

Title	Lightweight PML
Project	CyberShare
Start Date	2007/09/01
End Date	2008/08/31
Organization(s)	UTEP, RPI
Member(s)	Paulo Pinheiro da Silva, Deborah McGuinness
Accomplishment(s)	The goal of this project is to demonstrate that Proof Markup Language may be effectively used by simple systems (as well as complex systems). We have described a lightweight use of language and its associated Inference Web tools. We have demonstrated through an exemplar Earth science scientific application thta can use lightweight PML descriptions. These examples were documented in a paper published as: Paulo Pinheiro da Silva, Deborah McGuinness, Li Ding, Nicholas Del Rio. Inference Web in Action: Lightweight Use of Proof Markup Language. In Proceedings of the 7th International Semantic Web Conference (ISWC 2008), October 26-30, 2008, Karlruhe, Germany.
Impact	The Proof Markup Language specification has increased significantly since its inception in 2002 in order to accommodate a rich set of requirements derived from multiple projects, including projects varying from explaining the behavior of cognitive agents to explaining how knowledge is extracted from multiple sources of information in natural language. The paper is now a reference for CyberShare personnel involved in the process of using PML to capture provenance about CyberShare projects in Earth sciences and environmental science.
Comment	CREST, through CyberShare, has been a strong motivation factor for the Inference Web community to be more engaged in the process of explaining how the PML notation can be used to capture provenance of scientific processes.