Presentation

Understanding PML

March 10, 2004

278528 bytes

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.

Counter: 1603 downloads

Access Control: Public

OWL Tweet