Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from http://www.asahi-net.or.jp/~ax2s-kmtn/internet/owl2/REC-prov-o-20130430.html below:

PROV-O: PROVオントãƒã‚¸ãƒ¼

【注意】 このドキュメントは、W3CのPROV-O: The PROV Ontology W3C Recommendation 30 April 2013の和訳です。
このドキュメントの正式版はW3Cのサイト上にある英語版であり、このドキュメントには翻訳に起因する誤りがありえます。誤訳、誤植などのご指摘は、訳者までお願い致します。

First Update: 2020年3月24日

本バージョン:

http://www.w3.org/TR/2013/REC-prov-o-20130430/

最新公開バージョン:

http://www.w3.org/TR/prov-o/

実装報告書:

http://www.w3.org/TR/2013/NOTE-prov-implementations-20130430/

旧バージョン:

http://www.w3.org/TR/2013/PR-prov-o-20130312/

編集者:

Timothy Lebo, Rensselaer Polytechnic Institute, USA

Satya Sahoo, Case Western Reserve University, USA

Deborah McGuinness, Rensselaer Polytechnic Institute, USA

貢献者:

(アルファベット順)

Khalid Belhajjame, University of Manchester, UK

James Cheney, University of Edinburgh, UK

David Corsar, University of Aberdeen, UK

Daniel Garijo, Ontology Engineering Group, Universidad Politecnica de Madrid, Spain

Stian Soiland-Reyes, University of Manchester, UK

Stephan Zednik, Rensselaer Polytechnic Institute, USA

Jun Zhao, University of Oxford, UK

このドキュメントに対する正誤表を参照してください。いくつかの規範的な修正が含まれているかもしれません。

この仕様の英語版が唯一の規範のバージョンです。非規範の翻訳版も入手可能かもしれません。

Copyright © 2011-2013 W3C^® (MIT, ERCIM, Keio, Beihang), All Rights Reserved. W3C liability, trademark and document use rules apply.

PROVオントロジー(PROV-O)は、OWL2 Webオントロジー言語(OWL2)[OWL2-OVERVIEW]を用いてPROVデータ・モデル[PROV-DM]を表します。これは、様々なシステムや様々なコンテキストで生成された来歴情報を表現し交換するために使用できるクラス、プロパティー、制限を提供します。また、様々なアプリケーションや領域の来歴情報をモデル化するために、新しいクラスやプロパティーを作成するように特化することもできます。PROVドキュメント概要は、PROVの全体的な状態を説明しており、他のPROVドキュメントの前に読むべきです。

すべてのPROV-O用語の名前空間はhttp://www.w3.org/ns/prov#です。

PROVオントロジーのOWLエンコーディングはここで利用できます。

この項は、このドキュメントの公開時のステータスについて記述しています。他のドキュメントがこのドキュメントに取って代わることがありえます。現行のW3Cの刊行物およびこの技術報告の最新の改訂版のリストは、http://www.w3.org/TR/のW3C技術報告インデックスにあります。

このドã‚ュメントは、ウェブなどの異種環境における来æ´æƒ…å ±ã®ç›¸äº’é‹ç”¨å¯èƒ½ãªäº¤æ›ã«é–¢ã™ã‚‹ãƒ“ã‚¸ãƒ§ãƒ³ã‚’å®Ÿç¾ã™ã‚‹ãŸã‚ã«å¿…è¦ãªæ§˜ã€…ãªå´é¢ã‚’å®šç¾©ã—ã¦ã„ã‚‹ãƒ‰ã‚ュメントの集合であるPROVドã‚ュメント群の一部です。これらのドã‚ュメントを下記に挙げています。これらのドã‚ュメントをèªã‚€ãŸã‚ã®æ‰‹å¼•ãã«ã¤ã„ては、[

]を参照してください。

• PROV-OVERVIEW (ノート) ― PROV群のドキュメントの概要[PROV-OVERVIEW]
• PROV-PRIMER (ノート) ― PROVデータ・モデルの入門[PROV-PRIMER]
• PROV-O (勧告) ― PROVオントロジー。PROVデータ・モデルのRDFへのマッピングを可能にするOWL2オントロジー(このドキュメント)
• PROV-DM (勧告) ― 来歴のPROVデータ・モデル[PROV-DM]
• PROV-N (勧告) ― 人間の利用を目的とした来歴の表記法[PROV-N]
• PROV-CONSTRAINTS (勧告) ― PROVデータ・モデルに適用される制約[PROV-CONSTRAINTS]
• PROV-XML (ノート) ― PROVデータ・モデルのXMLスキーマ[PROV-XML]
• PROV-AQ (ノート) ― 来歴に対するアクセスとクエリのメカニズム[PROV-AQ]
• PROV-DICTIONARY (ノート)は、キー-エンティティーのペアで構成される特定の種類のコレクションを導入[PROV-DICTIONARY]
• PROV-DC (ノート)は、PROV-Oとダブリンコア用語とのマッピングを提供[PROV-DC]
• PROV-SEM (ノート) ― PROVデータ・モデルの一階論理に関する宣言仕様[PROV-SEM]
• PROV-LINKS (ノート)は、バンドルにまたがるリンクのメカニズムを導入[PROV-LINKS]

このドキュメントは、W3Cメンバー、ソフトウェア開発者、他のW3Cグループ、および他の利害関係者によりレビューされ、W3C勧告として管理者の協賛を得ました。これは確定済みドキュメントであり、参考資料として用いたり、別のドキュメントで引用することができます。勧告の作成におけるW3Cの役割は、仕様に注意を引き付け、広範囲な開発を促進することです。これによってウェブの機能性および相互運用性が増強されます。

このドキュメントは、Provenanceワーキンググループによって勧告として公開されました。このドキュメントに関してコメントを行いたい場合には、public-prov-comments@w3.org(購読、アーカイブ)にお送りください。どのようなコメントでも歓迎します。

このドキュメントは、2004年2月5日のW3C特許方針の下で活動しているグループによって作成されました。W3Cは、このグループの成果物に関連するあらゆる特許の開示の公開リストを維持し、このページには特許の開示に関する指示も含まれています。不可欠な請求権(Essential Claim(s))を含んでいると思われる特許に関して実際に知っている人は、W3C特許方針の6項に従って情報を開示しなければなりません。

PROVオントロジー(PROV-O)は、PROVデータ・モデル[PROV-DM]のOWL2 ウェブ・オントロジー言語のエンコーディングを定義します。このドキュメントでは、PROVオントロジーを構成するクラス、プロパティー、制限について記述しています。このオントロジー仕様は、様々なシステムと様々なコンテキストで生成された来歴情報を表現、交換、統合できる様々な領域に来歴アプリケーションを実装するための基盤を提供します。このドキュメントは、PROVアクセスとクエリ[PROV-AQ]およびPROVデータ・モデル[PROV-DM]とともに、領域固有のウェブ・ベースのアプリケーションにおける来歴情報交換のフレームワークを形成します。

PROV-Oは、幅広いアプリケーションで採用できる軽量のオントロジーです。5つの公理を除き、PROV-OはOWL-RLプロファイル[OWL2-PRIMER]に準拠しています。PROVオントロジーのクラスとプロパティーは、来歴情報を表すために直接使用できるだけでなく、様々な領域においてアプリケーション固有の来歴の詳細をモデル化するために特化することもできるように定義されています。したがって、PROVオントロジーは、アプリケーションで直接使用できるだけでなく、領域固有の来歴オントロジーを作成するための参照モデルとしても機能し、それによって、相互運用可能な来歴のモデル化が容易になることが期待されます。PROV-Oのクラスとプロパティーの使用方法を示すために、このドキュメントでは、PROV入門[PROV-PRIMER]で導入したものと同じような来歴のシナリオの例を用います。

PROVデータ・モデル[PROV-DM]は、様々なアプリケーション領域の来歴情報を表すための概念を導入しています。このドキュメントは、OWL2オントロジー言語[OWL2-OVERVIEW]を用いてPROVデータ・モデルをPROVオントロジーにマッピングします。

PROVオントロジーの記述に用いるOWL2モデル化用語の一部を簡単に紹介します。OWL2のインスタンスは、議論領域内の個々のオブジェクト、例えば、Aliceという名前の人やKITTという名前の車です。共通する特性を持つ個体の集合がクラスを構成します。人(Person)と車(Car)は、それぞれ個々の人と車の集合を表すクラスの例です。OWL2のオブジェクト・プロパティーは、個体やクラスをリンクするため、またはプロパティー階層を作成するために用います。例えば、「hasOwner」(所有者を持つ)というオブジェクト・プロパティーを用いて車と人をリンクできます。OWL2データ型プロパティーは、個体やクラスをXMLスキーマデータ型[XMLSCHEMA11-2]などのデータ値にリンクするために用います。

準拠性のために、このドキュメントの規範的な項は、1.1項、1.2項、3項、4項、付録Bです。

• 表内の情報は、規範的な項に掲載されている場合は、規範的です。
• すべての図と図表は参考情報です。
• すべての例は参考情報です。

このドキュメントの「しなければならない(must)」、「してはならない(must not)」、「必須である／要求される(required)」、「することになる(shall)」、「することはない(shall not)」、「すべきである／する必要がある(should)」、「すべきでない／する必要がない(should not)」、「推奨される(recommended)」、「することができる／してもよい(may)」、「選択できる／任意である(optional)」というキーワードは、[RFC2119]で記述されているように解釈されるべきです。

この項は非規範的です。

このドキュメントでは、下記の名前空間接頭辞を用います。

この項は非規範的です。

PROV-Oのユーザーは、ニーズやどの程度の詳細を来歴情報に含めたいかに応じて、全オントロジーのうちの一部のみを用いる必要がある場合があります。このため、PROV-O用語(クラスとプロパティー)を、開始点の用語、拡張された用語、および修飾関係の用語の3つのカテゴリーのグループに分けて、オントロジーを徐々に紹介します。

開始点のクラスとプロパティーでは、PROVオントロジーの残りの部分に関する基礎を提供しているため、残りのカテゴリーに進む前に、これらの用語の適用方法に慣れることをお勧めします。これらの用語は、他のカテゴリーの用語を用いて詳細化できるシンプルな来歴記述を作成するために用います。このカテゴリーのクラスとプロパティーは下記に挙げているもので、これらについては3.1項で論じています。

拡張されたクラスとプロパティーは、開始点のカテゴリーのクラスを関連付けるために使用できる追加の用語を提供します。このカテゴリーの用語は、開始点のカテゴリーの用語と同じ方法で適用されます。このカテゴリーの用語の多くは、開始点のカテゴリーの用語のサブクラスまたはサブプロパティーです。このカテゴリーのクラスとプロパティーは下記に挙げているもので、これらについては3.2項で論じています。

修飾付きクラスとプロパティーは、開始点のプロパティーと拡張されたプロパティーを用いて言明される2項関係に関する詳細な情報を提供します。このカテゴリーの用語は、開始点や拡張されたもののカテゴリーの用語とは異なるパターンを用いて適用されます。以前の2つのカテゴリーの関係は直接的な2項の言明として適用されますが、このカテゴリーの用語は2項関係の追加属性を提供するために用います。このカテゴリーで用いるパターンにより、ユーザーは開始点や拡張された用語のみでは得られない複雑な詳細を提供できます。このカテゴリーのクラスとプロパティーは下記に挙げているもので、これらについては3.3項で論じています。

この項では、次の各カテゴリーの用語を紹介します。

• 開始点の用語
• 拡張された用語
• 修飾付き用語

開始点のカテゴリーは、シンプルな最初の来歴の記述を作成するために使用できるクラスとプロパティーの小さな集合です。次の3つのクラスは、PROV-Oの残りの部分に関する基礎を提供します。

• prov:Entityとは、物理的なもの、デジタルのもの、概念的なもの、またはその他の固定された側面を持つ種類のもので、エンティティーは実在するものまたは架空のものでありえます。
• prov:Activityとは、一定期間にわたって発生し、エンティティーに対して、またはエンティティーを用いて行うものです。エンティティーの利用、処理、変換、変更、再配置、使用、または生成が含まれる場合があります。
• prov:Agentとは、実行中の活動、エンティティーの存在、または別のエージェントの活動に対して何らかの形で責任を負うものです。

3つの主要なクラスは、次の図に示すプロパティーを用いて、互いに、そしてそれら自体に関連しています。

活動は、特定の時点で開始および終了し(それぞれprov:startedAtTimeおよびprov:endedAtTimeというプロパティーを用いて記述)、その存続期間中に様々なエンティティーを使用および生成できます(それぞれprov:usedおよびprov:endedAtTimeを用いて記述)。例えば、ブログの執筆活動では、特定のデータセットを用いて棒グラフを生成できます。使用方法と生成を表現することにより、活動とエンティティーの両方を含む来歴連鎖を構築できます。

さらに、活動の開始時間と終了時間を明示せずに、依存情報を提供するために、ある活動が別の活動から情報を得た(prov:wasInformedBy)と述べることができます。活動間のprov:wasInformedBy関係は、情報を与えた活動が生成したエンティティーを、情報を得た活動が用いたことを示唆しますが、エンティティー自体は不明であるか関心の対象ではありません。したがって、prov:wasInformedByというプロパティーにより、活動のみで構成される来歴連鎖を構築できます。

prov:wasDerivedFromというプロパティーを用いて、エンティティーのみで構成される来歴連鎖を形成できます。派生とは、あるエンティティーを別のエンティティーに変換することです。例えば、棒グラフを作成した活動が不明であったり興味の対象でない場合、その棒グラフはデータセットから派生した(prov:wasDerivedFrom)と言うことができます。任意のRDFプロパティーで、特定のアプリケーション内の興味のあるエンティティーの固定アスペクト(例えば、データセットのファイル・サイズと形式、棒グラフのアスペクト比)を記述することができます。

prov:used、prov:wasGeneratedBy、prov:wasInformedBy、prov:wasDerivedFromというプロパティーを用いて活動やエンティティーの間の来歴連鎖を構築できますが、来歴連鎖内の任意の活動やエンティティーの責任をエージェントに割り当てることもできます。活動やエンティティーに対するエージェントの責任は、それぞれprov:wasAssociatedWithとprov:wasAttributedToのプロパティーを用いて記述します。エージェントは、他のエージェントの行動に責任を持つこともできます。この委任というケースでは、影響を与えるエージェントは、影響を受ける活動やエンティティーに同様に責任を負う別のエージェントの代理を務めました(prov:actedOnBehalfOf)。

rdf:typeおよびrdfs:labelというプロパティーは、それぞれprov:typeとprov:labelを表すために用います。

。3つの開始点のクラスとそれらを関連付けているプãƒãƒ‘ティー。

このドã‚ュメントの図では、エンティティーを黄色の楕円形、

活動を青い長方形、エージェントをオレンジ色の五角形で示しています。

責任のプãƒãƒ‘ティーはピンクで表しています。

例1: 次のPROV-Oは、犯罪統計に関するグラフの作成時に伴う資源を記述しています。この例では開始点の用語のみを用いており、後の項で説明する詳細化の基礎としての役目を果たします。この例では、Derekはいくつかの政府の犯罪データを集約し、市民活動グループが別のデータセット内で記述している国の地域によってグループ分けしています。

@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.org#> .

:bar_chart
   a prov:Entity;
   prov:wasGeneratedBy  :illustrationActivity;
   prov:wasDerivedFrom  :aggregatedByRegions;
   prov:wasAttributedTo :derek;
.

:derek
   a foaf:Person, prov:Agent;
   foaf:givenName       "Derek";
   foaf:mbox            <mailto:derek@example.org>;
   prov:actedOnBehalfOf :natonal_newspaper_inc;
.

:national_newspaper_inc 
   a foaf:Organization, prov:Agent;
   foaf:name "National Newspaper, Inc.";
.

:illustrationActivity 
   a prov:Activity; 
   prov:used              :aggregatedByRegions;
   prov:wasAssociatedWith :derek;
   prov:wasInformedBy     :aggregationActivity;
.

:aggregatedByRegions
   a prov:Entity;
   prov:wasGeneratedBy  :aggregationActivity;
   prov:wasAttributedTo :derek;
.

:aggregationActivity
   a prov:Activity;
   prov:startedAtTime    "2011-07-14T01:01:01Z"^^xsd:dateTime;
   prov:wasAssociatedWith :derek;
   prov:used              :crimeData;
   prov:used              :nationalRegionsList;
   prov:endedAtTime      "2011-07-14T02:02:02Z"^^xsd:dateTime;
.

:crimeData
   a prov:Entity;
   prov:wasAttributedTo :government;
.
:government a foaf:Organization, prov:Agent .

:nationalRegionsList 
   a prov:Entity;
   prov:wasAttributedTo :civil_action_group;
.
:civil_action_group a foaf:Organization, prov:Agent .

この例は、エージェントである:derekが:aggregationActivityおよび:illustrationActivityの2つの活動に関連付けられていたことを示しています。:aggregationActivityという活動は、:crimeData(犯罪統計のデータセット)および:nationalRegionsList(国の地域のリスト)というエンティティーを用い、:nationalRegionsListの地域に従って:crimeDataの統計を集約した:aggregatedByRegionsという新しいエンティティーを生成しました。次に、:aggregatedByRegionsというエンティティーが:illustrationActivityという活動によって用いられ、集約された統計を表す:bar_chartという新しいエンティティーが生成されました。

この例は、:illustrationActivityという活動が:aggregationActivityという活動から情報を得たことも示しています。確かに、前者は後者によって生成された:aggregatedByRegionsというエンティティーを用いました。

:derekというエージェントは、:aggregationActivityおよび:illustrationActivityという活動に関連付けられていたため、これらの活動によって生成されたエンティティー、つまり:aggregatedByRegionsと:bar_chartも彼に帰属していました。

最後に、この例は、:derekというエージェントが:national_newspaper_incという組織の代理を務めたことを示しています。

。

のPROV-Oを図示したもの。3つの開始点のクラスがどのように関連しているかを表しています。

このドã‚ュメントの図では、エンティティーを黄色の楕円形、活動を青い長方形、

エージェントをオレンジ色の五角形で示しています。責任のプãƒãƒ‘ティーはピンクで表しています。

この項で紹介する用語は、エンティティー、活動、エージェント間の来歴を記述する追加の方法を提供します。次の図で追加の用語を示しており、それは5つの異なるカテゴリーに分けることができます。

。拡張された用語は、

の用語に基づいて構築されます。

