Documentation
From Inference Web
Specifications
- Proof Markup Language (PML2) Primer - http://inference-web.org/2007/primer/
PML 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, current 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
