Provenance Markup Language (original) (raw)
The Provenance Markup Language (abbreviated PML; originally called Proof Markup Language) is an interlingua for representing and sharing knowledge about how information published on the Web was asserted from information sources and/or derived from Web information by intelligent agents. The language was initially developed in support of DARPA Agent Markup Language with a goal of explaining how automated theorem provers (ATP) derive conclusions from a set of axioms. Information, inference steps, inference rules, and agents are the three main building blocks of the language. In the context of an inference step, information can play the role of antecedent (also called premise) and conclusion. Information can also play the role of axiom that is basically a conclusion with no antecedents. PML us
| Property | Value |
|---|---|
| dbo:abstract | The Provenance Markup Language (abbreviated PML; originally called Proof Markup Language) is an interlingua for representing and sharing knowledge about how information published on the Web was asserted from information sources and/or derived from Web information by intelligent agents. The language was initially developed in support of DARPA Agent Markup Language with a goal of explaining how automated theorem provers (ATP) derive conclusions from a set of axioms. Information, inference steps, inference rules, and agents are the three main building blocks of the language. In the context of an inference step, information can play the role of antecedent (also called premise) and conclusion. Information can also play the role of axiom that is basically a conclusion with no antecedents. PML uses the broad philosophical definition of agent as opposed to any other more specific definition of agent. The use of PML in subsequent projects evolved the language in new directions broadening its capability to represent provenance knowledge beyond the realm of ATPs and automated reasoning. The original set of requirements were relaxed to include the following: information originally represented as logical sentences in the Knowledge Interchange Format were allowed to be information written in any language including the English language; and inference rules originally defined as patterns over antecedents and conclusions of inference steps were allowed to be underspecified as long as they were identified and named. These relaxations were essential to explain how knowledge is extracted from text through the use of information extraction components. Enhancements were also required to further understand motivation behind the need of automated theorem provers to derive conclusions: new capabilities were added to annotate how information playing the role of axioms were attributes as assertions from information sources; and the notion of questions and answers were introduced to the language to explain to a third-party agent why an automated theorem prover was used to prove a theorem (i.e., an answer) from a given set of axioms. (en) |
| dbo:wikiPageExternalLink | http://inference-web.org http://www.w3.org/TR/prov-overview/ |
| dbo:wikiPageID | 38535032 (xsd:integer) |
| dbo:wikiPageLength | 3597 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1092163618 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Provenance dbr:Deborah_McGuinness dbr:Richard_Fikes dbr:DARPA_Agent_Markup_Language dbr:Inference dbr:Paulo_Pinheiro dbr:English_language dbr:Stanford_University dbc:Markup_languages dbr:Knowledge_Interchange_Format dbr:Knowledge_Systems_Laboratory dbr:Automated_theorem_prover dbr:Assertion_(software_development) dbr:Automated_reasoning dbr:Axiom dbr:Information dbr:Intelligent_agents dbr:World_Wide_Web_Consortium dbr:Inference_rule dbr:Inference_rules dbr:Logical_sentence |
| dbp:wikiPageUsesTemplate | dbt:Reflist dbt:Third-party |
| dcterms:subject | dbc:Markup_languages |
| gold:hypernym | dbr:Interlingua |
| rdf:type | yago:WikicatMarkupLanguages yago:Abstraction100002137 yago:LanguageUnit106284225 yago:MarkupLanguage106787835 yago:Part113809207 yago:Relation100031921 yago:Word106286395 yago:Terminology106304059 |
| rdfs:comment | The Provenance Markup Language (abbreviated PML; originally called Proof Markup Language) is an interlingua for representing and sharing knowledge about how information published on the Web was asserted from information sources and/or derived from Web information by intelligent agents. The language was initially developed in support of DARPA Agent Markup Language with a goal of explaining how automated theorem provers (ATP) derive conclusions from a set of axioms. Information, inference steps, inference rules, and agents are the three main building blocks of the language. In the context of an inference step, information can play the role of antecedent (also called premise) and conclusion. Information can also play the role of axiom that is basically a conclusion with no antecedents. PML us (en) |
| rdfs:label | Provenance Markup Language (en) |
| owl:sameAs | freebase:Provenance Markup Language wikidata:Provenance Markup Language https://global.dbpedia.org/id/4tkqf yago-res:Provenance Markup Language |
| prov:wasDerivedFrom | wikipedia-en:Provenance_Markup_Language?oldid=1092163618&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Provenance_Markup_Language |
| is dbo:knownFor of | dbr:Paulo_Pinheiro |
| is dbo:wikiPageDisambiguates of | dbr:PML |
| is dbo:wikiPageRedirects of | dbr:Proof_Markup_Language |
| is dbo:wikiPageWikiLink of | dbr:Paulo_Pinheiro dbr:PML dbr:Proof_Markup_Language |
| is foaf:primaryTopic of | wikipedia-en:Provenance_Markup_Language |