このドã‚ュメントの図では、エンティティーを黄色の楕円形、活動を青い長方形、エージェントをオレンジ色の五角形で示しています。

の定義域(

または

または

または

)は図示していません。

最初のカテゴリーは、開始点の用語をサブクラス、サブプロパティー、およびスーパープロパティーで拡張しています。

エージェントの3つのサブクラス(prov:Person、prov:Organization、prov:SoftwareAgent)とエンティティーの3つのサブクラス(prov:Collection、prov:Bundle、prov:Plan)を提供しています。

prov:Collectionは、一部の構成要素(それ自体がエンティティー)に構造(集合、リストなど)を提供するエンティティーです。prov:Collectionというクラスを用いて、例えば、誰がコレクションを維持していたか、発展に伴ってどのメンバーが含まれていたか、そしてどのように編成されていたかといった、コレクション自体の来歴を表現できます。prov:hadMemberというプロパティーは、コレクション内のメンバーシップを言明するために用います。

prov:Bundleは、名前付きの来歴記述であり、それ自体が来歴を持つことができます。名前付きの来歴記述は、PROV-Oまたはその他の形式で表現できます。他の勧告、標準、技術を用いて行う方が適切であるため、PROV-Oは、PROV-O言明に名前を付けるBundleのサブクラスを提供していません。いずれにしても、PROV-O言明のバンドルはRDFトリプルの抽象的な集合であり、トリプルを追加または削除すると、新しい別個のPROV-O言明のバンドルが作成されます。

prov:Planは、ある目標を達成するために1つ以上のエージェントが企図している行動やステップを表すエンティティーです。

より一般的なプロパティーとより特定的なプロパティーは、拡張された用語でも提供されます。より一般的には、prov:wasInfluencedByというプロパティーは、影響を受けるエンティティー、活動、またはエージェントを、その特性に影響を与えた、影響を与える他のエンティティー、活動、またはエージェントに関連付けるスーパープロパティーです。prov:wasDerivedFromの3つのサブプロパティーは、エンティティー間の特定の種類の派生にも提供されます。prov:wasQuotedFromは、元の一部またはすべてを繰り返すことによって新しいエンティティーが作成された潜在的に大きなエンティティー(本、ブログ、画像など)を引用し、prov:wasRevisionOfは、派生したエンティティーに元のエンティティーの実質的な内容が含まれていること(例えば、本の2つの版)を示し、prov:hadPrimarySourceは、トピックに関する直接的な経験と知識(センサーからの読み取りや、歴史的な出来事の間に書かれた日記など)を持つエージェントが生成した先行するエンティティーを引用します。

2番目の拡張された用語のカテゴリーは、その抽象レベルに従ってエンティティーを関連付けるもので、エンティティーがより一般的な側面よりも特定的な側面を表す場合があります。prov:specializationOfは、より特定的なエンティティーをより一般的なエンティティーにリンクしますが(例えば、今日のBBCニュースのホームページと任意の日のBBCニュースのホームページ)、prov:alternateOfは、同じものの側面を示すエンティティーをリンクします。ただし、それは必ずしも同じ側面や同時にではありません(例えば、異なる形式のドキュメントのシリアル化やコンピューター・ファイルのバックアップ・コピー)。

3番目の拡張された用語のカテゴリーでは、エンティティーのより詳細な記述が可能となります。prov:valueというプロパティーは、エンティティーの直接的な表現であるリテラル値を提供します。例えば、引用のprov:valueは表明された文の文字列でありえ、数値計算に関するエンティティーのprov:valueはxsd:integer(整数)の4でありえます。prov:atLocationというプロパティーを用いて、エンティティー、活動、エージェント、またはprov:InstantaneousEvent(つまり、活動の開始や終了、またはエンティティーの生成、使用、無効化)のprov:Locationを記述することができます。prov:Locationのインスタンスを記述するために用いるプロパティーは、PROV-Oの範囲外です。他の既存の語彙の再利用をお勧めします。

4番目の拡張された用語のカテゴリーは、活動による生成や他の活動による使用の範囲を超えたエンティティーの存続期間を記述します。例えば、絵画は描かれる前に展示することはできず、火災で消失した後にそれを売ることはできません。活動が開始時間と終了時間を持つのと同じような方法で、エンティティーは、生成された時点または使用できなくなった時点によってバインドできます。prov:generatedAtTimeおよびprov:invalidatedAtTimeというプロパティーを用いて、エンティティーの存在の開始と終了の瞬間をバインドできます。エンティティーを生成または無効化させた活動は、それぞれprov:wasGeneratedByとprov:wasInvalidatedByを用いて提供できます。prov:generatedとprov:invalidatedは、それぞれprov:wasGeneratedByとprov:wasInvalidatedByの逆であり、Activity-as-subjectとEntity-as-subjectを容易に記述できるようにするために定義されています。逆に関する詳細については、付録Bを参照してください。

5番目の拡張された用語のカテゴリーは、開始時間と終了時間、および先行する活動の範囲を超えた活動の存続期間を記述します。活動はエンティティーによって開始または終了することもでき、それぞれprov:wasStartedByおよびprov:wasEndedByというプロパティーを用いて記述されます。エンティティーは活動を開始または終了させることができ、エージェントはエンティティーでありえるため、エージェントが活動を開始または終了させることもできます。

次の例は、前の項の犯罪グラフの例を詳細化することによる、拡張された用語を示しています。データセットを集約してグラフを作成した後に、Derekは自分の成果を見せる投稿を公開しました。

例2:

@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix sioc: <http://rdfs.org/sioc/ns#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix my:   <http://www.example.org/vocab#> .
@prefix :     <http://www.example.org#> .
@base         <http://www.example.com/derek-bundle.ttl> .

<> 
   a prov:Bundle, prov:Entity;
   prov:wasAttributedTo :postEditor;
   prov:generatedAtTime "2011-07-16T02:52:02Z"^^xsd:dateTime;
.

:derek
   a prov:Person, prov:Agent; ## prov:Agent is inferred from prov:Person
   foaf:givenName       "Derek";
   foaf:mbox            <mailto:derek@example.org>;
   prov:actedOnBehalfOf :national_newspaper_inc;
.

:national_newspaper_inc 
   a prov:Organization, prov:Agent;        ## prov:Agent is inferred from prov:Organization
   foaf:name "National Newspaper, Inc.";
.

:postEditor 
   a prov:SoftwareAgent, prov:Agent;       ## prov:Agent is inferred from prov:SoftwareAgent
   foaf:name "Post Editor 3000";
.   

:more-crime-happens-in-cities
   a sioc:Post, prov:Entity;
   sioc:latest_version   :post9821v2;
   sioc:previous_version :post9821v1;
.

## Version 1 of the post

:post9821v1
   a sioc:Post, prov:Entity;   
   prov:specializationOf  :more-crime-happens-in-cities; ## PERMALINK to the latest revision.
   sioc:title             "More crime happens in cities";
   prov:value             "I was currius...";            ## The text of this version (with a typo).
   prov:generatedAtTime   "2011-07-16T01:52:02Z"^^xsd:dateTime;
   prov:wasGeneratedBy    :publicationActivity1123;
   prov:wasInfluencedBy   :aggregatedByRegions; ## This blog was influenced by Derek's data analysis.
   prov:hadPrimarySource  :crimeData;           ## Derek's blog derives from the crime data originally
                                                ## gathered by the government.
   prov:invalidatedAtTime "2011-07-16T02:02:02Z"^^xsd:dateTime;
.

:publicationActivity1123 
   a prov:Activity;
   prov:startedAtTime     "2011-07-16T01:01:01Z"^^xsd:dateTime;
   prov:wasStartedBy      :derek;
   prov:wasAssociatedWith :postEditor;
   prov:generated         :post9821v1;
   prov:endedAtTime       "2011-07-16T01:52:02Z"^^xsd:dateTime;
   prov:wasEndedBy        :derek;
.

:aggregatedByRegions
   a prov:Entity;
   prov:atLocation <file://Users/aggr.txt>;
.
<file://Users/aggr.txt> a prov:Location .

:crimeData
   a prov:Entity;
   prov:wasAttributedTo :government;
.
:government 
   a prov:Organization, prov:Agent;
.

## Version 2 of the post

:post9821v2
   a sioc:Post, prov:Entity;
   prov:specializationOf :more-crime-happens-in-cities; ## PERMALINK to the latest revision.
   prov:value            "I was curious...";            ## The text of this version (with fixed typo).
   prov:generatedAtTime  "2011-07-16T02:02:02Z"^^xsd:dateTime;
   prov:wasRevisionOf    :post9821v1;
   prov:alternateOf      :post9821v1;
.

:derekというエージェントは、再び:national_newspaper_incという組織の代理を務め、:postEditorというツールを用いて、最近のデータ分析である:aggregatedByRegionsに関する投稿を公開しました。ブログ編集ツールは、Derekの行動をPROV-O言明として追跡し、バンドル(現在のファイル<>)として公開しました。このツールは、:derekが:post9821v1という投稿を生成した公開活動(:publicationActivity1123)を開始し終了したことを記録しました。投稿には、現在のバージョンのテキストのスナップショット(prov:valueを用いて)に加えて、最新バージョンのコンテンツを利用できるパーマネント・リンク(:more-crime-happens-in-cities)が含まれました。Derekは、タイトルなど、付加的な領域固有の投稿の記述も含みました。

Derekは、投稿を公開した直後に解説文の誤植に気づきました。修正は最小限であろうと思われたため、彼は新しいバージョンに至った活動について記録しませんでした。代わりに、彼は新しいバージョン(:post9821v2)を前のバージョン(:post9821v1)の改訂として関連付けました。ブログは、いずれのバージョンも長年にわたるブログのパーマ・リンクである:more-crime-happens-in-citiesという形式であるため、改訂は互いの代替であり、それぞれは:more-crime-happens-in-citiesのprov:specializationOf(特化)です。

。

のPROV-O言明を図示したもの。Derekは、

2つのバージョンのブãƒã‚°ã‚’National Newspaper, Incに公開しました。

このドã‚ュメントの図では、エンティティーを黄色の楕円、活動を青い長方形、

エージェントをオレンジ色の五角形で示しています。責任のプãƒãƒ‘ティーはピンクで表しています。

Derekがブログの投稿を公開した直後に、Monicaは、より多くの読者のために、その文を新しい投稿(:post9822)で作り替えました。この書き直しは、Derekが書いたのと同じトピックの代替の短縮されたビューで、元の文から作成されました。DerekとMonicaの活動によって生成された来歴は異なるユーザーのビューに対応していたため、システムはそれを自動的に異なるprov:Bundleで公開しました。また、このツールは、それが生成したバンドルに関する来歴(例えば、作成日、作成者、およびDerekのバンドルが用いられたという事実)を言明しました。バンドルはエンティティーの一種であるため、エンティティーに関して作成できるすべての来歴の言明をバンドルに関しても作成できます。バンドルを用いると、来歴の来歴を作成できます。

例3:

@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix sioc: <http://rdfs.org/sioc/ns#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://www.example.org#> .
@base         <http://www.example.com/monica-bundle.ttl> .

<>
   a prov:Bundle, prov:Entity;
   prov:wasAttributedTo :postEditor;
   prov:wasDerivedFrom  <http://www.example.com/derek-bundle.ttl> .
   prov:generatedAtTime "2011-07-16T03:03:03Z"^^xsd:dateTime;
.

:monica
   a prov:Person, prov:Agent;
   foaf:givenName "Monica";
   foaf:mbox      <mailto:monica@example.org>;
.

## Revised post for a different audience is a new resource.

:post9822
   a sioc:Post, prov:Entity;
   sioc:title "More crime happens in cities (for dummies)";
   prov:wasAttributedTo  :monica,
                         :postEditor;
   prov:alternateOf      :more-crime-happens-in-cities;    ## This post is an alternate of Derek's blog.
   prov:value            "A quick overview of Derek's..."; ## Snapshot with the content of this version
   prov:wasRevisionOf    :post9821v2;                      ## Monica rewrote Derek's version 2 to create hers.
.

しばらくして、Johnは以前の2つの投稿を引用して彼自身の投稿(:post19201)に自分の結論を書きました。Johnが作成する個々の引用(:quote_from_monicaと:quote_from_derek)は、前のブログから派生した新しいエンティティーであり、引用が行われた時間でアノテーションが付与されています。Johnのブログの来歴は、彼の投稿がDerekとMonicaから行った引用の結果であると述べています。ブログの投稿は、Derekの:aggregatedByRegionsというデータセットからも派生しています。なぜならば、Johnがそれを調べて、彼がブログで論じている懸案事項を発見したためです。Johnの投稿に関するすべての来歴のステートメントは、新しいprov:Bundleにグループ化されます。

例4:

@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix sioc: <http://rdfs.org/sioc/ns#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://www.example.org#> .
@base         <http://www.example.com/john-bundle.ttl> .

<> 
   a prov:Bundle, prov:Entity;
   prov:wasAttributedTo :postEditor;
   prov:wasDerivedFrom <http://www.example.com/derek-bundle.ttl>,
                       <http://www.example.com/monica-bundle.ttl>;
   prov:generatedAtTime "2012-08-08T08:08:08Z"^^xsd:dateTime;
.

:publicationActivity1124
   a prov:Activity;
   prov:wasAttributedTo :postEditor,
                        :john;
   prov:generated :post19201;
.

:post19201
   a sioc:Post, prov:Entity;
   prov:wasAttributedTo :john;
   prov:value "I'm not so sure that...";
   prov:wasDerivedFrom :quote_from_derek,
                       :quote_from_monica,
                       :aggregatedByRegions;
   prov:wasGeneratedBy :publicationActivity1124;
.

:john 
   a prov:Person, prov:Agent;
   foaf:name "John";
.

:quote_from_derek
   a prov:Entity;
   prov:value "Analysis of the datasets demonstrates that there is more crime.";
   prov:wasQuotedFrom   :more-crime-happens-in-cities;
   prov:generatedAtTime "2012-08-08T01:01:01Z"^^xsd:dateTime;
.
   
:quote_from_monica
   a prov:Entity;
   prov:value "In summary, there are clearly more crimes in the country.";
   prov:wasQuotedFrom   :post9822;
   prov:generatedAtTime "2012-08-08T02:02:02Z"^^xsd:dateTime;
.

残念ながら、:post19201が保存されていたサーバーに問題があり、投稿に関連付けられていたすべてのデータが永久に失われました。したがって、システムはエンティティーを自動的に無効にし、Johnにエラーを通知しました。

例5:

@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix sioc: <http://rdfs.org/sioc/ns#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.org#> .

:post19201
   a sioc:Post, prov:Entity;
   prov:invalidatedAtTime "2012-09-02T01:31:00Z"^^xsd:dateTime;
   prov:wasInvalidatedBy :hard_disk_failure;
.

:hard_disk_failure
   a prov:Activity;
   prov:endedAtTime "2012-09-02T01:31:00Z"^^xsd:dateTime;
.

修飾付き用語のカテゴリーは、開始点のカテゴリーと拡張されたカテゴリーで利用できるシンプルな(修飾のない)関係に修飾パターン[LD-Patterns-QR]を適用した結果です。このカテゴリーの用語は、エンティティー、活動、エージェント間の来歴に関する影響の詳細を提供したいユーザーのためのものです。

修飾パターンは、2つの資源間の影響を表す中間クラスを用いて、修飾のない影響関係を言い換えます。次に、この新しいインスタンスに、ある資源が別の資源に与えた影響に関する追加の記述でアノテーションを付与することができます。次の2つの表に、修飾パターンを用いて修飾できる影響関係を、それを修飾するために用いるプロパティーとともに挙げています。例えば、最初の表の2行目は、prov:Activityが特定のprov:Entityをどのようにprov:used(用いたか)を詳細化するために、prov:entityというプロパティーを持つ影響を与えるエンティティーを示すprov:Usageのインスタンスを作成するということを示しています。一方、影響を受けるprov:Activityは、prov:qualifiedUsageというプロパティーを持つprov:Usageを示します。エンティティーの活動の使用を修飾する結果の構造を、下記の図4aで図示しています。

修飾パターンを用いて、7つの開始点の関係を詳細に記述できます。それらを次の規範的な表に挙げています。

7つの拡張された関係は、修飾パターンを用いて詳細に記述できます。それらを次の規範的な表に挙げています。

前の2つの表で示している修飾のクラスとプロパティーは、このドキュメントの次の項の規範的な相互参照にもあります。すべての影響のクラス(例えば、prov:Association、prov:Usage)は、prov:Influenceと、prov:EntityInfluence、prov:ActivityInfluence、prov:AgentInfluenceのいずれかの拡張であり、これは、影響を与える資源(それぞれprov:entity、prov:activity、またはprov:agentのいずれか)を引用するために用いるプロパティーを決定します。prov:Influenceは広い関係であるため、適用できる場合は、その最も特定的なサブクラス(例えば、prov:Communication、prov:Delegation、prov:End、prov:Revisionなど)を用いるべきです。

例6:

例えば、修飾のないステートメントの場合:

:e1 
   a prov:Entity;
   prov:wasGeneratedBy :a1;
.

:a1 a prov:Activity .

prov:wasGeneratedByは、prov:qualifiedGenerationという修飾プロパティー、prov:Generationというクラス(prov:ActivityInfluenceのサブクラス)、およびprov:activityというプロパティーを用いて修飾できることがわかります。このことから、上記の影響関係は次のような修飾パターンで言い換えることができます。

例7:

:e1 
   a prov:Entity;
   prov:wasGeneratedBy      :a1;
   prov:qualifiedGeneration :e1Gen; # Add the qualification.
.

:e1Gen 
   a prov:Generation;
   prov:activity            :a1;    # Cite the influencing Activity.
   ex:foo                   :bar;   # Describe the Activity :a1's influence upon the Entity :e1.
.

:a1 a prov:Activity .

したがって、言明者は、:e1Genに追加のプロパティーを付加して、:a1による:e1の生成を記述できます。

