Presentation

Understanding PML

Li Ding

March 10, 2004

278528 bytes

Microsoft PowerPoint - Need a reader? Get one here

proof markup language

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.

1542 downloads

Public

OWL Tweet