Inference Web website header - this
link
you to the file.
Inference Web - documentation
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