この例からわかるように、影響関係を修飾すると、同等の影響関係(例えば、:e1 prov:wasGeneratedBy :a1)を表すための2番目の形式(例えば、:e1 prov:qualifiedGeneration :e1Gen)が提供されます。実装者が、修飾付きまたは修飾のない形式のいずれか(または、その両方)を好きなように用いることは正しく、受け入れられることであり、利用するアプリケーションは、いずれかの形式を認識できるように準備すべきです。利用するアプリケーションは、修飾付きの形式と修飾のない形式の両方を認識し、修飾付きの形式を、修飾のない形式を暗示するものとして扱うべきです(should)。修飾形式の方が冗長であるため、追加のプロパティーが提供されていない場合は修飾のない形式を優先すべきです。修飾付きの形式で表されている場合、同等の修飾のない形式を含めるとPROV-Oの利用が促進されるため、推奨されます。

前の2つの表に加えて、図4は、14の修飾可能な影響関係のうち10に修飾パターンを適用するために必要なクラスとプロパティーを図示しています。例えば、prov:usedの関係を修飾するためにはprov:qualifiedUsage、prov:Usage、prov:entityを用いますが、prov:wasAssociatedWithの関係を修飾するためにはprov:qualifiedAssociation、prov:Association、prov:agentを用います。このパターンは、その他の12の修飾可能な影響関係に適用されます。

部分図aでは、prov:qualifiedUsageというプロパティーはprov:usedというプロパティーに対応しており、prov:Usageのインスタンスを参照しています。これにより、活動とエンティティーとの間のprov:usedの関係の特性が提供されます。prov:entityというプロパティーは、活動が用いたエンティティーを引用するために用います。この場合、活動がエンティティーを用いた時間は、prov:atTimeというプロパティーとxsd:dateTimeというリテラル値を用いて提供されます。prov:atTimeというプロパティーは、prov:InstantaneousEvent(prov:Start、prov:Generation、prov:Usage、prov:Invalidation、prov:Endを含む)を記述するために使用できます。

同様に、部分図jでは、prov:qualifiedAssociationというプロパティーはprov:wasAssociatedWithというプロパティーに対応しており、prov:Associationのインスタンスを参照しています。これにより、活動とエージェントとの間のprov:wasAssociatedWithの関係の特性が提供されます。prov:agentというプロパティーは、活動に影響を与えたエージェントを引用するために用いられます。この場合、エージェントが目標を達成するために用いた行動とステップの計画は、prov:hadPlanというプロパティーとprov:Planのインスタンスを用いて提供されます。さらに、prov:hadRoleというプロパティーとprov:Roleというクラスを用いて、エージェントが活動に関して提供した機能を記述できます。prov:Planとprov:Roleは両方とも、アプリケーションによる拡張に委ねられています。

:

と

影響関係(

)を修飾するために用いるプãƒãƒ‘ティーとクラス(

)の図。

このドã‚ュメントの図では、エンティティーを楕円形、活動を長方形、エージェントを五角形で示しています。

、

、および

(PrimarySource)は、特殊な形式の

であり、部分図の

と同じパターンに従うため、省略しています。

次の2つの例は、3.1項のグラフ作成例に使用(Usage)と関連付け(Association)のパターンを適用した結果を示しています。

例8:

修飾付き使用

prov:qualifiedUsageというプロパティーは、prov:usedというプロパティーに対応し、:illustrationActivityに追加の記述を提供します。prov:Usageのインスタンスは、用いられたデータ(:aggregatedByRegions)と、活動がそれを用いた時間(2011-07-14T03:03:03Z)を引用しています。

@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.org#> .

:illustrationActivity 
   a prov:Activity;                ## Using Starting Point terms,
   prov:used :aggregatedByRegions; ##   the illustration activity used the aggregated data (to create the bar chart).
.

:aggregatedByRegions a prov:Entity .

:illustrationActivity      
   prov:qualifiedUsage [                                ## Qualify how the :illustrationActivity
      a prov:Usage;                                     ##   used
      prov:entity :aggregatedByRegions;                 ##     the Entity :aggregatedByRegions

      prov:atTime "2011-07-14T03:03:03Z"^^xsd:dateTime; ## Qualification: The aggregated data was used 
                                                        ##   at a particular time to create the bar chart..
   ];
.

例9:

修飾付き関連付け

prov:qualifiedAssociationというプロパティーは、prov:wasAssociatedWithというプロパティーに対応し、Derekが影響を与えた:illustrationActivityに関する追加の記述を提供します。prov:Associationのインスタンスは、指示(:tutorial_blog)に従った、影響を与えるエージェント(:derek)を引用しています。さらに、Derekは活動中に:illustrationistの役割を果たしました。

@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.org#> .

:illustrationActivity
   a prov:Activity;                ## Using Starting Point terms,
   prov:wasAssociatedWith :derek;  ##   the illustration activity was associated with Derek in some way.
.

:derek a prov:Agent .

:illustrationActivity
   prov:qualifiedAssociation [       ## Qualify how the :illustrationActivity
      a prov:Association;            ##   was associated with
      prov:agent   :derek            ##     the Agent Derek.

      prov:hadRole :illustrationist; ## Qualification: The role that Derek served.
      prov:hadPlan :tutorial_blog;   ## Qualification: The plan (or recipe, instructions)
                                     ##   that Derek followed when creating the graphical chart.
   ];
.

:tutorial_blog   a prov:Plan, prov:Entity .
:illustrationist a prov:Role .

この項は、3.1項のグラフ作成例に適用される、あと2つの修飾の例で終了します。

例10:

修飾付き生成

prov:qualifiedGenerationというプロパティーは、prov:wasGeneratedByというプロパティーに対応し、:bar_chartに追加の記述を提供します。prov:Generationのインスタンスは、活動(:illustrationActivity)がグラフ(:bar_chart)を生成した時間(2011-07-14T15:52:14Z)を引用しています。

@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.org#> .

:bar_chart
   a prov:Entity;                              ## Using Starting Point terms,
   prov:wasGeneratedBy :illustrationActivity;  ##   the chart was generated in an illustration activity.
.

:illustrationActivity a prov:Activity .

:bar_chart
   prov:qualifiedGeneration [                           ## Qualify how the :bar_chart
      a prov:Generation;                                ##   was generated by
      prov:activity :illustrationActivity;              ##     the Activity :illustrationActivity.

      prov:atTime "2011-07-14T15:52:14Z"^^xsd:dateTime; ## Qualification: The Activity generated
                                                        ##   the bar_chart at a particular time.
   ];
.

例11:

修飾付き派生

prov:qualifiedDerivationというプロパティーは、prov:wasDerivedFromというプロパティーに対応し、:bar_chartに追加の記述を提供します。prov:Derivationのインスタンスは、活動(:illustrationActivity)と、活動が:bar_chartの作成を導いた使用(Usage)と生成(Generation)を引用しています。

@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.org#> .

:bar_chart
   a prov:Entity;                             ## Using Starting Point terms,
   prov:wasDerivedFrom :aggregatedByRegions;  ##   the chart was derived from the aggregated dataset.
.

:aggregatedByRegions a prov:Entity .

:bar_chart
   prov:qualifiedDerivation [                      ## Qualify
      a prov:Derivation;                           ##   how :bar_chart was derived from
      prov:entity        :aggregatedByRegions;     ##     the dataset Entity :aggregatedByRegions.

      prov:hadActivity   :aggregating_activity;    ## Qualification: The activity that derived the :bar_chart.
      prov:hadUsage      :use_of_aggregatedData;   ## Qualification: How the activity used :aggregatedByRegions.
      prov:hadGeneration :generation_of_bar_chart; ## Qualification: How the activity generated the :bar_chart.
   ];
.

この項では、PROVオントロジーで定義されている個々のクラスとプロパティーの詳細を、上記のカテゴリーでグループ化して提供します。

• 開始点の用語
• 拡張された用語
• 修飾付き用語

上付き文字の^opと^dpは、プロパティーがそれぞれOWLのオブジェクト・プロパティーまたはデータ・プロパティーであることを示します。

この相互参照の個々のPROV-O用語は、対応するPROV-DMの概念にリンクしています。PROV-DMの表であるPROV-OとPROV-Nへの相互参照は、PROV-OとPROV-DMの間の対応の概要を提供しています。

前項の表2と表3で示している修飾のクラスとプロパティーは、この相互参照の各エントリーにもあります。プロパティーを修飾できる場合、その～で修飾できる(can be qualified with)というヘッダーは、用いるべき修飾プロパティーと影響のクラスを示します。逆に、修飾用語のリストの～を修飾する(qualifies)ヘッダーは、それが修飾する修飾のないプロパティーを示します。OWLファイル自体では、アノテーション・プロパティーであるprov:qualifiedFormとprov:unqualifiedFormは、修飾のないプロパティーと修飾をする用語との間で同じリンクを提供します。

この相互参照で示している例のほとんどは、TurtleのRDFシリアル化を用いてエンコードしています。そうするのが便利な場合は(例えば、例でprov:Bundleを記述する場合)、[TRIG]構文を使用できます。このドキュメントでは、RDFでバンドルをエンコードする方法を規定していませんが、TriGの名前付きグラフ構成子を、名前付きPROV言明の作成の概念を説明するためにのみ用いています。すべての例は非規範的であることに注意してください。

他のすべてのPROV-O用語の基礎を提供するクラスとプロパティーに関しては、3.1項で論じています。

IRI:http://www.w3.org/ns/prov#Entity

エンティティーとは、物理的なもの、デジタルのもの、概念的なもの、またはその他の固定された側面を持つ種類のもので、エンティティーは実在するものまたは架空のものでありえます。

@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix prov:    <http://www.w3.org/ns/prov#> .
@prefix :        <http://example.com/> .

:bar_chart 
   a prov:Entity;
   dcterms:title "Aggregated statistics from the crime file"^^xsd:string;
   prov:wasAttributedTo :derek;
.

:derek a prov:Agent .

～のプロパティーで記述:

prov:invalidatedAtTime ^dp , prov:wasAttributedTo ^op , prov:qualifiedGeneration ^op , prov:wasGeneratedBy ^op , prov:wasDerivedFrom ^op , prov:specializationOf ^op , prov:qualifiedDerivation ^op , prov:qualifiedInvalidation ^op , prov:generatedAtTime ^dp , prov:qualifiedQuotation ^op , prov:hadPrimarySource ^op , prov:qualifiedPrimarySource ^op , prov:alternateOf ^op , prov:value ^dp , prov:wasInvalidatedBy ^op , prov:qualifiedAttribution ^op , prov:wasQuotedFrom ^op , prov:qualifiedRevision ^op , prov:wasRevisionOf ^op

prov:wasInfluencedBy ^op , prov:qualifiedInfluence ^op , prov:atLocation ^op

～の値域にある

prov:hadPrimarySource ^op prov:generated ^op prov:wasDerivedFrom ^op prov:entity ^op prov:specializationOf ^op prov:invalidated ^op prov:used ^op prov:hadMember ^op prov:alternateOf ^op prov:wasStartedBy ^op prov:wasQuotedFrom ^op prov:wasEndedBy ^op prov:wasRevisionOf ^op

～のサブクラスを持つ

prov:Collection , prov:Plan , prov:Bundle

PROV-DM用語

entity

IRI:http://www.w3.org/ns/prov#Activity

活動とは、一定期間にわたって発生し、エンティティーに対して、またはエンティティーを用いて行うものです。エンティティーの利用、処理、変換、変更、再配置、使用、または生成が含まれる場合があります。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .
:graduation
   a prov:Activity, :Graduation;
   prov:startedAtTime "2012-04-15T13:00:00-04:00"^^xsd:dateTime;
   prov:used          :ms_smith;
   prov:generated     :doctor_smith;
   prov:endedAtTime   "2012-04-15T14:30:00-04:00"^^xsd:dateTime;
.
:ms_smith     a prov:Entity .
:doctor_smith a prov:Entity .

～のプロパティーで記述:

prov:generated ^op , prov:qualifiedAssociation ^op , prov:wasAssociatedWith ^op , prov:qualifiedEnd ^op , prov:wasEndedBy ^op , prov:qualifiedUsage ^op , prov:used ^op , prov:invalidated ^op , prov:endedAtTime ^dp , prov:qualifiedStart ^op , prov:wasInformedBy ^op , prov:wasStartedBy ^op , prov:startedAtTime ^dp , prov:qualifiedCommunication ^op

prov:wasInfluencedBy ^op , prov:qualifiedInfluence ^op , prov:atLocation ^op

～の値域にある

prov:activity ^op prov:wasInformedBy ^op prov:wasGeneratedBy ^op prov:hadActivity ^op prov:wasInvalidatedBy ^op

PROV-DM用語

Activity

IRI:http://www.w3.org/ns/prov#wasGeneratedBy

生成とは、活動による新しいエンティティーの作成が完了することです。このエンティティーは生成前には存在しなかったもので、この生成の後に使用可能になります。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:bar_chart
   a prov:Entity;
   prov:wasGeneratedBy :illustrating;
.

:illustrating a prov:Activity .

IRI:http://www.w3.org/ns/prov#wasDerivedFrom

派生とは、エンティティーを別のものに変換すること、エンティティーを更新して新しいものを作成すること、または既存のエンティティーに基づいて新しいエンティティーを構築することです。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix ex:   <http://example.com/vocab#> .
@prefix :     <http://example.com/> .

:bar_chart 
   a prov:Entity, ex:Barchart;
   prov:wasDerivedFrom :aggregatedByRegions;
.

:aggregatedByRegions
   a prov:Entity, ex:Dataset;
.

IRI:http://www.w3.org/ns/prov#wasAttributedTo

帰属とは、エンティティーをエージェントに帰することです。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:geneSequencing
   a prov:Activity;
   prov:startedAtTime "2012-04-25T01:30:00Z"^^xsd:dateTime;
   prov:used              :drosophilaSample-84;
   prov:wasAssociatedWith :lab-technician-GH-32;
   prov:endedAtTime   "2012-04-25T03:40:00Z"^^xsd:dateTime;
.

:drosophilaSample-84  
   a prov:Entity;
   prov:wasAttributedTo :lab-technician-FE-56;
.

:lab-technician-GH-32 a prov:Agent .
:lab-technician-FE-56 a prov:Agent .

IRI:http://www.w3.org/ns/prov#startedAtTime

開始とは、きっかけと呼ばれる、エンティティーによって活動が開始されたと見なされる時のことです。活動は開始前には存在していませんでした。活動に伴う使用、生成、または無効化は、活動の開始後に行われます。開始は、活動を開始するきっかけのエンティティーを指す場合と、スターターと呼ばれる、きっかけを生成した活動を指す場合があります。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:geneSequencing
   a prov:Activity;
   prov:startedAtTime "2012-04-25T01:30:00Z"^^xsd:dateTime;
   prov:used              :drosophilaSample-84;
   prov:wasAssociatedWith :lab-technician-GH-32;
   prov:endedAtTime   "2012-04-25T03:40:00Z"^^xsd:dateTime;
.

:drosophilaSample-84  a prov:Entity .
:lab-technician-GH-32 a prov:Agent .

IRI:http://www.w3.org/ns/prov#used

使用とは、活動によるエンティティーの利用の開始です。使用前は、活動はこのエンティティーの使用を開始しておらず、エンティティーの影響を受けることはありませんでした。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:sortActivity
   a prov:Activity;
   prov:atTime     "2011-07-16T01:52:02Z"^^xsd:dateTime;
   prov:used       :datasetA;
   prov:generated  :datasetB;
.

:datasetA a prov:Entity.
:datasetB a prov:Entity.

# See qualified Usage for example on how the role of :datasetA can be described for this Activity

IRI:http://www.w3.org/ns/prov#wasInformedBy

コミュニケーションとは、2つの活動によるエンティティーの交流です。一方の活動は、他方の活動によって生成されたエンティティーを用います。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:writing-celebrity-gossip 
   a prov:Activity;
   prov:wasInformedBy :voicemail-interception;
.

:voicemail-interception a prov:Activity .

IRI:http://www.w3.org/ns/prov#endedAtTime

終了とは、きっかけと呼ばれる、エンティティーによって活動が終了したと見なされる時のことです。活動は終了後に存在しなくなります。活動に伴う使用、生成、または無効化は、活動の終了前に行われます。終了は、活動を終了させたきっかけのエンティティーを指す場合と、エンダーと呼ばれる、きっかけを生成した活動を指す場合があります。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:geneSequencing
   a prov:Activity;
   prov:startedAtTime "2012-04-25T01:30:00Z"^^xsd:dateTime;
   prov:used              :drosophilaSample-84;
   prov:wasAssociatedWith :lab-technician-GH-32;
   prov:endedAtTime   "2012-04-25T03:40:00Z"^^xsd:dateTime;
.

:drosophilaSample-84  a prov:Entity .
:lab-technician-GH-32 a prov:Agent .

IRI:http://www.w3.org/ns/prov#wasAssociatedWith

活動の関連付けは、活動に関するエージェントへの責任の割り当てであり、エージェントがその活動で役割を持っていたことを示します。さらに、この活動のコンテキストで、ある目標を達成するためにエージェントが企図している計画を指定することも可能になります。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:illustrating
   a prov:Activity; 
   prov:wasAssociatedWith :derek;
.

:derek a prov:Person, prov:Agent, prov:Entity .

IRI:http://www.w3.org/ns/prov#actedOnBehalfOf

委任とは、代理人または代表者として特定の活動を実行するための権限と責任をエージェント(自身または別のエージェントによる)に割り当てることであり、代理を務めるエージェントは委託された作業の結果に対する責任を負います。例えば、学生は指導教官の代理を務め、指導教官は学部長の代理を務め、学部長は大学の代理を務めます。これらのエージェントはすべて、行われた活動に対して何らかの形で責任を負いますが、誰がどの程度の責任を負うのかは明示的に述べません。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:derek
   a prov:Agent;
   foaf:givenName "Derek"^^xsd:string;
   foaf:mbox      <mailto:derek@example.org>;
   prov:actedOnBehalfOf :national_newspaper_inc; 
.

:national_newspaper_inc 
   a prov:Agent, prov:Organization;
   foaf:name "National Newspaper, Inc.";
.

開始点のクラス間の関係を記述するために用いる追加の用語に関しては、3.2項で論じています。

IRI:http://www.w3.org/ns/prov#Collection

コレクションとは、それ自体がエンティティーであるいくつかの構成要素に構造を提供するエンティティーです。これらの構成要素は、コレクションのメンバーであると考えられます。

@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .
@prefix prov:    <http://www.w3.org/ns/prov#> .
@prefix ex:      <http://example.com/ontology#> .
@prefix :        <http://example.com/> .

