Documentation

From Inference Web

Contents 1 Specifications 2 PML Ontologies 3 PML Tutorials 4 PML Examples 5 Use cases 6 Updates 7 Datasets 8 Internal Documentation

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

PML examples	Status	Dc:creator
How pmlp:Information becomes a pmlp:Source	Draft	Tim Lebo
PML example: Giving credit to data source	Draft	Tim Lebo
PML example: HTTP GET - header vs content	Draft	Tim Lebo
PML example: Parsing an HTTP header in a pmlp:Information's hasRawString	Draft	Tim Lebo
PML example: RDFizing ScraperWiki's CSV	Draft	Tim Lebo
PML example: Sensor as InferenceEngine	Draft	Stephan Zednik
PML example: corroborating identical pdf files	Draft	Tim Lebo
PML example: downloading a file	Draft	Tim Lebo
PML example: file line count	Draft	Tim Lebo
PML example: got it from email	Draft	Tim Lebo
PML example: sparql query	Draft	Tim Lebo
PML example: the domain of hasURL is Information	Draft	Tim Lebo
PML example: what time is it	Draft	Tim Lebo

OPeNDAP Example

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

Datasets

• Registry
• PML Datasets
• Linked Proofs Dataset

Internal Documentation

internal