Proof Markup Language

From Inference Web

Contents 1 Overview 2 Data Model 3 Vocabulary 4 Resources

Overview

Proof Markup Language (PML) is a Semantic Web based representation for exchanging explanations including

• provenance information - annotating the sources of knowledge
• justification information - annotating the steps for deriving the conclusions or executing workflows
• trust information - annotating trustworthiness assertions about knowledge and sources

The current version is PML2.

Data Model

Vocabulary

Resources

PML2 - PML ontology v 2.0 (2006.06, current version )

• Proof Markup Language (PML2) Primer - http://inference-web.org/2007/primer/
• OWL Ontology
  • provenance component: http://inference-web.org/2.0/pml-provenance.owl
  • justification component: http://inference-web.org/2.0/pml-justification.owl
  • trust component: http://inference-web.org/2.0/pml-trust.owl

rdfs:seeAlso: http://tw.rpi.edu/portal/Proof_Markup_Language