:todays-us-supreme-court
   a prov:Collection, :RobertsCourt;

   prov:qualifiedGeneration [
      a prov:Generation;
      
      # The generation is being qualified to be imprecise;
      # prov:generatedAtTime and prov:atTime specify exact instants in time.
      dcterms:date "2012"^^xsd:gYear; 
   ];                                 

   prov:hadMember
      <http://dbpedia.org/resource/John_Glover_Roberts,_Jr.>,
      <http://dbpedia.org/resource/Antonin_Scalia>, 
      <http://dbpedia.org/resource/Anthony_Kennedy>, 
      <http://dbpedia.org/resource/Clarence_Thomas>, 
      <http://dbpedia.org/resource/Ruth_Bader_Ginsburg>,
      <http://dbpedia.org/resource/Stephen_Breyer>,     
      <http://dbpedia.org/resource/Samuel_Alito>,      
      <http://dbpedia.org/resource/Sonia_Sotomayor>,  
      <http://dbpedia.org/resource/Elena_Kagan>;   

   prov:wasDerivedFrom :the-first-us-supreme-court;

   dcterms:description :copied-string;
.

:copied-string
   a prov:Entity;
   prov:value """2010?present: A. Scalia A. Kennedy C. Thomas R.B. Ginsburg 
                 S. Breyer S. Alito S. Sotomayor E. Kagan""";
   prov:wasQuotedFrom :page-by-composition;
.

:page-by-seat
   a prov:Entity, ex:WikipediaPage;
   prov:specializationOf <http://purl.org/twc/page/wikipedia/us-supreme-court-by-seat>;
   prov:generatedAtTime "2011-08-31T12:51:00"^^xsd:dateTime;
.

:page-by-composition
   a prov:Entity, ex:WikipediaPage;
   prov:specializationOf <http://purl.org/twc/page/wikipedia/us-supreme-court-by-composition>;
   prov:generatedAtTime "2012-05-16T14:33:00"^^xsd:dateTime;
.

～のサブクラスである

prov:Entity

～のプロパティーで記述:

prov:hadMember ^op

～のサブクラスを持つ

prov:EmptyCollection

PROV-DM用語

collection

IRI:http://www.w3.org/ns/prov#EmptyCollection

空のコレクションとは、メンバーのないコレクションです。

@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.org/> .

:c a prov:EmptyCollection . # The collection is believed to not contain members.

～のサブクラスである

prov:Collection

～のプロパティーで記述:

prov:hadMember ^op

IRI:http://www.w3.org/ns/prov#Bundle

バンドルは、名前付きの来歴記述であり、それ自体がエンティティーであるため、来歴の来歴を表現できます。

@prefix prov:    <http://www.w3.org/ns/prov#> .
@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
@prefix my:      <http://example.com/my#> .
@prefix :        <http://example.com/#> .
@base <http://www.example.com/example.ttl> .

<> # A provenance file located at http://www.example.com/example.ttl
   a prov:Bundle;
   prov:generatedAtTime "2012-05-24T09:30:00"^^xsd:dateTime;
   prov:wasAttributedTo :bob;
.

:report1
   a my:Report, prov:Entity;
   my:version "1";
   prov:generatedAtTime "2012-05-24T01:00:00"^^xsd:dateTime;
   prov:wasAttributedTo :bob;
.

～のサブクラスである

prov:Entity

PROV-DM用語

bundle-entity

IRI:http://www.w3.org/ns/prov#Person

人のエージェントは人です。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix :     <http://example.com/> .

<http://dbpedia.org/resource/Pablo_Picasso>
   a prov:Person, prov:Agent;
   foaf:depiction <http://upload.wikimedia.org/wikipedia/commons/9/98/Pablo_picasso_1.jpg>;
.

～のサブクラスである

prov:Agent

～のプロパティーで記述:

prov:qualifiedDelegation ^op , prov:actedOnBehalfOf ^op

PROV-DM用語

agent

IRI:http://www.w3.org/ns/prov#SoftwareAgent

ソフトウェアのエージェントはソフトウェアを実行します。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

# Googlebot is Google's web crawling bot; 
# it can initiate and participate in web-crawling activities.

:googlebot
   a prov:SoftwareAgent;
   rdfs:label "Googlebot"^^xsd:string;
.

～のサブクラスである

prov:Agent

～のプロパティーで記述:

prov:qualifiedDelegation ^op , prov:actedOnBehalfOf ^op

PROV-DM用語

agent

IRI:http://www.w3.org/ns/prov#Organization

組織とは、会社、社会などの社会的または法的な機関です。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix :     <http://example.com/> .

:W3C 
   a prov:Agent, prov:Organization;
   foaf:name "World Wide Web Consortium";
. 

～のサブクラスである

prov:Agent

～のプロパティーで記述:

prov:qualifiedDelegation ^op , prov:actedOnBehalfOf ^op

PROV-DM用語

agent

IRI:http://www.w3.org/ns/prov#Location

ロケーションは、識別可能な地理的な場所(ISO 19112)でありえますが、ディレクトリ、行、列などの地理的でない場所でもありえます。そのため、座標、住所、ランドマークなどによるものなど、場所を表現できる方法は数多くあります。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix sioc: <http://rdfs.org/sioc/ns#> .
@prefix :     <http://example.com/> .

# A Location can be a path or a geographical location.

:post9821 
   a prov:Entity, sioc:Post;   
   prov:wasGeneratedBy :publicationActivity1123;
   prov:atLocation     :more-crime-happens-in-cities;
   prov:qualifiedGeneration [
      a prov:Generation;
      prov:activity    :publicationActivity1123;
      prov:atTime     "2011-07-16T01:52:02Z"^^xsd:dateTime; 
      prov:atLocation <http://dbpedia.org/resource/Madrid>;
   ];
.

:publicationActivity1123      a prov:Activity.
:more-crime-happens-in-cities a prov:Location.
<http://dbpedia.org/resource/Madrid> a prov:Location. 

～の値域にある

prov:atLocation ^op

PROV-DM用語

attribute-location

IRI:http://www.w3.org/ns/prov#alternateOf

2つの代替エンティティーが同じものの複数の側面を示します。これらの側面は同じであっても異なっていてもよく、代替エンティティーは時間的に重なっていても重なっていなくてもよいです。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:bbc a prov:Agent .

:london_forecast_0412 
   a prov:Entity;
   prov:wasAttributedTo :bbc;
   prov:wasGeneratedBy [
      a prov:Activity;
      prov:endedAtTime "2012-04-12T00:00:00-04:00"^^xsd:dateTime;
   ];
   prov:alternateOf :london_forecast_0413;
.

:london_forecast_0413 
   a prov:Entity;
   prov:wasAttributedTo :bbc;
   prov:wasGeneratedBy [
      a prov:Activity;
      prov:endedAtTime "2012-04-13T00:00:00-04:00"^^xsd:dateTime;
   ];
   prov:alternateOf :london_forecast_0412;
.

## :london_forecast_0412 and :london_forecast_0413 are both 
## specialization of the more general entity :london_forecast

:london_forecast 
   a prov:Entity;
   prov:wasAttributedTo :bbc;
.

:london_forecast_0412
   prov:specializationOf :london_forecast;
.
:london_forecast_0413
   prov:specializationOf :london_forecast;
.

IRI:http://www.w3.org/ns/prov#specializationOf

別のものの特化であるエンティティーは、前者のすべての側面を共有し、前者と同じものに加えてより特定的な側面を示します。特に、特化となったエンティティーの存続期間には、特化の存続期間が含まれます。側面の例には、期間、抽象化、およびエンティティーに関連付けられたコンテキストが含まれます。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:london_forecast_0412 
   a prov:Entity;
   prov:wasAttributedTo :bbc;
   prov:wasGeneratedBy [
      a prov:Activity;
      prov:endedAtTime "2012-04-12T00:00:00-04:00"^^xsd:dateTime;
   ];
.

:london_forecast_0413 
   a prov:Entity;
   prov:wasAttributedTo :bbc;
   prov:wasGeneratedBy [
      a prov:Activity;
      prov:endedAtTime "2012-04-13T00:00:00-04:00"^^xsd:dateTime;
   ];
.

:london_forecast 
   a prov:Entity;
   prov:wasAttributedTo :bbc;
.

## :london_forecast_0412 and :london_forecast_0413 are both 
## specialization of the more general entity :london_forecast

:london_forecast_0412  
   prov:alternateOf      :london_forecast_0413;
   prov:specializationOf :london_forecast;
.

IRI:http://www.w3.org/ns/prov#generatedAtTime

生成とは、活動による新しいエンティティーの作成が完了することです。このエンティティーは生成前には存在しなかったもので、この生成の後に使用可能になります。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

# A widget was generated 1:35:23 PM on April 3, 2012 UTC

:widget-789532
   a prov:Entity;
   prov:generatedAtTime "2012-04-03T13:35:23Z"^^xsd:dateTime;
.

# The above statement is equivalent to:
# :widget-789532 prov:qualifiedGeneration [ prov:atTime "2012-04-03T13:35:23Z"^^xsd:dateTime ] .

IRI:http://www.w3.org/ns/prov#hadPrimarySource

トピックの一次情報源は、トピックの研究の時点で、トピックに関する直接的な経験と知識を有するエージェントによって、後知恵の恩恵を受けずに作成されたものを指します。一次情報源は直接的であるがゆえに、二次情報源のフィルターでは捉えられない方法で「自明」です。そのため、二次情報源の信頼性を調査できるようにするためには、それが派生した一次情報源を参照することが重要です。一次情報源の関係は、一次情報源から二次資料を派生させるという特殊なケースです。一次資料の決定は解釈次第であり、アプリケーションの領域内で受け入れられている規則に従って行われるべきであると認識されています。

@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .
@prefix foaf:    <http://xmlns.com/foaf/0.1/> .
@prefix prov:    <http://www.w3.org/ns/prov#> .
@prefix lang:    <http://lexvo.org/id/iso639-3/> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix frbr:    <http://purl.org/vocab/frbr/core#> .
@prefix :        <http://example.com/> .

## Having an primary source is a particular case of derivation.

<http://www.gutenberg.org/ebooks/996>
   a prov:Entity, frbr:Work;
   dcterms:title          "Don Quixote";
   prov:wasAttributedTo   :ormsby;
   dcterms:language       lang:eng;
   prov:hadPrimarySource <http://cultura.linkeddata.es/BNE/resource/C1001/XX2197892>;
.

#### The English version book is a translation that is based on the original Spanish book

<http://cultura.linkeddata.es/BNE/resource/C1001/XX2197892>
    a prov:Entity, frbr:Work;
    prov:wasAttributedTo :cervantes;
    dcterms:language     lang:spa;
.

:cervantes
   a prov:Person;
   foaf:name "Miguel de Cervantes";
.

:ormsby
   a prov:Person;
   foaf:name "John Ormsby";
.

IRI:http://www.w3.org/ns/prov#value

エンティティーの直接表現である値を提供します。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:copied-string
   a prov:Entity;
   prov:value 
      """2010?present: A. Scalia A. Kennedy C. Thomas R.B. Ginsburg 
         S. Breyer S. Alito S. Sotomayor E. Kagan""";
   prov:wasQuotedFrom 
      <http://purl.org/twc/page/wikipedia/us-supreme-court-by-composition>;
.

IRI:http://www.w3.org/ns/prov#wasQuotedFrom

引用とは、元の著者かどうかに関わらず、誰かがテキストや画像などのエンティティー(の一部またはすべて)を繰り返すことです。引用は、派生の特殊なケースです。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:bl-dagstuhl
   a prov:Entity;

   prov:value """During the workshop, it became clear to me that the consensus
   based models (which are often graphical in nature) can not only be
   formalized but also be directly connected to these database focused
   formalizations. I just needed to get over the differences in syntax.
   This could imply that we could have nice way to trace provenance across
   systems and through databases and be able to understand the
   mathematical properties of this interconnection.""";

   prov:wasQuotedFrom <http://purl.org/twc/page/thoughts-from-the-dagstuhl-workshop>;
.

<http://purl.org/twc/page/thoughts-from-the-dagstuhl-workshop>
   a prov:Entity;
.

IRI:http://www.w3.org/ns/prov#wasRevisionOf

改訂とは、結果のエンティティーが元の改訂版である派生です。ここで暗示されているのは、結果のエンティティーに元の実質的な内容が含まれているということです。改訂は、派生の特殊なケースです。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix sioc: <http://rdfs.org/sioc/ns#> .
@prefix :     <http://example.com/> .

:post9821v1
   a prov:Entity, sioc:Post;
   prov:wasRevisionOf :post9821;
   rdfs:comment ":post9821v1 is a post, which is a revision of the original post :post9821.";
.    

IRI:http://www.w3.org/ns/prov#invalidatedAtTime

無効化とは、活動による既存のエンティティーの破棄、停止、または満了の開始です。無効化後、エンティティーは使用(または、さらなる無効化)できなくなります。エンティティーの生成や使用は、無効化の前に行われます。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix ex:   <http://example.com/ontology#> .
@prefix :     <http://example.com/> .

:the-Painter 
   a prov:Entity, ex:Painting;
   rdfs:label "Le Peintre"@fr, "The Painter"@en;
   prov:wasAttributedTo <http://dbpedia.org/resource/Pablo_Picasso>;
   prov:invalidatedAtTime "1998-09-02T01:31:00Z"^^xsd:dateTime;
.

IRI:http://www.w3.org/ns/prov#wasInvalidatedBy

無効化とは、活動による既存のエンティティーの破棄、停止、または満了の開始です。無効化後、エンティティーは使用(または、さらなる無効化)できなくなります。エンティティーの生成や使用は、無効化の前に行われます。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix :     <http://example.com/> .

:the-Painter 
   a prov:Entity, :Painting;
   rdfs:label "Le Peintre"@fr, "The Painter"@en;   prov:wasAttributedTo <http://dbpedia.org/resource/Pablo_Picasso>;
   prov:wasInvalidatedBy :Swissair_Flight_111_crash; #The painting was destroyed in an airplane crash
.

<http://dbpedia.org/resource/Pablo_Picasso> 
   a prov:Agent;
   foaf:depiction <http://upload.wikimedia.org/wikipedia/commons/9/98/Pablo_picasso_1.jpg>;
.

:Swissair_Flight_111_crash 
   a prov:Activity;
   prov:used <http://dbpedia.org/resource/Swissair_Flight_111>;
.

IRI:http://www.w3.org/ns/prov#hadMember

コレクションとは、それ自体がエンティティーであるいくつかの構成要素に構造を提供するエンティティーです。これらの構成要素は、コレクションのメンバーであると考えられます。

@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix prov:    <http://www.w3.org/ns/prov#> .
@prefix ex:      <http://example.com/ontology#> .
@prefix :        <http://example.com/> .

:todays-us-supreme-court
   a prov:Collection, ex:RobertsCourt;
   dcterms:description [
      a prov:Entity;
      prov:value """2010?present: A. Scalia A. Kennedy C. Thomas R.B. Ginsburg S. 
                  Breyer S. Alito S. Sotomayor E. Kagan""";
      prov:wasQuotedFrom :page-by-composition;
   ];
   prov:qualifiedGeneration [
      a prov:Generation;
      
      # Since we need to be imprecise, we can't use prov:generatedAtTime or prov:atTime
      dcterms:date "2012"^^xsd:gYear;
   ];

   prov:wasDerivedFrom :the-first-us-supreme-court;

   prov:hadMember
      <http://dbpedia.org/resource/John_Glover_Roberts,_Jr.>,
      <http://dbpedia.org/resource/Antonin_Scalia>, 
      <http://dbpedia.org/resource/Anthony_Kennedy>, 
      <http://dbpedia.org/resource/Clarence_Thomas>, 
      <http://dbpedia.org/resource/Ruth_Bader_Ginsburg>,
      <http://dbpedia.org/resource/Stephen_Breyer>,     
      <http://dbpedia.org/resource/Samuel_Alito>,      
      <http://dbpedia.org/resource/Sonia_Sotomayor>,  
      <http://dbpedia.org/resource/Elena_Kagan>;   
.

:page-by-seat
   a prov:Entity, ex:WikipediaPage;
   prov:specializationOf <http://purl.org/twc/page/wikipedia/us-supreme-court-by-seat>;
   prov:generatedAtTime "2011-08-31T12:51:00"^^xsd:dateTime;
.

:page-by-composition
   a prov:Entity, ex:WikipediaPage;
   prov:specializationOf <http://purl.org/twc/page/wikipedia/us-supreme-court-by-composition>;
   prov:generatedAtTime "2012-05-16T14:33:00"^^xsd:dateTime;
.

IRI:http://www.w3.org/ns/prov#wasStartedBy

開始とは、きっかけと呼ばれる、エンティティーによって活動が開始されたと見なされる時のことです。活動は開始前には存在していませんでした。活動に伴う使用、生成、または無効化は、活動の開始後に行われます。開始は、活動を開始するきっかけのエンティティーを指す場合と、スターターと呼ばれる、きっかけを生成した活動を指す場合があります。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

# Use prov:qualifiedStart to see when and where the activity was started

:experiment
   a prov:Activity;
   prov:wasStartedBy :researcher;
.

:researcher a prov:Agent .

IRI:http://www.w3.org/ns/prov#wasEndedBy

終了とは、きっかけと呼ばれる、エンティティーによって活動が終了したと見なされる時のことです。活動は終了後に存在しなくなります。活動に伴う使用、生成、または無効化は、活動の終了前に行われます。終了は、活動を終了させたきっかけのエンティティーを指す場合と、エンダーと呼ばれる、きっかけを生成した活動を指す場合があります。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:experiment 
   a prov:Activity;
   prov:wasEndedBy :inconsistentResult;
   prov:qualifiedEnd [
      a prov:End;
      prov:entity     :inconsistentResult;
      prov:atTime    "2011-07-16T01:52:02Z"^^xsd:dateTime;
      prov:atLocation :scienceLab_003;
   ];
.

:inconsistentResult a prov:Entity .
:scienceLab_003     a prov:Location .

IRI:http://www.w3.org/ns/prov#invalidated

無効化とは、活動による既存のエンティティーの破棄、停止、または満了の開始です。無効化後、エンティティーは使用(または、さらなる無効化)できなくなります。エンティティーの生成や使用は、無効化の前に行われます。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix ex:   <http://example.com/ontology#> .
@prefix :     <http://example.com/> .

:swissair_Flight_111_crash 
   a prov:Activity;
   prov:used        <http://dbpedia.org/resource/Swissair_Flight_111>;
   prov:invalidated :the-Painter;
