The provenance part of PML2 ontology. It is a fundamental component of PML2 ontology.
PML2 provenance ontology
version 2.0, Authors: Deborah L. McGuinness, Li Ding, Paulo Pinheiro da Silva, Alyssa Glass, and Cynthia Chang
content
This is a common concept that links to a piece of information. Currently, we focus on content of document, and inference rule.
owner
the owner of a thing.
created
When the artifact has been first created.
last modified
When the artifact has been modified.
author(s)
A list of agents primarily responsible for making the artifact, for example, a person, an organization, or a software service. The AgentList enables an ordered list of agents; however, domain applications may optionally choose to ignore the order. We should be able to derive that each agent is the dc:creator of the artifact.
List of Agents
version
the version number.
confidence
this is a common property and can be used to describe an agent's confidence on a piece of information or an action step.It is typically used together with an object property indicating who asserted the confidence. For example, an inference engine may be one example. Although we did not specified its cardinality, it is typically used only once in one individual.
Identified Thing
The abstract root of provenance related concepts. It organizes a collection of common metadata about the referenced object, and it does not have any instance.
name
the human readable label of the identified thing.
description
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.
Information
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.
language
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.
encoding
The content encoding, e.g. "base64". The value of this property helps applications determine the decoder of the raw string.
format
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.
pretty-string
the human friendly presentation of the information. Its format is text and it is usually written in English.
raw-string
materialized version of the content of information
url
The URL of a relevant web page.
mime-type
A well-defined string indicating the mime type of information content. Internet Media Types (MIME). see also http://www.iana.org/assignments/media-types/.
pretty name mapping
The rendering instruction. UI tools may feed the PrettyNameMapping in sequence to string replace operation to get a pretty rendering of the conclusion of a NodeSet. It only applies to the conclusion of the node set.
reference source usage
Explain how this information is obtained from a source: by whom, when, which source and which part of the source.
Format
A plan for the organization and arrangement of specified information. Examples: binary, text, pdf, etc.
Language
The language used to encode the raw string, e.g. English, Knowledge Interchange Format (KIF) , and N3. Languages are in general registered at the core IWRegistry.
escape character sequence
The escape character used by a (formal) language (for parse use). It is used more like a comment indicator. This is used by InferenceML to embed metalangauge for proof checking (talk to Priyendra Deshwa).
Empty Information
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.
Source
A source refers to the source of information. It is the place where we obtain information.
Agent
actionalble entities.
member of
An organization may have member agents such as persons and other organizations.
Organization
A group of agents organized for a particular purpose, e.g., KSL, stanford.
member
Person
A person
Sensor
any device that receives a signal or stimulus (as heat or pressure or light or motion etc.) and records it. (WordNet)
Software
written programs or procedures or rules and associated documentation pertaining to the operation of a computer system and that are stored in read/write memory.(WordNet)
Web Service
services implemented by software and available on the Web
Document
A physical information container that is not actionable. They function like database.
publisher
An agent responsible for making the document publicly available. see also http://purl.org/dc/elements/1.1/publisher.
abstract
The abstract of a document.
Ontology
An Ontology is a document that describes a vocabulary of terms and their correlations.
Publication
If we have two versions of the same publication, we need to create two instances of Publication. A publication may have multiple ISBNs.
published in
When the publication is published.
isbn
The International Standard Book Number.
Dataset
A dataset is a collection of data document whose information is encoded in a defined structure (for example, lists, tables, and databases). see also http://purl.org/dc/dcmitype/Dataset.
Website
Collection of files and related resources accessible through the World Wide Web and organized under a particular domain name. Typical files found at a Web site are HTML documents with their associated graphic image files (GIF, JPEG, etc.), scripted programs (in Perl, CGI, Java, etc.), and similar resources. The site's files are usually accessed through hypertext or hyperlinks embedded in other files. A Web site may consist of a single HTML file, or it may comprise hundreds or thousands of related files. A Web site's usual starting point or opening page, called a home page, usually functions as a table of contents or index, with links to other sections of the site. Web sites are hosted on one or more Web servers, which transfer files to client computers or other servers that request them using the HTTP protocol. Although the term ?ite?implies a single physical location, the files and resources of a Web site may actually be spread among several servers in different geographic locations.(adapted from Britannica Concise Encyclopedia).
Document Fragment
A fragment of document that can be used as source.
document
A document fragment always depend on one source document, which is also the source.
Document Fragment by Offset
We may treat a document a one dimensional string, so we can mark a fragment with two offsets. We don't use byte because characters in text document may be multi-bytes.
from-offset
The from offset of the fragment (inclusive, index based on 0).
to-offset
The to offset of the fragment (exclusive, index based on 0)
Document Fragment by Row/Column
to-row
The to row of the fragment (inclusive, index based on 1)
to-column
The to column of the fragment (inclusive, index based on 1)
from-row
The from row of the fragment (inclusive, index based on 1)
from-column
The from column of the fragment (inclusive, index based on 1)
Source Usage
A usage of the source. It records an access of a source at a certain date time.
usage-datetime
the time stamp when the source usage occurred.
query-content
The query content that leads to the source usage. e.g. the query part of a URL.
source
the source of the Source Usage, i.e. where does it come from.
Learned Source Usage
A special type of source usage. It records the modification of sources - the question that initiates the learning process, the duration of learning, the original source and current source used by learning.
data-collection-start-datetime
the time stamp when data collection started
data-collection-end-datetime
the time stamp when data collection ended
Inference Rule
Inference rules are used to derive conclusions from premises. Inference Web divides inference rules into three classes: Primitive and Derived and Translation. This is an abstract class without any direct instance. A primitive rule is an atomic rule with respect to an inference engine. An inference engine may support rules that it does not need to further decompose. Since a primitive rule is an inference engine dependent concept, we may find a rule is primitive to one inference engine but not to another engine. For example a `natural deduction reasoner R1 may define Modus Ponens as a primitive rule and another reasoner R2 may register Robinson's resolution rule as a primitive rule. The reasoner R2 may be able to derive a Modus Ponens rule using its primitive resolution rule.
english-description-template
it is sub-property of rdfs:comment. It is also a simplified template for adding rule description template in English rather than using hasDescription.
rule example
it is sub-property of rdfs:comment. It is used to provide an example to help users understand the referred entity.
Declarative Rule
A declarative inference rule can be fully specified by patterns for premises and its conclusion. For example, Modus Ponens, can be specified by the premise patterns ?A, ?A -> ?B and the conclusion pattern ?B.
Method Rule
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.
Translation Rule
Translation rules are special kinds of inference rules which are used to translate expressions from one language to the other.
from-language
language used by the source.
to-language
language used by the target.
Inference Engine
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
uses-inference-rule
The inference rules used by the inference engine
uses-inference-engine
The inference engine used by an agent
List of PrettyNameMappings
specially designed for pretty display purpose.
Pretty Name Mapping
replacee
pretty name
short pretty name
long pretty name