Understanding PML

Description: 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.

Type: Presentation

Authors: Li Ding

Date: March 10, 2004

Tags: proof markup language

Format: Microsoft PowerPoint (Need a reader? Get one here)

Number of downloads: 1090

Access Control: Publicly Available

Available for download as

size: 278528 bytes