.

:the-Painter 
   a prov:Entity, ex:Painting;
   rdfs:label "Le Peintre"@fr, "The Painter"@en;
   prov:wasAttributedTo <http://dbpedia.org/resource/Pablo_Picasso>;
   
   # Inferred from prov:invalidated
   prov:wasInvalidatedBy :swissair_Flight_111_crash;   
.

<http://dbpedia.org/resource/Pablo_Picasso> 
   a prov:Agent;
   foaf:depiction <http://upload.wikimedia.org/wikipedia/commons/9/98/Pablo_picasso_1.jpg>;
.

IRI:http://www.w3.org/ns/prov#influenced

影響とは、使用、開始、終了、生成、無効化、コミュニケーション、派生、帰属、関連付け、または委任という手段により、エンティティー、活動、またはエージェントが他のものの性質、発展、または行動に影響を与える能力です。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix w3:   <http://example.com/w3/> .
@prefix tr:   <http://example.com/tech-report/> .
@prefix :     <http://example.com/> .

# prov:influenced is a top-level property that links any
# Entity, Activity, or Agent to any other 
# Entity, Activity, or Agent that it had an effect upon.

w3:Consortium 
   a prov:Agent;
   prov:influenced tr:WD-prov-dm-20111215;
.

IRI:http://www.w3.org/ns/prov#atLocation

ロケーションは、識別可能な地理的な場所(ISO 19112)でありえますが、ディレクトリ、行、列などの地理的でない場所でもありえます。そのため、座標、住所、ランドマークなどによるものなど、場所を表現できる方法は数多くあります。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix sioc: <http://rdfs.org/sioc/ns#> .
@prefix :     <http://example.com/> .

# A Location can be a path or a geographical location.

:post9821 
   a prov:Entity, sioc:Post;   
   prov:wasGeneratedBy :publicationActivity1123;
   prov:atLocation     :more-crime-happens-in-cities;
   prov:qualifiedGeneration [
      a prov:Generation;
      prov:activity    :publicationActivity1123;
      prov:atTime     "2011-07-16T01:52:02Z"^^xsd:dateTime; 
      prov:atLocation <http://dbpedia.org/resource/Madrid>;
   ];
.

:publicationActivity1123      a prov:Activity .
:more-crime-happens-in-cities        a prov:Location .
<http://dbpedia.org/resource/Madrid> a prov:Location .

IRI:http://www.w3.org/ns/prov#generated

生成とは、活動による新しいエンティティーの作成が完了することです。このエンティティーは生成前には存在しなかったもので、この生成の後に使用可能になります。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:proteinDigestion
   a prov:Activity;
   prov:generated :peptideSample1;
.

:peptideSample1 a prov:Entity .

開始点のプロパティーと拡張されたプロパティーを修飾するために用いる用語に関しては、3.3項で論じています。

IRI:http://www.w3.org/ns/prov#Influence

影響とは、使用、開始、終了、生成、無効化、コミュニケーション、派生、帰属、関連付け、または委任という手段により、エンティティー、活動、またはエージェントが他のものの性質、発展、または行動に影響を与える能力です。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix my:   <http://example.com/ontology#> .
@prefix :     <http://example.com/> .

# Although a domain extension (e.g. ':wasConductedBy') is not defined by PROV-O,
# the relation between a surgery and an agent can still be qualified
# by reusing prov:Influence and one of its three subclasses 
# (depending on the type of influencer):
# AgentInfluence, EntityInfluence, and ActivityInfluence.

my:wasConductedBy rdfs:subPropertyOf prov:wasAssociatedWith .

:conductingSurgery_1
   a prov:Activity;
   
   # This unqualified influence is unknown in PROV, 
   # but would be a subproperty of wasAssociatedWith.
   my:wasConductedBy :bob;     
   
   # Even though PROV systems do not understand my:wasConductedBy, 
   prov:qualifiedAssociation [ 
      # they can recognize that the unknown relation 
      # is being qualified with a prov:hadRole.
      a prov:Association,     
        prov:AgentInfluence,   # Inferred
        prov:Influence;        # Inferred
      prov:agent   :bob;       # The object of my:wasConductedBy
      prov:hadRole my:surgeon;
   ];
.

:bob       a prov:Agent .
my:surgeon a prov:Role .

～のプロパティーで記述:

prov:influencer ^op , prov:hadRole ^op , prov:hadActivity ^op

～の値域にある

prov:qualifiedInfluence ^op

～のサブクラスを持つ

prov:ActivityInfluence , prov:AgentInfluence , prov:EntityInfluence

～を修飾する

prov:wasInfluencedBy ^op

PROV-DM用語

influence

IRI:http://www.w3.org/ns/prov#EntityInfluence

EntityInfluenceとは、使用、開始、終了、派生などの手段により、エンティティーが他のものの性質、発展、または行動に影響を与える能力です。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:sortActivity
   a prov:Activity;
   prov:used :rawData;
   prov:qualifiedUsage [
      a prov:Usage, 
        prov:EntityInfluence; ## Instances of Start, End, Usage, Derivation, and Invalidation
      prov:entity  :datasetA; ## qualify the influenced of an Entity (cited by prov:entity).
      prov:hadRole :inputToBeSorted;
   ];
   prov:generated :sortedData;
.

:rawData    a prov:Entity .
:sortedData a prov:Entity .

～のサブクラスである

prov:Influence

～のプロパティーで記述:

prov:entity ^op

prov:hadRole ^op , prov:influencer ^op , prov:hadActivity ^op

～のサブクラスを持つ

prov:End , prov:Start , prov:Usage , prov:Derivation

IRI:http://www.w3.org/ns/prov#Usage

使用とは、活動によるエンティティーの利用の開始です。使用前は、活動はこのエンティティーの使用を開始しておらず、エンティティーの影響を受けることはありませんでした。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:sortActivity 
   a prov:Activity;
   prov:startedAtTime  "2011-07-16T01:52:02Z"^^xsd:dateTime; 
   prov:qualifiedUsage [
      a prov:Usage;
      prov:entity    :datasetA;         ## The entity used by the prov:Usage
      prov:hadRole   :inputToBeSorted;  ## the role of the entity in this prov:Usage        
   ];
   prov:generated :datasetB;
.

:datasetA        a prov:Entity .
:datasetB        a prov:Entity .
:inputToBeSorted a prov:Role .

## The role of :datasetA cannot be expressed using only starting-point terms:

:sortActivity
   a prov:Activity;
   prov:startedAtTime     "2011-07-16T01:52:02Z"^^xsd:dateTime;
   prov:used       :datasetA;
   prov:generated  :datasetB;
.

～のサブクラスである

prov:InstantaneousEvent , prov:EntityInfluence

～のプロパティーで記述:

prov:atTime ^dp , prov:entity ^op

～の値域にある

prov:hadUsage ^op prov:qualifiedUsage ^op

～を修飾する

prov:used ^op

PROV-DM用語

Usage

IRI:http://www.w3.org/ns/prov#Start

開始とは、きっかけと呼ばれる、エンティティーによって活動が開始されたと見なされる時のことです。活動は開始前には存在していませんでした。活動に伴う使用、生成、または無効化は、活動の開始後に行われます。開始は、活動を開始するきっかけのエンティティーを指す場合と、スターターと呼ばれる、きっかけを生成した活動を指す場合があります。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

### Start can be used to qualify wasStartedBy with time and location information.
### In this example, a consistency checking activity is started by the update of a data record.

:consistency_checking
   a prov:Activity;
   prov:wasStartedBy :updated_data_record;
   prov:qualifiedStart [
      a prov:Start;
      prov:entity       :updated_data_record;
      prov:atTime       "2011-07-06T01:48:36Z"^^xsd:dateTime;
      prov:atLocation   :scienceLab_003;
      prov:hadActivity  :syntax_checking;
   ];
.

:updated_data_record a prov:Entity .

### There is an explicit process of checking the syntax of the updated data record

:syntax_checking
   a   prov:Activity ;
   prov:startedAtTime      "2011-07-06T01:48:36Z"^^xsd:dateTime;
   prov:endedAtTime        "2011-07-06T02:12:36Z"^^xsd:dateTime;
   prov:wasAssociatedWith  :syntax_checker ;
.

:syntax_checker   a   prov:SoftwareAgent .

～のサブクラスである

prov:InstantaneousEvent , prov:EntityInfluence

～のプロパティーで記述:

prov:hadActivity ^op

prov:atTime ^dp , prov:entity ^op

～の値域にある

prov:qualifiedStart ^op

～を修飾する

prov:wasStartedBy ^op

PROV-DM用語

Start

IRI:http://www.w3.org/ns/prov#End

終了とは、きっかけと呼ばれる、エンティティーによって活動が終了したと見なされる時のことです。活動は終了後に存在しなくなります。活動に伴う使用、生成、または無効化は、活動の終了前に行われます。終了は、活動を終了させたきっかけのエンティティーを指す場合と、エンダーと呼ばれる、きっかけを生成した活動を指す場合があります。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

### End can be used to qualify wasEndedBy with time and location information.
### In this example, an experiment is stopped because an intermediate inconsitent resul.

:experiment 
   a prov:Activity;
   prov:wasEndedBy :inconsistentResult;
   prov:qualifiedEnd [
      a prov:End;
      prov:entity       :inconsistentResult;
      prov:atTime       "2011-07-16T01:52:02Z"^^xsd:dateTime;
      prov:atLocation   :scienceLab_003;
      prov:hadActivity  :analyse_intermediate_result ; 
   ];
.
   
:inconsistentResult a prov:Entity .

### An implicit process analyzes the intermediate result to confirm its expected consistency

analyse_intermediate_result
   a   prov:Activity ;
   prov:startedAtTime   "2011-07-15T12:52:02Z"^^xsd:dateTime;
   prov:endedAtTime     "2011-07-16T01:52:02Z"^^xsd:dateTime;
.

～のサブクラスである

prov:InstantaneousEvent , prov:EntityInfluence

～のプロパティーで記述:

prov:hadActivity ^op

prov:atTime ^dp , prov:entity ^op

～の値域にある

prov:qualifiedEnd ^op

～を修飾する

prov:wasEndedBy ^op

PROV-DM用語

End

IRI:http://www.w3.org/ns/prov#Derivation

派生とは、エンティティーを別のものに変換すること、エンティティーを更新して新しいものを作成すること、または既存のエンティティーに基づいて新しいエンティティーを構築することです。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

# The simplest (and least detailed) form of derivation.
:bar_chart 
   a prov:Entity;
   prov:wasDerivedFrom :aggregatedByRegions;  
.

# The simple form can be accompanied by a qualified form:
# which provides more details about how :bar_chart was 
# derived from :aggregatedRegions.

:bar_chart
   a prov:Entity;
   
   prov:wasDerivedFrom :aggregatedByRegions;  
   prov:qualifiedDerivation [                  
      a prov:Derivation;                      
      prov:entity      :aggregatedByRegions;  
                          
      # Derivations can cite the influencing Activity in doing the derivation.
      prov:hadActivity   :create_the_chart;

      # They can also cite the Usage and Generation that the Activity 
      # performed to generate :bar_chart.
      prov:hadUsage      :data_loading;
      prov:hadGeneration :plot_the_chart;
   ];
.

### The process during which the chart was created, from loading the data to the software, to process the data and plot the chart.
### Additional metadata was recorded, like when it started (before the usage), ended (after the generation of the chart) and who was associated with it.

:create_the_chart 
   a prov:Activity;
   prov:wasAssociatedWith :derek;
   prov:startedAtTime "2012-04-03T00:00:00Z"^^xsd:dateTime;
   prov:endedAtTime "2012-04-03T00:00:10Z"^^xsd:dateTime;
.

### The final chart was plotted

:plot_the_chart
   a prov:Generation, prov:InstantaneousEvent;
   prov:atTime "2012-04-03T00:00:01Z"^^xsd:dateTime;
.

### The data was getting used to create the chart

:data_loading
   a prov:Usage;
   prov:atTime "2012-04-03T00:00:00Z"^^xsd:dateTime;
.

～のサブクラスである

prov:EntityInfluence

～のプロパティーで記述:

prov:hadUsage ^op , prov:hadGeneration ^op

prov:hadActivity ^op

prov:entity ^op

～の値域にある

prov:qualifiedDerivation ^op

～のサブクラスを持つ

prov:Revision , prov:PrimarySource , prov:Quotation

～を修飾する

prov:wasDerivedFrom ^op

PROV-DM用語

Derivation

IRI:http://www.w3.org/ns/prov#PrimarySource

トピックの一次情報源は、トピックの研究の時点で、トピックに関する直接的な経験と知識を有するエージェントによって、後知恵の恩恵を受けずに作成されたものを指します。一次情報源は直接的であるがゆえに、二次情報源のフィルターでは捉えられない方法で「自明」です。そのため、二次情報源の信頼性を調査できるようにするためには、それが派生した一次情報源を参照することが重要です。一次情報源の関係は、一次情報源から二次資料を派生させるという特殊なケースです。一次資料の決定は解釈次第であり、アプリケーションの領域内で受け入れられている規則に従って行われるべきであると認識されています。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:myPost 
   a prov:Entity;
   prov:hadPrimarySource :donQuixote;
   prov:qualifiedPrimarySource [
      a prov:PrimarySource;
      prov:entity :donQuixote;
      :confidenceValue "6"^^xsd:integer;
      rdfs:comment """Not sure if Don Quixote was the original source, 
                      so asserting a confidence value of 6 out of 10.""";
   ];
.

:donQuixote a prov:Entity.

～のサブクラスである

prov:Derivation

～のプロパティーで記述:

prov:hadGeneration ^op , prov:hadUsage ^op

～の値域にある

prov:qualifiedPrimarySource ^op

～を修飾する

prov:hadPrimarySource ^op

PROV-DM用語

primary-source

IRI:http://www.w3.org/ns/prov#Quotation

引用は、元の著者によるかどうかに関わらず、テキストや画像などのエンティティー(の一部またはすべて)の繰り返しです。引用は、派生の特殊なケースです。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix ex:   <http://example.com/vocab#> .
@prefix :     <http://example.com/> .

:dagstuhl-quote
   a prov:Entity;
   prov:value   "why would people record and share provenance in the first place?";
   prov:wasQuotedFrom <http://purl.org/twc/page/thoughts-from-the-dagstuhl-workshop>;
   prov:qualifiedQuotation [
      a prov:Quotation;
      prov:entity     <http://purl.org/twc/page/thoughts-from-the-dagstuhl-workshop>;
      ex:fromSection 2;
   ];
   prov:wasAttributedTo <http://data.semanticweb.org/person/luc-moreau>;
.

<http://purl.org/twc/page/thoughts-from-the-dagstuhl-workshop> 
   a prov:Entity;
   prov:wasAttributedTo <http://data.semanticweb.org/person/paul-groth>;
.

<http://data.semanticweb.org/person/luc-moreau> a prov:Person, prov:Agent .
<http://data.semanticweb.org/person/paul-groth> a prov:Person, prov:Agent .

～のサブクラスである

prov:Derivation

～のプロパティーで記述:

prov:hadGeneration ^op , prov:hadUsage ^op

～の値域にある

prov:qualifiedQuotation ^op

～を修飾する

prov:wasQuotedFrom ^op

PROV-DM用語

quotation

IRI:http://www.w3.org/ns/prov#Revision

改訂とは、結果のエンティティーが元の改訂版である派生です。ここで暗示されているのは、結果のエンティティーに元の実質的な内容が含まれているということです。改訂は、派生の特殊なケースです。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix ex:   <http://example.com/vocab#> .
@prefix :     <http://example.com/> .

:draft2 
   a prov:Entity;
   prov:wasRevisionOf    :draft1;
   prov:qualifiedRevision [
      a prov:Revision;
      prov:entity        :draft1;
      ex:peerReviewed     false;
   ];

   prov:wasAssociatedWith :edward;
   prov:qualifiedAssociation [
      a prov:Association;
      prov:agent          :edward;
      prov:hadRole        :editor;
   ];
.

:draft1 a prov:Entity .

:edward 
   a prov:Person, prov:Agent;
.

～のサブクラスである

prov:Derivation

～のプロパティーで記述:

prov:hadGeneration ^op , prov:hadUsage ^op

～の値域にある

prov:qualifiedRevision ^op

～を修飾する

prov:wasRevisionOf ^op

PROV-DM用語

revision

IRI:http://www.w3.org/ns/prov#ActivityInfluence

ActivitiyInfluenceとは、生成、無効化、コミュニケーションなどの手段により、活動が他のものの性質、発展、または行動に影響を与える能力です。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:bar_chart 
   a prov:Entity;
   prov:wasGeneratedBy      :illustrating;
   prov:qualifiedGeneration :making-bar-chart;
. 

:making-bar-chart
   a prov:Generation, 
     prov:ActivityInfluence;  ## Instances of Generation, Invalidation and Communication qualify
   prov:activity :illustrating; ## the influence of an Activity (cited by prov:activity)
   rdfs:comment "Ended up with bar chart as line chart looked ugly."@en;
.

:illustrating a prov:Activity .

～のサブクラスである

prov:Influence

～のプロパティーで記述:

prov:activity ^op

prov:hadRole ^op , prov:influencer ^op , prov:hadActivity ^op

～のサブクラスを持つ

prov:Generation , prov:Invalidation , prov:Communication

IRI:http://www.w3.org/ns/prov#Generation

生成とは、活動による新しいエンティティーの作成が完了することです。このエンティティーは生成前には存在しなかったもので、この生成の後に使用可能になります。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix bbc:  <http://www.bbc.co.uk/> .
@prefix eg:   <http://example.com/vocab#> .
@prefix :     <http://example.com/> .

:bbcNews2012-04-03 
   a prov:Entity, eg:DailyNews;
   rdfs:comment """The BBC news home page on 2012-04-03 contained a reference 
                   to a given news item, but the BBC news home page on 
                   the next day did not.""";

   prov:wasGeneratedBy :publishingActivity;
   prov:qualifiedGeneration [
      a prov:Generation, prov:InstantaneousEvent;
      prov:atTime "2012-04-03T00:00:01Z"^^xsd:dateTime;
      prov:activity :publishingActivity;
   ];
   prov:qualifiedInvalidation [
      a prov:Invalidation, prov:InstantaneousEvent;
      prov:atTime "2012-04-03T23:59:59Z"^^xsd:dateTime;
   ];
