PML-Justification Ontology

The Proof Markup Language - Justification (PML-J) Ontology defines concepts and relations to represent dependencies between indentifiable things. Its intended use is to encode the information manipulation steps used to derive a conclusion. PML-J is a constituent module of the Proof Markup Language (PML), a language to encode distributed provenance.

Keyword(s): 
justification
provenance
Type: 
General Ontology