March 10, 2004
Microsoft PowerPoint - Need a reader? Get one here
PML is an markup language that support portable proofs, i.e., explicit representation of logical inference trace and knowledge provenance. Please also reference the official definition paper "A Proof Markup Language for Semantic Web Services" Technical Report KSL-04-01.