.

:publishingActivity 
   a prov:Activity;
.

～のサブクラスである

prov:InstantaneousEvent , prov:ActivityInfluence

～のプロパティーで記述:

prov:activity ^op , prov:atTime ^dp

～の値域にある

prov:hadGeneration ^op prov:qualifiedGeneration ^op

～を修飾する

prov:wasGeneratedBy ^op

PROV-DM用語

Generation

IRI:http://www.w3.org/ns/prov#Communication

コミュニケーションとは、2つの活動によるエンティティーの交流です。一方の活動は、他方の活動によって生成されたエンティティーを用います。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix ex:   <http://example.com/vocab#> .
@prefix :     <http://example.com/> .

:writing-celebrity-gossip 
   a prov:Activity;
   prov:wasInformedBy          :voicemail-interception;
   prov:qualifiedCommunication :informing-the-journalist;
.

:informing-the-journalist 
   a prov:Communication;
   prov:activity   :voicemail-interception;
   ex:mediaType "email";
.

:voicemail-interception a prov:Activity .

～のサブクラスである

prov:ActivityInfluence

～のプロパティーで記述:

prov:activity ^op

～の値域にある

prov:qualifiedCommunication ^op

～を修飾する

prov:wasInformedBy ^op

PROV-DM用語

Communication

IRI:http://www.w3.org/ns/prov#Invalidation

無効化とは、活動による既存のエンティティーの破棄、停止、または満了の開始です。無効化後、エンティティーは使用(または、さらなる無効化)できなくなります。エンティティーの生成や使用は、無効化の前に行われます。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix wgs:  <http://www.w3.org/2003/01/geo/wgs84_pos#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix :     <http://example.com/> .

:the-Painter 
   a prov:Entity, :Painting;
   rdfs:label "Le Peintre"@fr, "The Painter"@en;
   prov:wasAttributedTo <http://dbpedia.org/resource/Pablo_Picasso>;

   prov:wasInvalidatedBy :swissair_Flight_111_crash;
   prov:qualifiedInvalidation [
      a prov:Invalidation;
      prov:activity    :swissair_Flight_111_crash;
      prov:atTime      "1998-09-02T01:31:00Z"^^xsd:dateTime;
      prov:atLocation  <http://purl.org/twc/location/Swissair-Flight-111-crash>;
   ];
. 

<http://purl.org/twc/location/Swissair-Flight-111-crash>
   a prov:Location;
   wgs:lat   44.409167;
   wgs:long -63.973611;
.

<http://dbpedia.org/resource/Pablo_Picasso> 
   a prov:Agent;
   foaf:depiction <http://upload.wikimedia.org/wikipedia/commons/9/98/Pablo_picasso_1.jpg>;
.

:swissair_Flight_111_crash 
   a prov:Activity;
   prov:used          <http://dbpedia.org/resource/Swissair_Flight_111>;
   prov:startedAtTime "1998-09-02T01:31:00Z"^^xsd:dateTime;
   prov:atLocation    <http://dbpedia.org/resource/Atlantic_ocean>;
.

～のサブクラスである

prov:InstantaneousEvent , prov:ActivityInfluence

～のプロパティーで記述:

prov:activity ^op , prov:atTime ^dp

～の値域にある

prov:qualifiedInvalidation ^op

～を修飾する

prov:wasInvalidatedBy ^op

PROV-DM用語

Invalidation

IRI:http://www.w3.org/ns/prov#AgentInfluence

AgentInfluenceは、帰属、関連付け、委任などの手段により、エージェントが他のものの性質、発展、または行動に影響を与える能力です。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:illustrating
    a prov:Activity; 
    prov:wasAssociatedWith :derek;
    prov:qualifiedAssociation [
       a prov:Association, 
         prov:AgentInfluence; ## Instances of Generation, Invalidation and Communication qualify
       prov:agent   :derek;   ## the influence of an Agent (cited by prov:agent)
       prov:hadRole :illustrationist
    ];
.

:derek a prov:Person, prov:Agent, prov:Entity .

:illustratonist a prov:Role .

～のサブクラスである

prov:Influence

～のプロパティーで記述:

prov:agent ^op

prov:hadRole ^op , prov:influencer ^op , prov:hadActivity ^op

～のサブクラスを持つ

prov:Delegation , prov:Association , prov:Attribution

IRI:http://www.w3.org/ns/prov#Attribution

帰属とは、エンティティーをエージェントに帰することです。エンティティーeがエージェントagに帰属している場合、エンティティーeは、エージェントagに関連付けられた不特定の活動によって生成されました。したがって、この関係は、活動が不明または無関係の場合に役立ちます。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix ex:   <http://example.com/vocab#> .
@prefix :     <http://example.com/> .

<http://dbpedia.org/resource/Fallingwater>
   a prov:Entity;
   prov:wasAttributedTo <http://dbpedia.org/resource/Edgar_J._Kaufmann>,
                        <http://dbpedia.org/resource/Frank_Lloyd_Wright>,
                        :western-Pennsylvania-Conservancy;
   prov:qualifiedAttribution [
      a prov:Attribution;
      prov:agent <http://dbpedia.org/resource/Edgar_J._Kaufmann>;
      ex:hadRole :owner;
   ];
   prov:qualifiedAttribution [
      a prov:Attribution;
      prov:agent <http://dbpedia.org/resource/Frank_Lloyd_Wright>;
      ex:hadRole :architect;
   ];
   prov:qualifiedAttribution [
      a prov:Attribution;
      prov:agent :western-Pennsylvania-Conservancy;
      ex:hadRole :conserver;
   ];
.

<http://dbpedia.org/resource/Edgar_J._Kaufmann>  a prov:Person, prov:Agent .
<http://dbpedia.org/resource/Frank_Lloyd_Wright> a prov:Person, prov:Agent .
:western-Pennsylvania-Conservancy a prov:Organization, prov:Agent . 

～のサブクラスである

prov:AgentInfluence

～のプロパティーで記述:

prov:agent ^op

～の値域にある

prov:qualifiedAttribution ^op

～を修飾する

prov:wasAttributedTo ^op

PROV-DM用語

attribution

IRI:http://www.w3.org/ns/prov#Association

活動の関連付けは、活動に関するエージェントへの責任の割り当てであり、エージェントがその活動で役割を持っていたことを示します。さらに、この活動のコンテキストで、ある目標を達成するためにエージェントが企図している計画を指定することも可能になります。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:illustrating
    a prov:Activity; 
    prov:wasAssociatedWith :derek, 
                           :steve;
    prov:qualifiedAssociation [
        a prov:Association;
        prov:agent   :derek;
        prov:hadRole :illustrationist;
    ];
    prov:qualifiedAssociation [
        a prov:Association;
        prov:agent   :steve;
        prov:hadRole :stylist;
        prov:hadPlan :style-guide;
        rdfs:comment "Steve helped Derek conform with the publisher's style guide."@en;
    ];
.

:derek a prov:Person, prov:Agent, prov:Entity .
:steve a prov:Person, prov:Agent, prov:Entity .

:illustratonist a prov:Role .
:stylist        a prov:Role .

:style-guide a prov:Plan, prov:Entity .

～のサブクラスである

prov:AgentInfluence

～のプロパティーで記述:

prov:hadPlan ^op

prov:hadRole ^op

prov:agent ^op

～の値域にある

prov:qualifiedAssociation ^op

～を修飾する

prov:wasAssociatedWith ^op

PROV-DM用語

Association

IRI:http://www.w3.org/ns/prov#Plan

計画とは、ある目標を達成するために1つ以上のエージェントが企図している一連の行動やステップを表すエンティティーです。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:illustrating 
   a prov:Activity;
   prov:qualifiedAssociation :steve-checking-style-guide;
.

:steve-checking-style-guide
   a prov:Association;
   prov:agent   :steve;
   prov:hadPlan :style-guide;
   rdfs:comment "Steve followed the publisher's style guide"@en;
. 

:style-guide
   a prov:Plan, prov:Entity;
   rdfs:comment "Use blue graphs for positive spin, red for negative"@en;
.

～のサブクラスである

prov:Entity

～の値域にある

prov:hadPlan ^op

PROV-DM用語

Association

IRI:http://www.w3.org/ns/prov#Delegation

委任とは、代理人または代表者として特定の活動を実行するための権限と責任をエージェント(自身または別のエージェントによる)に割り当てることであり、代理を務めるエージェントは委託された作業の結果に対する責任を負います。例えば、学生は指導教官の代理を務め、指導教官は学部長の代理を務め、学部長は大学の代理を務めます。これらのエージェントはすべて、行われた活動に対して何らかの形で責任を負いますが、誰がどの程度の責任を負うのかは明示的に述べません。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix ex:   <http://example.com/vocab#> .
@prefix :     <http://example.com/> .

### In this example, Frank (an insurance agent) acts on behalf of his company for performing
### a policy sale
 
:policySale
   a prov:Activity;
   prov:wasAssociatedWith :insuranceAgent_Frank;
.

:insuranceAgent_Frank
   a prov:Person;
   prov:actedOnBehalfOf :insuranceCompany_A;
   prov:qualifiedDelegation [
      a prov:Delegation;
      prov:agent        :insuranceCompany_A;
      ex:rewardScheme   "commission";
      prov:hadActivity  :policySale ;
   ];
.

～のサブクラスである

prov:AgentInfluence

～のプロパティーで記述:

prov:hadActivity ^op

prov:agent ^op

～の値域にある

prov:qualifiedDelegation ^op

～を修飾する

prov:actedOnBehalfOf ^op

PROV-DM用語

delegation

IRI:http://www.w3.org/ns/prov#InstantaneousEvent

PROVデータ・モデルは、暗黙的に瞬間的なイベント(または単にイベント)の概念に基づいており、世界の遷移を示します。イベントには、エンティティーの生成、使用、無効化、および活動の開始または終了が含まれます。このイベントの概念は、データ・モデルにおいては第1級のものではありませんが、その他の概念とセマンティクスを説明するのに役立ちます。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix bbc:  <http://www.bbc.co.uk/> .
@prefix :     <http://example.com/> .

:bbcNews2012-04-03 
   a prov:Entity, :DailyNews;
   rdfs:comment """The BBC news home page on 2012-04-03 contained 
                   a reference to a given news item, but the BBC news 
                   home page on the next day did not.""";

   prov:qualifiedGeneration [
      a prov:Generation, prov:InstantaneousEvent;
      prov:atTime "2012-04-03T00:00:01Z"^^xsd:dateTime;
   ];
   prov:qualifiedInvalidation [
      a prov:Invalidation, prov:InstantaneousEvent;
      prov:atTime "2012-04-03T23:59:59Z"^^xsd:dateTime;
   ];
.

～のプロパティーで記述:

prov:atTime ^dp

prov:hadRole ^op , prov:atLocation ^op

～のサブクラスを持つ

prov:Generation , prov:Start , prov:Invalidation , prov:End , prov:Usage

IRI:http://www.w3.org/ns/prov#Role

役割とは、使用、生成、無効化、関連付け、開始、終了のコンテキストにおける、活動に関するエンティティーまたはエージェントの機能です。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:divideActivity 
   a prov:Activity;   
   prov:used :variableA, :variableB;

   prov:qualifiedUsage [
      a prov:Usage;
      prov:entity  :variableA;
      prov:hadRole :dividend;          
   ];
   prov:qualifiedUsage [
      a prov:Usage;
      prov:entity  :variableB;
      prov:hadRole :divisor;          
   ];

   prov:generated :result_112234;
.

:variableA 
   a prov:Entity;
   prov:value 10;
.
:variableB 
   a prov:Entity;
   prov:value 2;
.

:dividend a prov:Role.
:divisor  a prov:Role.

:result_112234 
   a prov:Entity;
   prov:value 5;
   prov:wasGeneratedBy :divideActivity;
.

～の値域にある

prov:hadRole ^op

PROV-DM用語

attribute-role

IRI:http://www.w3.org/ns/prov#wasInfluencedBy

影響とは、使用、開始、終了、生成、無効化、コミュニケーション、派生、帰属、関連付け、または委任という手段により、エンティティー、活動、またはエージェントが他のものの性質、発展、または行動に影響を与える能力です。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:illustrationActivity 
   a prov:Activity;
   prov:used              :aggregatedByRegions;
   prov:wasAssociatedWith :derek;
   prov:wasInformedBy     :aggregationActivity;
.

:illustrationActivity 
   a prov:Activity;
   prov:wasInfluencedBy :aggregatedByRegions, # prov:wasInfluencedBy is a superproperty of
                        :derek,               # many of the direct binary
                        :aggregationActivity; # PROV-O properties.
.

:aggregationActivity a prov:Activity .  
:derek               a prov:Agent .
:aggregatedByRegions a prov:Entity .

IRI:http://www.w3.org/ns/prov#qualifiedInfluence

影響とは、使用、開始、終了、生成、無効化、コミュニケーション、派生、帰属、関連付け、または委任という手段により、エンティティー、活動、またはエージェントが他のものの性質、発展、または行動に影響を与える能力です。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix my:   <http://example.com/ontology#> .
@prefix :     <http://example.com/> .

# Although domain extension 'my:wasConductedBy' is not defined by PROV-O,
# the relation between a surgery and an agent can still be qualified
# by reusing prov:Influence and one of its three subclasses:
# AgentInfluence, EntityInfluence, and ActivityInfluence
# (depending on the type of the influencing object).

:conductingSurgery_1
   a prov:Activity;

   # This unqualified influence is unknown in PROV;
   # it would be a subproperty of prov:wasAssociatedWith.
   my:wasConductedBy    :bob;
   prov:wasInfluencedBy :bob;  
   prov:qualifiedInfluence [   
      # Even though PROV systems do not understand my:wasConductedBy, 
      # they will at least understand that :bob influenced the 
      # surgery in some way.
      a prov:Influence;      # Inferred
      prov:agent   :bob;     # The object of my:wasConductedBy

      # Domain extension properties may be used to describe the
      # influences that an Entity, Activity, or Agent
      # have upon another Entity, Activity, or Agent.
      my:degree .72;
   ];
.

:bob a prov:Agent .

IRI:http://www.w3.org/ns/prov#qualifiedGeneration

生成とは、活動による新しいエンティティーの作成が完了することです。このエンティティーは生成前には存在しなかったもので、この生成の後に使用可能になります。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:bar_chart
   a prov:Entity;
   prov:wasGeneratedBy :illustrating;
   prov:qualifiedGeneration [
      a prov:Generation;
      prov:activity :illustrating;
      rdfs:comment "Ended up with bar chart as line chart looked ugly."@en;
   ];
.

:illustrating a prov:Activity .

IRI:http://www.w3.org/ns/prov#qualifiedDerivation

派生とは、エンティティーを別のものに変換すること、エンティティーを更新して新しいものを作成すること、または既存のエンティティーに基づいて新しいエンティティーを構築することです。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:bar_chart
   a prov:Entity;
   prov:wasDerivedFrom :aggregatedByRegions;
   prov:qualifiedDerivation [
      a prov:Derivation;
      prov:entity :aggregatedByRegions; 
      
      ## More details about the activity underpinning the derivation        
      prov:hadGeneration :chat_plotting; 
      prov:hadActivity   :chart_creation ;
   ];
.

### The process of creating the chart, from loading the data, to process it, and plot it to end users

:chart_creation
    a    prov:Activity ;
    prov:wasAssociatedWith :derek;
    prov:startedAtTime  "2011-07-16T01:52:02Z"^^xsd:dateTime;
    prov:endedAtTime "2011-07-16T03:00:02Z"^^xsd:dateTime;
.

#### Now the chart is plotted

:chat_plotting
    a    prov:Generation ;
    prov:atTime    "2011-07-16T03:00:02Z"^^xsd:dateTime;
.

IRI:http://www.w3.org/ns/prov#qualifiedPrimarySource

トピックの一次情報源は、トピックの研究の時点で、トピックに関する直接的な経験と知識を有するエージェントによって、後知恵の恩恵を受けずに作成されたものを指します。一次情報源は直接的であるがゆえに、二次情報源のフィルターでは捉えられない方法で「自明」です。そのため、二次情報源の信頼性を調査できるようにするためには、それが派生した一次情報源を参照することが重要です。一次情報源の関係は、一次情報源から二次資料を派生させるという特殊なケースです。一次資料の決定は解釈次第であり、アプリケーションの領域内で受け入れられている規則に従って行われるべきであると認識されています。

@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix prov:    <http://www.w3.org/ns/prov#> .
@prefix ex:      <http://example.com/vocab#> .
@prefix :        <http://example.com/> .

:temperatureDisplay
   a prov:Entity;
   prov:hadPrimarySource :sensorReading20120510;
   prov:qualifiedPrimarySource [
      a prov:PrimarySource;
      prov:entity        :sensorReading20120510;
      ex:precisionLoss true;
      rdfs:comment """The displayed temperature does not show the full precision 
                      available in the reading.""";
   ];
.

:sensorReading20120510 
   a prov:Entity;
   prov:wasGeneratedBy :temperatureSensor;
.

IRI:http://www.w3.org/ns/prov#qualifiedQuotation

引用は、元の著者によるかどうかに関わらず、テキストや画像などのエンティティー(の一部またはすべて)の繰り返しです。引用は、派生の特殊なケースです。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix my:   <http://example.com/vocab/my#> .
@prefix :     <http://example.com/> .

:bl-dagstuhl
   a prov:Entity;
   prov:value """During the workshop, it became clear to me that the consensus
   based models (which are often graphical in nature) can not only be
   formalized but also be directly connected to these database focused
   formalizations. I just needed to get over the differences in syntax.
   This could imply that we could have nice way to trace provenance across
   systems and through databases and be able to understand the
   mathematical properties of this interconnection.""";
   prov:wasQuotedFrom <http://purl.org/twc/page/thoughts-from-the-dagstuhl-workshop>;
   prov:qualifiedQuotation [
      a prov:Quotation;
      prov:entity <http://purl.org/twc/page/thoughts-from-the-dagstuhl-workshop>;
      my:fromSection 1;
   ];
.

<http://purl.org/twc/page/thoughts-from-the-dagstuhl-workshop>
   a prov:Entity;
   prov:wasAttributedTo <http://data.semanticweb.org/person/paul-groth>;
.

<http://data.semanticweb.org/person/luc-moreau> a prov:Person, prov:Agent .
<http://data.semanticweb.org/person/paul-groth> a prov:Person, prov:Agent .

