The Provenance Markup Language (PML 3.0) is an OWL ontology that extends W3C's PROV-O with the best parts of PML 2.0. Provenance Markup Language (PML 3.0) version 3.0, Authors: Timothy Lebo, James P. McCusker, Paulo Pinheiro, Cynthia Chang, and Deborah L. McGuinness Abstraction Rule 1 1 Answer Template 1 1 base 1.1 1 base The abstract trust concept that associate from an agent to a piece of information. The belief relation shows an agents belief status on the specified information. The specific belief status (e.g. believes, disbelieves, ignorant) and corresponding value metrics are defined in the decendents of this class. Belief 1 1 trust Declarative Plan Declarative plans are specified in terms of declarative patterns. Contrast with procedural plan. 1 8 A physical information container that is not actionable. They function like database. Document 0 0 1 base 11 When a Document is treated as a one dimensional string, a fragment of the Document may be established with two offsets. The offsets are in units of characters (and not bytes because characters may be multiple bytes). Document Fragment 1 base 17 An instance of information indicating no conclusion has been derived, i.e. empty set of statements. In this case, the rawstring may contain some english message indicating no answer. Empty Information base An agent's overall belief on a piece of information quantified by a float value between 0 and 1. Float Belief trust A specific valuation metric that is defined on [0,1] as float number. 0 means fully negative point, 0.5 means nutral point, and 1 means fully positive point. float metric 1 trust An agent's overall trust on an information source quantified by a float value between 0 and 1. Float trust trust 5 An inference engine represents an engine that is able to produce a justification for a conclusion. Note that the phrase "inference engine" applies not only to reasoners but also to other systems like search engines which may justify their answers by direct assertion Inference Engine base An inference step represents a justification for the conclusion of the corresponding node set. Instances of inference step are usually anonymous as part of node set. For this reason, inference steps usually have no URIs. Moreover, an application should treat node set and its inference steps in whole. Inference Step 1 1 1 12 A piece of information, e.g. a formula in logic languages, and an utterance/word/phrase/sentence/paragraph/article in natural language. It is used as a range of iw:hasContent. This class and two of its sub-classes enable users to specify four types of semantics (i) Information Annotation - annotate just the format and language used by the content of information; (ii) Information With Content - additionally provide the content of information that is materialized as string without loading a web page; (iii) Information external - additionally provide the URL for fetching the content; and (iv) Information - with every thing including the content string and URL. The second semantics is especially useful when the content is short or mainly used locally. For example, when learning by instruction, the utterances used for learning can be stored within the PML document without being externally stored. By assigning URI reference to information, we can even use owl:sameAs to capture the equivalence of two pieces of information. Information 1 1 1 base 7 Information Container base Do we mean frbr:Item or frbr:Manifestation? Informationless Activity 0 An associative array, an abstract data type composed of a collection of keys and a collection of values, where each key is associated with one value 3.9 any agent that receives a signal or stimulus (as heat or pressure or light or motion etc.) and records it. Observer base 11.75 Offset Position 1 base 10 An Ontology is a document that describes a vocabulary of terms and their correlations. This is a proper superclass of owl:Ontology, since ontologies may be expressed in formalisms other than OWL. Ontology base 2.3 1 base 2 base 2.1 base 11.5 1 base 18 A method inference rule, uses patterns for premises and its conclusions, and additionally contains a method that must be applied. In addition, the conclusion needs to be a valid output of the method, using the premises. For example, procedural attachment is a common encoding form for method rules. Procedural Plan base 3 base 3.1 base A Query is a formal representation of user's question. For example, the content of the query can be '(type TonysSpecialty ?x)' which is encoded in KIF. An inference engine will take the query's content as input and find corresponding answers, each of which is a tree of node sets representing the proof traces obtained from the inference engine. Query A Question refers to natural language version of a user's query. For example, a question can be "What is the type of Tony's Specialty?" A question is usually additional information to an instance of Query as additional annotation. Question Question Template 11.8 Row Column Location 1 1 1 1 base 19 A rule can be fully specified by patterns to generate conclusions from antecedents. For example, Modus Ponens, can be specified by the premise patterns ?A, ?A -> ?B and the conclusion pattern ?B. Rule base A source refers to the source of information. It is the place where we obtain information. Source base Template 1 20 Translation rules are special kinds of inference rules which are used to translate expressions from one language to the other. Translation Plan 1 1 base The abstract trust concept that associate from an agent to a source. The trust relation summarizes an agent's overall believes about information from the specified source. The specific trust metrics are defined in the decendents of this class. Trust 1 1 trust a symbolic name associated with a value and whose associated value may be changed Variable base Variable Mapping 4 services implemented by software and available on the Web Web Service base A literal analogue to prov:atLocation that specifies the position as an integer value. base What plans Agents are able to perform. capable of antecedent An antecedent of an activity is an entity that is used by in such a way that the generated entities are derived from them. This provides a link between processual and derivational provenance that will allow proof-theoretic analysis to be applied to PROV and PML provenance assertions. answer links to one of many alternative answers to this query. .5 base authorOf the information being believed in. believedIn trust the agent that hold the belief assertion. believedBy trust conclusion links to the conclusion of the present node set. The conclusion is the one after applied variable mapping of the node set's inference steps. The content/language/format of conclusion is the only information needed in comparing conclusions. When the artifact has been first created. created base 0.1 The detailed description of the identified thing, e.g. a web page describing KIF language. An identified thing may have zero to many descriptions that could be written in different languages, format, and etc. description base has description template discharge dismiss causal dependency from the conclusion of the present nodeset to an (recursive) antecedent nodeset of the present inference step. In particular, OR-elimination can only be implemented by hasDischarge 0 The content encoding, e.g. "base64". The value of this property helps applications determine the decoder of the raw string. encoding base The value of the metric, and We may consider better datatype in future. value trust 11.82 The from column of the fragment (inclusive, index based on 1) from-column base 20.1 language used by the source. from-language base 11.76 The from offset of the fragment (inclusive, index based on 0). from-offset base 11.81 The from row of the fragment (inclusive, index based on 1) from-row base When the artifact has been modified. last modified base When the publication is published. published in base 11.84 The to column of the fragment (inclusive, index based on 1) to-column base 20.2 language used by the target. to-language base 11.6 The to offset of the fragment (exclusive, index based on 0) to-offset base 11.83 The to row of the fragment (inclusive, index based on 1) to-row base the information source that is trusted in providing information. trustee trust the agent that hold the trust relation with the trustee. trustor trust 0.3 the version number. version base links to an inference step that derives the conclusion of the present node set. because query-for The empty list, with no items in it. If the rest of a list is nil then the list has no more items in it. nil 1.5 the owner of a thing. owned by base ownerOf 2.5 An agent responsible for making the document publicly available. see also http://purl.org/dc/elements/1.1/publisher. published by base publisherOf 1.2 qualified 2.2 qualified 3.2 qualified The plan or plans that were used to create this entity. was generated with plan The proof-theoretic part of PML3 ontology. It is a fundamental component of PML3 ontology. PML3 proof ontology version 3.0, Authors: Timothy Lebo, James P. McCusker, Deborah L. McGuinness, Li Ding, Paulo Pinheiro da Silva, Alyssa Glass, and Cynthia Chang The trust part of PML2 ontology. It is a fundamental component of PML2 ontology. PML2 trust ontology version 2.0, Authors: Deborah L. McGuinness, Honglei Zeng, Li Ding, Paulo Pinheiro da Silva, Alyssa Glass, and Cynthia Chang 14 File Format base 16 Linguistic System base 13 it specifies the format of information, e.g. "pdf", "ppt" (Power Point). It is mainly used to determine the appropriate application for process/display purpose. format base base 15 it specifies the language used to encode information, e.g. "Tony's specialty is shellfish" is encoded in English. This property may also link to a registered formal language such as KIF. language base media type 1 1 An associative array, an abstract data type composed of a collection of keys and a collection of values, where each key is associated with one value a symbolic name associated with a value and whose associated value may be changed