This HTML5 document contains 54 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n20https://global.dbpedia.org/id/
n6http://www.w3.org/TR/prov-overview/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
n18http://
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
dbchttp://dbpedia.org/resource/Category:
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Paulo_Pinheiro
dbo:wikiPageWikiLink
dbr:Provenance_Markup_Language
dbo:knownFor
dbr:Provenance_Markup_Language
Subject Item
dbr:PML
dbo:wikiPageWikiLink
dbr:Provenance_Markup_Language
dbo:wikiPageDisambiguates
dbr:Provenance_Markup_Language
Subject Item
dbr:Provenance_Markup_Language
rdf:type
yago:Abstraction100002137 yago:LanguageUnit106284225 yago:Part113809207 yago:MarkupLanguage106787835 yago:WikicatMarkupLanguages yago:Word106286395 yago:Terminology106304059 yago:Relation100031921
rdfs:label
Provenance Markup Language
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
dcterms:subject
dbc:Markup_languages
dbo:wikiPageID
38535032
dbo:wikiPageRevisionID
1092163618
dbo:wikiPageWikiLink
dbr:Stanford_University dbr:Inference_rule dbr:Inference_rules dbr:Axiom dbr:English_language dbr:DARPA_Agent_Markup_Language dbr:Logical_sentence dbr:Deborah_McGuinness dbr:World_Wide_Web_Consortium dbr:Knowledge_Interchange_Format dbr:Information dbr:Knowledge_Systems_Laboratory dbc:Markup_languages dbr:Inference dbr:Paulo_Pinheiro dbr:Richard_Fikes dbr:Automated_theorem_prover dbr:Automated_reasoning dbr:Intelligent_agents dbr:Assertion_(software_development) dbr:Provenance
dbo:wikiPageExternalLink
n6: n18:inference-web.org
owl:sameAs
freebase:m.0r3vmh1 yago-res:Provenance_Markup_Language wikidata:Q7252331 n20:4tkqf
dbp:wikiPageUsesTemplate
dbt:Third-party dbt:Reflist
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.
gold:hypernym
dbr:Interlingua
prov:wasDerivedFrom
wikipedia-en:Provenance_Markup_Language?oldid=1092163618&ns=0
dbo:wikiPageLength
3597
foaf:isPrimaryTopicOf
wikipedia-en:Provenance_Markup_Language
Subject Item
dbr:Proof_Markup_Language
dbo:wikiPageWikiLink
dbr:Provenance_Markup_Language
dbo:wikiPageRedirects
dbr:Provenance_Markup_Language
Subject Item
wikipedia-en:Provenance_Markup_Language
foaf:primaryTopic
dbr:Provenance_Markup_Language