IRI:http://www.w3.org/ns/prov#qualifiedRevision

改訂とは、結果のエンティティーが元の改訂版である派生です。ここで暗示されているのは、結果のエンティティーに元の実質的な内容が含まれているということです。改訂は、派生の特殊なケースです。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:draft2 
   a prov:Entity;
   prov:wasRevisionOf :draft1;
   prov:qualifiedRevision [
      a prov:Revision;
      prov:entity :draft1
   ];
   prov:wasAttributedTo :eddie;
.

:draft1 a prov:Entity .
:eddie  a prov:Person, prov:Agent, prov:Entity .

IRI:http://www.w3.org/ns/prov#qualifiedAttribution

帰属とは、エンティティーをエージェントに帰することです。エンティティーeがエージェントagに帰属している場合、エンティティーeは、エージェントagに関連付けられた不特定の活動によって生成されました。したがって、この関係は、活動が不明または無関係の場合に役立ちます。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix ex:   <http://example.com/vocab#> .
@prefix :     <http://example.com/> .

## When the role of the agent is not known or does not matter:

:nationalRegionsList 
   a prov:Entity;
   prov:wasAttributedTo :civil_action_group;
.

:civil_action_group a prov:Agent .

## If we want to express the role of the agent:

:nationalRegionsList 
   a prov:Entity;
   prov:qualifiedAttribution [
      a prov:Attribution;
      prov:agent :civil_action_group;
      ex:hadRole :owner;
   ]
.

IRI:http://www.w3.org/ns/prov#qualifiedInvalidation

無効化とは、活動による既存のエンティティーの破棄、停止、または満了の開始です。無効化後、エンティティーは使用(または、さらなる無効化)できなくなります。エンティティーの生成や使用は、無効化の前に行われます。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix ex:   <http://example.com/ontology#> .
@prefix :     <http://example.com/> .

:the-Painter 
   a prov:Entity, ex:Painting;
   rdfs:label "Le Peintre"@fr, "The Painter"@en;
   prov:wasAttributedTo <http://dbpedia.org/resource/Pablo_Picasso>;

   prov:wasInvalidatedBy :swissair_Flight_111_crash;
   prov:qualifiedInvalidation [
      a prov:Invalidation;
      prov:activity    :swissair_Flight_111_crash;
      prov:atTime      "1998-09-02T01:31:00Z"^^xsd:dateTime;
      prov:atLocation  <http://purl.org/twc/location/Swissair-Flight-111-crash>;
   ];
. 

:swissair_Flight_111_crash a prov:Activity .
<http://purl.org/twc/location/Swissair-Flight-111-crash> a prov:Location .

IRI:http://www.w3.org/ns/prov#qualifiedStart

開始とは、きっかけと呼ばれる、エンティティーによって活動が開始されたと見なされる時のことです。活動は開始前には存在していませんでした。活動に伴う使用、生成、または無効化は、活動の開始後に行われます。開始は、活動を開始するきっかけのエンティティーを指す場合と、スターターと呼ばれる、きっかけを生成した活動を指す場合があります。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

# Start can be used to qualify wasStartedBy with time and location information.

:consistency_checking
   a prov:Activity;
   prov:wasStartedBy :updated_data_record;
   prov:qualifiedStart [
      a prov:Start;
      prov:entity       :updated_data_record;
      prov:atTime       "2011-07-06T01:48:36Z"^^xsd:dateTime;
      prov:atLocation   :scienceLab_003;
      prov:hadActivity  :syntax_checking;
   ];
.

:updated_data_record a prov:Entity .

### There is an explicit process of checking the syntax of the updated data record

:syntax_checking
   a   prov:Activity ;
   prov:startedAtTime      "2011-07-06T01:48:36Z"^^xsd:dateTime;
   prov:endedAtTime        "2011-07-06T02:12:36Z"^^xsd:dateTime;
   prov:wasAssociatedWith  :syntax_checker ;
.

:syntax_checker   a   prov:SoftwareAgent .

IRI:http://www.w3.org/ns/prov#qualifiedUsage

使用とは、活動によるエンティティーの利用の開始です。使用前は、活動はこのエンティティーの使用を開始しておらず、エンティティーの影響を受けることはありませんでした。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix ex:   <http://example.com/vocab#> .
@prefix :     <http://example.com/> .

:newsPublication
   a prov:Activity;
   prov:used                    :tsunami_image;
   prov:qualifiedUsage [
      a prov:Usage;
      prov:entity               :tsunami_image;
      ex:hasCopyrightPermission :licensedUse;  
      ex:hasOwner               :reuters;
   ];
.

:tsunami_image a prov:Entity .
:reuters       a prov:Agent .

IRI:http://www.w3.org/ns/prov#qualifiedCommunication

コミュニケーションとは、2つの活動によるエンティティーの交流です。一方の活動は、他方の活動によって生成されたエンティティーを用います。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:writing-celebrity-gossip 
   a prov:Activity;
   prov:wasAssociatedWith :journalist;
   prov:wasInformedBy     :voicemail-interception;
   prov:qualifiedCommunication [
      a prov:Communication;
      prov:activity :voicemail-interception;
      rdfs:comment """The journalist was informed by the private 
                      investigator, but we don't know how or what he was told."""@en;
   ];
.

:voicemail-interception 
   a prov:Activity;
   prov:wasAssociatedWith :private-investigator;
.

:private-investigator a prov:Agent .
:journalist           a prov:Agent .

IRI:http://www.w3.org/ns/prov#qualifiedAssociation

活動の関連付けは、活動に関するエージェントへの責任の割り当てであり、エージェントがその活動で役割を持っていたことを示します。さらに、この活動のコンテキストで、ある目標を達成するためにエージェントが企図している計画を指定することも可能になります。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:illustrating
    a prov:Activity; 
    prov:wasAssociatedWith :derek, 
                           :steve;
    prov:qualifiedAssociation [
        a prov:Association;
        prov:agent   :derek;
        prov:hadRole :illustrationist;
        rdfs:comment "Derek made the illustration"@en
    ];
    prov:qualifiedAssociation [
        a prov:Association;
        prov:agent   :steve;
        prov:hadRole :stylist;
        prov:hadPlan :style-guide;
        rdfs:comment "Steve helped Derek conform with the publisher's style guide."@en 
    ];
    prov:qualifiedAssociation [
        a prov:Association;
        prov:agent   :derek;
        prov:hadRole :stylist;
        rdfs:comment "But Derek also did some styling of his own."@en 
    ] .

:derek a prov:Person, prov:Agent .
:steve a prov:Person, prov:Agent .

:illustratonist a prov:Role .
:stylist        a prov:Role .

:style-guide a prov:Plan, prov:Entity .

IRI:http://www.w3.org/ns/prov#qualifiedEnd

終了とは、きっかけと呼ばれる、エンティティーによって活動が終了したと見なされる時のことです。活動は終了後に存在しなくなります。活動に伴う使用、生成、または無効化は、活動の終了前に行われます。終了は、活動を終了させたきっかけのエンティティーを指す場合と、エンダーと呼ばれる、きっかけを生成した活動を指す場合があります。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

### End can be used to qualify wasEndedBy with time and location information

:experiment 
   a prov:Activity;
   prov:wasEndedBy :inconsistentResult;
   prov:qualifiedEnd [
      a prov:End;
      prov:entity       :inconsistentResult;
      prov:atTime       "2011-07-16T01:52:02Z"^^xsd:dateTime;
      prov:atLocation   :scienceLab_003;
      prov:hadActivity  :analyse_intermediate_result ; 
   ];
.
   
:inconsistentResult a prov:Entity .

### An implicit process of analysing the intermediate result to confirm its expected consistency

analyse_intermediate_result
   a   prov:Activity ;
   prov:startedAtTime   "2011-07-15T12:52:02Z"^^xsd:dateTime;
   prov:endedAtTime     "2011-07-16T01:52:02Z"^^xsd:dateTime;
.

IRI:http://www.w3.org/ns/prov#qualifiedDelegation

委任とは、代理人または代表者として特定の活動を実行するための権限と責任をエージェント(自身または別のエージェントによる)に割り当てることであり、代理を務めるエージェントは委託された作業の結果に対する責任を負います。例えば、学生は指導教官の代理を務め、指導教官は学部長の代理を務め、学部長は大学の代理を務めます。これらのエージェントはすべて、行われた活動に対して何らかの形で責任を負いますが、誰がどの程度の責任を負うのかは明示的に述べません。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix ex:   <http://example.com/vocab#> .
@prefix :     <http://example.com/> .

:traffic-stop
   a prov:Activity;
   prov:wasAssociatedWith :chauffeur, 
                          :traffic-officer-34;
   prov:qualifiedAssociation [
      a prov:Association;
      prov:agent :chauffeur;
      
      # The chauffeur was the one violating traffic rules.
      prov:hadRole :violator; 
   ];
   prov:qualifiedAssociation [
      a prov:Association;
      prov:agent :traffic-officer-34;
      
      # The officer was the one enforcing the traffic rules.
      prov:hadRole :enforcer; 
   ];
.

:chauffeur       
   a prov:Person;
   prov:actedOnBehalfOf :celebrity-in-car;
   prov:qualifiedDelegation [
      a prov:Delegation;
      prov:agent :celebrity-in-car;
      
      # The celebrity employed the chauffeur during the enforcement.
      prov:hadRole :employer; 
      prov:hadActivity  :driving-during-the-year ;
   ];
.

#The chaffeur was employed for a whole year as a driver
:driving-during-the-year   a   prov:Activity ;
   prov:wasAssociatedWith :chaffeur;
   prov:qualifiedAssociation [
      a prov:Association;
      prov:hadRole :driver;
   ];
   prov:startedAtTime "2011-07-16T01:52:02Z"^^xsd:dateTime;
   prov:endedAtTime "2012-07-16T01:52:02Z"^^xsd:dateTime;;
.

:traffic_officer_34 
   a prov:Person;
   prov:actedOnBehalfOf :city-of-Paris;
   prov:qualifiedDelegation [
      a prov:Delegation;
      prov:agent :city-of-Paris;
      
      # The city of Paris employed the officer during the enforcement.
      prov:hadRole :employer; 
      prov:hadActivity      :control-city-traffic ;
   ];
.

:control-city-traffic   a   prov:Activity .

IRI:http://www.w3.org/ns/prov#influencer

このプロパティーは、修飾付きの影響パターンの一部として用いられます。prov:Influenceのサブクラスは、これらのサブプロパティーを用いて、影響が修飾されている資源(エンティティー、エージェント、または活動)を参照します。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:illustrationActivity 
   a prov:Activity;
   prov:qualifiedUsage         :illustration_usage;
   prov:qualifiedAssociation   :illustration_association;
   prov:qualifiedCommunication :illustration_communication;
.

:illustration_usage
   a prov:Usage;
   prov:entity     :aggregatedByRegions;
   prov:influencer :aggregatedByRegions; # Inferred
.

:illustration_association
   a prov:Association;
   prov:agent      :derek;
   prov:influencer :derek; # - - - - - - - Inferred
.

:illustration_communication
   a prov:Communication;
   prov:activity   :aggregationActivity;
   prov:influencer :aggregationActivity; # Inferred
.

:aggregationActivity a prov:Activity .  
:derek               a prov:Agent .
:aggregatedByRegions a prov:Entity .

IRI:http://www.w3.org/ns/prov#entity

prov:entityというプロパティーは、資源に影響を与えたprov:Entityを参照します。このプロパティーは、prov:EntityInfluenceに適用され、それは、影響を受けたprov:Entity、prov:Activity、またはprov:Agentのprov:qualifiedInfluenceのサブプロパティーによって提供されます。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:world-literature-homework-submission-32 
   a prov:Entity;
   prov:hadPrimarySource :donQuixote;
   prov:qualifiedPrimarySource [
      a prov:PrimarySource;
      prov:entity :donQuixote;
      # Other attributes of the relationship
   ];
.

:donQuixote a prov:Entity .

IRI:http://www.w3.org/ns/prov#hadUsage

使用とは、活動によるエンティティーの利用の開始です。使用前は、活動はこのエンティティーの使用を開始しておらず、エンティティーの影響を受けることはありませんでした。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .
:digestedProteinSample1
   a prov:Entity;
   prov:wasDerivedFrom :proteinSample;
   prov:qualifiedDerivation [
      a prov:Derivation;
      prov:hadUsage [
         a prov:Usage;
         prov:entity :Trypsin;
        prov:hadRole :treatmentEnzyme;
      ];
   ];
   prov:entity :proteinSample;
.
:proteinSample a prov:Entity .

IRI:http://www.w3.org/ns/prov#hadGeneration

生成とは、活動による新しいエンティティーの作成が完了することです。このエンティティーは生成前には存在しなかったもので、この生成の後に使用可能になります。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix ex:   <http://example.com/vocab#> .
@prefix :     <http://example.com/> .

:bar_chart
   a prov:Entity, ex:Chart;
   prov:wasDerivedFrom   :aggregatedByRegions;
   prov:qualifiedDerivation [
      a prov:Derivation;
      prov:entity        :aggregatedByRegions;
      prov:hadGeneration :illustration;
   ];
.

:aggregatedByRegions a ex:Dataset .

:illustration
   a prov:Generation,
     prov:InstantaneousEvent;
   prov:activity :illustrationActivity;
   prov:atTime   "2012-04-03T00:00:11Z"^^xsd:dateTime;
.

:illustrationActivity
   a prov:Activity;
   prov:startedAtTime "2012-04-03T00:00:00Z"^^xsd:dateTime;
   prov:endedAtTime   "2012-04-03T00:00:25Z"^^xsd:dateTime;
.

IRI:http://www.w3.org/ns/prov#activity

prov:activityというプロパティーは、資源に影響を与えたprov:Activityを参照します。このプロパティーは、prov:ActivityInfluenceに適用され、それは、影響を受けたprov:Entity、prov:Activity、またはprov:Agentのprov:qualifiedInfluenceのサブプロパティーによって提供されます。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:making-bar-chart
   a prov:Generation, 
     prov:ActivityInfluence;
   prov:activity :illustrating;
   rdfs:comment "Ended up with bar chart as line chart looked ugly."@en;
.

:illustrating a prov:Activity .

:bar_chart 
   a prov:Entity;
   prov:wasGeneratedBy :illustrating;
   prov:qualifiedGeneration :making-bar-chart;
.

IRI:http://www.w3.org/ns/prov#agent

prov:agentというプロパティーは、資源に影響を与えたan prov:Agentを参照します。このプロパティーは、prov:AgentInfluenceに適用され、それは、影響を受けたprov:Entity、prov:Activity、またはprov:Agentのprov:qualifiedInfluenceのサブプロパティーによって提供されます。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:world_flight_1937
   a prov:Activity;

   prov:wasAssociatedWith <http://dbpedia.org/resource/Amelia_Earhart>,
                          <http://dbpedia.org/resource/Purdue_University>,
                          <http://dbpedia.org/resource/Lockheed_Aircraft_Company>;
   prov:qualifiedAssociation [
      a prov:Association;
      prov:agent   <http://dbpedia.org/resource/Amelia_Earhart>;
      prov:hadRole :pilot;
   ];
   prov:qualifiedAssociation [
      a prov:Association;
      prov:agent   <http://dbpedia.org/resource/Purdue_University>;
      prov:hadRole :financer;
   ];
   prov:qualifiedAssociation [
      a prov:Association;
      prov:agent   <http://dbpedia.org/resource/Lockheed_Aircraft_Company>;
      prov:hadRole :plane_builder;
   ];

   rdfs:seeAlso <http://en.wikipedia.org/wiki/Amelia_Earhart#1937_world_flight>;
.

<http://dbpedia.org/resource/Amelia_Earhart>            a prov:Person,       prov:Agent .
<http://dbpedia.org/resource/Purdue_University>         a prov:Organization, prov:Agent .
<http://dbpedia.org/resource/Lockheed_Aircraft_Company> a prov:Organization, prov:Agent .

IRI:http://www.w3.org/ns/prov#hadPlan

計画とは、ある目標を達成するために1つ以上のエージェントが企図している一連の行動やステップを表すエンティティーです。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:illustrating
   a prov:Activity; 
   prov:wasAssociatedWith :derek, 
                          :steve;
   prov:qualifiedAssociation [
      a prov:Association;
      prov:agent   :steve;
      prov:hadRole :stylist;
      prov:hadPlan :style-guide;
      rdfs:comment "Steve followed the style guide"@en;
   ];
.

:style-guide
   a prov:Plan, prov:Entity;
   rdfs:comment "Use blue graphs for positive spin, red for negative"@en;
.

IRI:http://www.w3.org/ns/prov#hadActivity

活動とは、一定期間にわたって発生し、エンティティーに対して、またはエンティティーを用いて行うものです。エンティティーの利用、処理、変換、変更、再配置、使用、または生成が含まれる場合があります。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

# The activity that which used, generated, invalidated 
# or was responsible for the entity. In this qualified Derivation 
# prov:hadActivity references the activity that generated the bar chart.

:bar_chart
   a prov:Entity;
   prov:wasDerivedFrom :aggregatedByRegions;
   prov:wasGeneratedBy :make_bar_chart;
   prov:qualifiedDerivation [
      a prov:Derivation;
      prov:entity      :aggregatedByRegions;
      prov:hadActivity :make_bar_chart; # references same activity as prov:wasGeneratedBy
   ];
.

:aggregatedByRegions a prov:Entity .
:make_bar_chart      a prov:Activity .

IRI:http://www.w3.org/ns/prov#atTime

PROVデータ・モデルは、暗黙的に瞬間的なイベント(または単にイベント)の概念に基づいており、世界の遷移を示します。イベントには、エンティティーの生成、使用、無効化、および活動の開始または終了が含まれます。このイベントの概念は、データ・モデルにおいては第1級のものではありませんが、その他の概念とセマンティクスを説明するのに役立ちます。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:Timearticle20120430_publication
   a prov:InstantaneousEvent;
   prov:atTime "2012-04-30T20:40:40"^^xsd:dateTime;
. 

IRI:http://www.w3.org/ns/prov#hadRole

役割とは、使用、生成、無効化、関連付け、開始、終了のコンテキストにおける、活動に関するエンティティーまたはエージェントの機能です。

@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix :     <http://example.com/> .

