Specifications

• Proof Markup Language (PML) V2.0 Primer  (Modification in process)
• Proof Markup Language (PML) Primer 

Ontologies

• PML ontology v 0.8 (2004.03, backward supported), http://inferenceweb.stanford.edu/2004/03/iw.owl
• PML ontology v 0.9 (2004.07, backward supported), http://inferenceweb.stanford.edu/2004/07/iw.owl
• PML ontology v 2.0 (2006.06, developing version )
  • 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

User Manual (under construction)

• PML API
• How-To
  • How to register an inference engine
  • How to abstract a proof
  • How to use PML with Prolog
  • How to map PML 1 class properties to PML 2