Documentation
From Inference Web
Contents |
Specifications
- Proof Markup Language (PML2) Primer - http://inference-web.org/2007/primer/
- Academic paper on PML2 - Deborah L. McGuinness and Li Ding and Paulo Pinheiro da silva and Cynthia Chang. PML 2: A Modular Explanation Interlingua. In Proceedings of the AAAI'07 Workshop on Explanation-Aware Computing, July, 2007. http://tw.rpi.edu/media/latest/KSL-07-07.pdf
- PML 3.0 (under development)
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
PML Tutorials
- PML (pml-p pml-j pml-t diagrams)
- How to find and reuse existing instances of Language, Format, Software, and InferenceRule
- How to create a findable instance of Language, Format, Software, and InferenceRule
- If you have emails related to Inference Web and PML, please also cc inference-web@googlegroups.com.
- pmlp:hasDescription vs pmlp:hasContent
- pmlp:hasRawString vs pmlp:hasURL vs dereferencing Information
- pmlp:hasLanguage vs pmlp:hasFormat vs pmlp:hasEncoding vs pmlp:hasMimetype
- pmlp:hasReferenceSourceUsage vs pmlj:hasSourceUsage
- pmlp:InferenceRule
- How pmlp:Information becomes a pmlp:Source
PML Examples
Use cases
- https://github.com/timrdf/csv2rdf4lod-automation/wiki/Design-Objective:-Capturing-and-Exposing-Provenance
- http://tw.rpi.edu/web/project/SPCDIS/usecases
Updates
Category:PML Ontology Update Request