:divideActivity 
   a prov:Activity;   

   prov:used         :variableA;
   prov:qualifiedUsage [
      a prov:Usage;
      prov:entity    :variableA;
      prov:hadRole   :dividend;          
   ];
   
   prov:used         :variableB;
   prov:qualifiedUsage [
      a prov:Usage;
      prov:entity    :variableB;
      prov:hadRole   :divisor;          
   ];
.
   
:variableA a prov:Entity .
:variableB a prov:Entity .

:dividend a prov:Role .
:divisor  a prov:Role .

この相互参照のPROV-O用語を、エントリー番号とともにアルファベット順で下記に示しています。

この項は非規範的です。

幅広い採用を促進するために、PROV-Oの設計は意図的に最小限で軽量です。OWL 2 RLプロファイルは、表現力をあまり犠牲にすることなくスケーラブルな推論を必要とするRDFアプリケーションを対象としているため[OWL2-PRIMER]、PROV-Oに含まれているすべての公理のベースラインとして機能しました。OWL 2 RLプロファイルに適合しないPROV-Oの公理を表5に挙げています。5つはすべて、プロパティーの定義域や値域に匿名のクラスの和集合を用いていますが、OWL 2 RLではクラスに明示的に名前を付ける必要があります。「代理」(placeholder)というクラスの導入はOWL 2 RLプロファイルに適していると思われましたが、この追加の「抽象的な」(abstract)クラスは来歴情報のモデル化とは無関係であり、PROV-Oの大きさを不必要に増大させ、ユーザーを混乱させる可能性が発覚しました。次の表で挙げている5つの公理はすべて、スーパークラス表現が必要とされる場所でスーパークラスでない表現を用いており、OWL 2 RLプロファイルに準拠していません。

和集合の定義域公理を無視するOWL 2 RL環境のためのガイドを提供するために、次の表で示しているように、いくつかのプロパティーの定義域や値域も和集合内のクラスに対して最も近い共通スーパークラスで定義されていました。

プロパティーの複数のRDFSの定義域と値域[RDF-SCHEMA]は交差と解釈されるため、上記は、和集合も理解するOWL 2 DLやOWL 2 Fullプロファイルでは追加情報を提供しません。より一般的な定義域は、例えば、「prov:hadActivityをprov:Influenceと使用できる」ではなく、prov:hadActivityを用いるものはすべて(少なくとも)prov:Influenceである」と言っていると解釈すべきです。

相互運用性を最大化するために、PROV-Oは意図的にあまり多くのプロパティーの逆を定義しないようにしています。実際に、2つ(prov:generatedとprov:invalidated)しか定義していません。すべての逆がすべてのプロパティーに対して定義されている場合、モデラーはそれぞれの言明を行うときに論理的に等価な2つのプロパティーから選択することができます。この2つの選択肢は論理的には同等ですが、言明を利用する開発者は、両方を処理するために特別な努力をする必要がある可能性があります(例えば、OWL推論システムを追加するか、両方のケースを処理するためにコードとクエリを書くことによる)。この特別な努力は、ある逆を別の逆よりも優先することで軽減できます。

例えば、最初のPROV-Oのステートメント(下記)は、2番目のステートメントと同じくらい簡単に言明できます。しかし、言明で:hadDerivationが用いられていたときに、クライアントがprov:wasDerivedFromを用いてクエリを実行した場合、OWLの推論が適用されていなければ(または、クエリのサイズが2倍にならなければ)、結果は返されません。

<http://www.w3.org/TR/prov-o/>  prov:wasDerivedFrom <http://www.w3.org/TR/prov-dm/> .

   # These two statements are equivalent if prov:wasDerivedFrom is an inverse of :hadDerivation.
   # But extra effort is required to handle both cases (if one is not already using OWL reasoning).
   # We cannot assume that everybody is using OWL reasoning.
   # We do not want people to write more code and query than necessary.

<http://www.w3.org/TR/prov-dm/>     :hadDerivation  <http://www.w3.org/TR/prov-o/>  .

したがって、PROV-Oは、モデラーがその逆ではなく1つのプロパティーを用いるように勧めることでこの状況を回避します。使用を推奨するプロパティーは、PROV-Oオントロジーで定義されているものです。優先されるプロパティーの言明とクエリは、同じレベルの相互運用性を維持しながら、OWLの推論、追加のコード、より大きなクエリの必要性を回避します。

しかし、定義済みの逆が存在していないと、相互運用性に異なるリスクが生じる可能性があります。モデラーは自身の必要性に合わせて独自のプロパティーを自由に作成できるため、ここで定義されているPROV-Oプロパティーの逆を言明する動機となる可能性があります。

例えば、PROV-Oはprov:wasDerivedFromの逆を定義していないため、3人の開発者が反対方向の言明をモデル化した場合、次の言明が来歴の将来のウェブで見つかる可能性があります。これらの言明は、OWL推論システム、追加コード、またはより大きなクエリがなければ、相互運用可能な形式ではありません。

# If PROV-O's properties' inverses are not defined, modelers may be motivated to introduce their own inverse property name.
# The following three statements are equivalent if their predicates are all inverses of prov:wasDerivedFrom.

<http://www.w3.org/TR/prov-dm/>    my:hadDerivation  <http://www.w3.org/TR/prov-o/>  .
<http://www.w3.org/TR/prov-dm/>  your:ledTo          <http://www.w3.org/TR/prov-o/>  .
<http://www.w3.org/TR/prov-dm/> their:derivedTo      <http://www.w3.org/TR/prov-o/>  .

これらの2つの相互運用性のリスクのバランスをとるために、このドキュメントではPROV-O逆の名前を予約しています。プロパティーの逆の名前は、そのhttp://www.w3.org/ns/prov#inverseというアノテーションの値をPROV名前空間(http://www.w3.org/ns/prov#)に追加することで決まります。PROV-Oで定義されているプロパティーの逆を用いたいモデラーは、このドキュメントで予約しているプロパティーを用いるべきです(should)。

例えば、my:hadDerivation、your:ledTo、およびtheir:derivedToを定義した上記の同じ3人のモデラーは、代わりに、http://www.w3.org/ns/prov#hadDerivationというプロパティーを用いるべきであると判断するために、prov:wasDerivedFromのhttp://www.w3.org/ns/prov#inverseというアノテーションを探すべきです。

@prefix prov: <http://www.w3.org/ns/prov#> .

# Each PROV-O property is annotated with the local name of its inverse.

prov:wasDerivedFrom
   a owl:ObjectProperty;
   rdfs:isDefinedBy <http://www.w3.org/ns/prov#>;
   prov:inverse     "hadDerivation";
   rdfs:domain  prov:Entity;
   rdfs:range   prov:Entity;
.

# Instead of defining their own, modelers should use the
# recommended inverse local name within the PROV namespace:

<http://www.w3.org/TR/prov-dm/> prov:hadDerivation <http://www.w3.org/TR/prov-o/>  .

# Following this recommendation avoids a proliferation of inverse definitions, 
# while encouraging the use of one inverse over another.
# This increases interoperability.

次の表に、モデラーが推奨されるPROV-Oプロパティーを用いたくない場合に用いるべき推奨される逆の名前を挙げています。便宜上、このファイルには結果の逆プロパティーを挙げています。

この項は非規範的です。

• prov:hadRoleの定義域を、InstantaneousEvent(瞬間的なイベント)のサブクラスを列挙していた元の記述(「AssociationまたはEndまたはGenerationまたはInvalidationまたはStartまたはUsage」)から「AssociationまたはInstantaneousEvent」に書き直した。
• prov:Sourceをprov:PrimarySourceに、prov:qualifiedSourceをprov:qualifiedPrimarySourceに名前変更した。
• prov:asInBundleとprov:mentionOfでバンドルを表示する場合を除き、TriG名前付きグラフ構文の使用を避けるために、例を書き換えた(別のノートに移動させたため)。TriGへの引用を追加した。
• 一部の例で、:usage_1ではなく:illustration_usageのような資源名を用いるように詳細化した。
• prov:hadOriginalSourceをprov:hadPrimarySourceに変更して名前の不一致を修正した。
• prov:EntityInfluence、prov:ActivityInfluence、prov:AgentInfluenceの定義を、それらのスーパークラスであるprov:Influenceの定義に合わせるため書き換えた。
• PROV-DMのprov:Startとprov:Endの定義を変更した。
• prov:wasInformedByのプロパティー連鎖を、「qualifiedCommunication o entity subproperty of wasInformedBy」から「prov:qualifiedCommunication o prov:activity subproperty of wasInformedBy」に修正した。
• prov:mentionOfとprov:asInBundleを削除し、独自のノートに移動させた。
• prov:Influenceのより特定的な形式の使用を奨励するコメントを追加した。
• 他の「日付付き」PROVドキュメントに統一参照を追加した。
• 接頭辞名前空間の表を追加した。
• このドキュメントの準拠性の項を追加した。
• PROV-O OWLプロファイルの項のRL違反に関するTurtle構文を修正した。owl:unionOfが欠落していた。
• 謝辞の項でこのドキュメントの作成に用いたツールの帰属を更新した。
• 各用語をより強調するために、拡張された用語の説明と例を修正した。

この項は非規範的です。

• 相互参照のエントリーであるprov:hadGenerationのサンプルを更新して、prov:activityというプロパティーを含めた。
• クラスと述語の用語をアルファベット順からより自然な説明ベースの順序に並べ替えた。
• このドキュメントを印刷形式で読むのに役立つように用語索引を追加した。
• 誤字「iteself」を「itself」に修正しました。
• 付録Bの3番目の例の不正確なプロパティー特性(AsymmetricProperty、IrreflexiveProperty)を削除した。
• PROV-DMのprov:typeとprov:labelを表すためにrdf:typeとrdfs:labelを用いることを述べている注記を開始点の用語に追加した。
• PROV-DMに準拠するようにprov:valueの古い定義を更新した(つまり、「エンティティーの直接表現である値を提供します。」)。
• PROV-DMに準拠するようにprov:wasDerivedFromの古い定義を更新した(つまり、「派生とは、エンティティーを別のものに変換すること、エンティティーを更新して新しいものを作成すること、または既存のエンティティーに基づいて新しいエンティティーを構築することです。」)。
• 無効化とinvalidatedAtTimeの例にxsd:dateTypeというデータ型を追加した。
• 相互参照の例の一部の誤ったwasAttributedTo/wasAssociatedWithを修正した。
• このドキュメントのステータスの項を変更した。PROV群のドキュメントに新しいドキュメントを追加し、読み方の項を削除し、代わりにPROV-OVERVIEWを参照するようにした。
• すべてのURLをPROVドキュメントに変更した。

この項は非規範的です。

• alternateOfの例の誤字を修正し、:london_forecast_043が:london_forecast_0413になった。
• 組織(新規)および人(新規)の定義の大文字表記を変更した。

この項は非規範的です。

This document has been produced by the PROV Working Group, and its contents reflect extensive discussion within the Working Group as a whole. The editors extend special thanks to Sandro Hawke (W3C/MIT) and Ivan Herman (W3C/ERCIM), W3C contacts for the PROV Working Group. このドキュメントはPROVワーキンググループによって作成されており、その内容はワーキンググループ全体での広範な議論を反映しています。編集者は、Sandro Hawke(W3C / MIT)とIvan Herman(W3C / ERCIM)、PROV Working GroupのW3C連絡先に特別な感謝を表します。

編集者は、Tom Baker、David Booth、Robert Freimuth、Satrajit Ghosh、Ralph Hodgson、Renato Iannella、Jacek Kopecky、James Leigh、Jacco van Ossenbruggen、Alan Ruttenberg、Reza Samavi、およびAntoine Zimmermannの有益な貢献に感謝いたします。

このドキュメントの公開時点のPROVワーキンググループのメンバーは次の通りでした。Ilkay Altintas (Invited expert)、Reza B'Far (Oracle Corporation)、Khalid Belhajjame (University of Manchester)、James Cheney (University of Edinburgh, School of Informatics)、Sam Coppens (iMinds - Ghent University)、David Corsar (University of Aberdeen, Computing Science)、Stephen Cresswell (The National Archives)、Tom De Nies (iMinds - Ghent University)、Helena Deus (DERI Galway at the National University of Ireland, Galway, Ireland)、Simon Dobson (Invited expert)、Martin Doerr (Foundation for Research and Technology - Hellas(FORTH))、Kai Eckert (Invited expert)、Jean-Pierre EVAIN (European Broadcasting Union, EBU-UER)、James Frew (Invited expert)、Irini Fundulaki (Foundation for Research and Technology - Hellas(FORTH))、Daniel Garijo (Ontology Engineering Group, Universidad Politecnica de Madrid, Spain)、Yolanda Gil (Invited expert)、Ryan Golden (Oracle Corporation)、Paul Groth (Vrije Universiteit)、Olaf Hartig (Invited expert)、David Hau (National Cancer Institute, NCI)、Sandro Hawke (W3C/MIT)、Jorn Hees (German Research Center for Artificial Intelligence (DFKI) Gmbh)、Ivan Herman, (W3C/ERCIM)、Ralph Hodgson (TopQuadrant)、Hook Hua (Invited expert)、Trung Dong Huynh (University of Southampton)、Graham Klyne (University of Oxford)、Michael Lang (Revelytix, Inc.)、Timothy Lebo (Rensselaer Polytechnic Institute)、James McCusker (Rensselaer Polytechnic Institute)、Deborah McGuinness (Rensselaer Polytechnic Institute)、Simon Miles (Invited expert)、Paolo Missier (School of Computing Science, Newcastle university)、Luc Moreau (University of Southampton)、James Myers (Rensselaer Polytechnic Institute)、Vinh Nguyen (Wright State University)、Edoardo Pignotti (University of Aberdeen, Computing Science)、Paulo da Silva Pinheiro (Rensselaer Polytechnic Institute)、Carl Reed (Open Geospatial Consortium)、Adam Retter (Invited Expert)、Christine Runnegar (Invited expert)、Satya Sahoo (Invited expert)、David Schaengold (Revelytix, Inc.)、Daniel Schutzer (FSTC, Financial Services Technology Consortium)、Yogesh Simmhan (Invited expert)、Stian Soiland-Reyes (University of Manchester)、Eric Stephan (Pacific Northwest National Laboratory)、Linda Stewart (The National Archives)、Ed Summers (Library of Congress)、Maria Theodoridou (Foundation for Research and Technology - Hellas(FORTH))、Ted Thibodeau (OpenLink Software Inc.)、Curt Tilmes (National Aeronautics and Space Administration)、Craig Trim (IBM Corporation)、Stephan Zednik (Rensselaer Polytechnic Institute)、Jun Zhao (University of Oxford)、Yuting Zhao (University of Aberdeen, Computing Science)

編集者は、PROV-Oオントロジーとこのドキュメントの一部の作成に役立ったツールの開発者にも感謝申し上げます。これらの優れたツールがなければ、PROV-Oの開発はそれほど楽ではなかったでしょう。

• オントロジーを編集するためのスタンフォードのProtege。
• 非常に多くの例の多くのシリアル化チェックのためのDave Beckettのラッパー。
• このページの相互参照の項の構築を容易にするためのCosmin BascaのSuRF。
• このページの相互参照の項の構築を容易にするためのrdflibの作成者、貢献者、およびメンテナンス担当者。
• PROV-OのSPARQLクエリでこのページの一部を作成するためのAlvaro GravesのLODSpeaKr。
• このページの相互参照の項のCSSスタイル化のためのSilvio PeroniのLODE。
• W3Cスタイル化を処理するためのRobin Berjonの仕様。

[LD-Patterns-QR]

Leigh Dodds; Ian Davis. Qualified Relation. modified 31 May 2012, accessed 01 June 2012 URL: http://patterns.dataincubator.org/book/qualified-relation.html

[OWL2-PRIMER]

Pascal Hitzler; Markus Krotzsch; Bijan Parsia; Peter F. Patel-Schneider; Sebastian Rudolph. OWL 2 Web Ontology Language:Primer. 27 October 2009. W3C Recommendation. URL: http://www.w3.org/TR/2009/REC-owl2-primer-20091027/

[PROV-AQ]

Graham Klyne; Paul Groth; eds. Provenance Access and Query. 30 April 2013, W3C Note. URL: http://www.w3.org/TR/2013/NOTE-prov-aq-20130430/

[PROV-DC]

Daniel Garijo; Kai Eckert; eds. Dublin Core to PROV Mapping. 30 April 2013, W3C Note. URL : http://www.w3.org/TR/2013/NOTE-prov-dc-20130430/

[PROV-DICTIONARY]

Tom De Nies; Sam Coppens; eds. PROV-Dictionary: Modeling Provenance for Dictionary Data Structures. 30 April 2013, W3C Note. URL: http://www.w3.org/TR/2013/NOTE-prov-dictionary-20130430/

[PROV-LINKS]

Luc Moreau; Timothy Lebo; eds. Linking Across Provenance Bundles. 30 April 2013, W3C Note. URL: http://www.w3.org/TR/2013/NOTE-prov-links-20130430/

[PROV-OVERVIEW]

Paul Groth; Luc Moreau; eds. PROV-OVERVIEW: An Overview of the PROV Family of Documents. 30 April 2013, W3C Note. URL: http://www.w3.org/TR/2013/NOTE-prov-overview-20130430/

[PROV-PRIMER]

Yolanda Gil; Simon Miles; eds. PROV Model Primer. 30 April 2013, W3C Note. URL: http://www.w3.org/TR/2013/NOTE-prov-primer-20130430/

[PROV-SEM]

James Cheney; ed. Semantics of the PROV Data Model. 30 April 2013, W3C Note. URL: http://www.w3.org/TR/2013/NOTE-prov-sem-20130430.

[PROV-XML]

Hook Hua; Curt Tilmes; Stephan Zednik; eds. PROV-XML: The PROV XML Schema. 30 April 2013, W3C Note. URL: http://www.w3.org/TR/2013/NOTE-prov-xml-20130430/

[RDF-SCHEMA]

Dan Brickley; Ramanathan V. Guha. RDF Vocabulary Description Language 1.0: RDF Schema. 10 February 2004. W3C Recommendation. URL: http://www.w3.org/TR/2004/REC-rdf-schema-20040210

[TRIG]

Chris Bizer; Richard Cyganiak. The TriG Syntax. modified 30 July 2007, accessed 05 November 2012 URL: http://wifo5-03.informatik.uni-mannheim.de/bizer/trig/

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4