クリエイティブ・コモンズ利用許諾の定式化
藤田 邦彦†

塚田 恭章††日本電信電話株式会社 NTT コミュニケーション科学基礎研究所
243-0198 神奈川県厚木市森の里若宮 3-1{fujita, tsukada}@theory.brl.ntt.co.jp
あらまし

近年のコンテンツ流通環境においては，コンテンツの鑑賞だけでなく，その二次利用や再配信等への要求が高まっている．このような要求を支援するために，ライセンスの付与を容易に行える法的な枠組みを提供するプロジェクトがクリエイティブ・コモンズである．クリエイティブ・コモンズでは，ライセンス付与の条件を利用許諾という文書にまとめているが，自然言語で記述されているため，漏れのない検証を行うには人手がかかる上に困難である．我々は，利用許諾の論理的検証や，ライセンス付与に関連する処理の自動化等を目的に，この利用許諾を多種論理を用いて定式化した．
本稿では，その結果を例を挙げて紹介する．

Formalization of Creative Commons Legal Codes
Kunihiko Fujita†

Yasuyuki Tsukada††NTT Communication Science Laboratories, NTT Corporation
3-1, Morinosato Wakamiya, Atsugi-shi, Kanagawa Pref., 243-0198, Japan{fujita, tsukada}@theory.brl.ntt.co.jp
Abstract

Recently, the demands not only for appreciating contents but also for deriving and re-distributing

them are increasing in the content distribution environment. To support such demands, Creative Commons offersa legal framework that makes license providing easier. Creative Commons supplies the condition of license providing as the Legal Codes. They are written, however, in natural language, so that it will cost expensive and bedifficult to verify them strictly. In this paper, we provide a formal semantics for them by using many-sorted
first-order logic. This will enable us to verify the logical consistency of the Legal Codes and automate processes
related to license providing.

1 はじめにて，「消費」から「制作」または「流通」に再びつながる流れが新たに生じている． 関らは従来のコンテンツ流通の形態は，「制作」さ文献[1]において，このようなコンテンツが循環れたコンテンツが「流通」を経て「消費」され的に利活用される状態を「コンテンツ循環」とて終わるという一方向的な流れが主であった．

呼んでいる．

しかし今日では，情報通信処理能力の向上によコンテンツ循環を促進するために，ライセンり，消費者によるコンテンツの鑑賞だけでなく， ス付与1を容易に行える法的な枠組みを提供す二次利用や再配信などが可能となり，コンテンるプロジェクトがクリエイティブ・コモンズ

ツの利用の形態が多様化している．つまり，従来の「制作」「流通」「消費」の順の流れに加え1一定の権利（例：複写，頒布）の行使の許可を第三者に与えること．

表 1 ライセンス要素（以下「CC」という）[2]である．CC ではライ
センス付与の条件を利用許諾という文書にまとめている．

マーク

本稿では，CC の利用許諾（以下「利用許諾」

名称略記

説明表示

BY

作品のタイトル，創作した人の氏名など，作品に関する情報を表示する．

非営利

NC

作品を営利目的で利用してはならない．

継承SA

改変することで新たに生み出された作品は，元の作品のライセンス条件を継承しなければならない．

改変禁止

ND

作品を改変してはならない．という）の厳密な定式化を与える．その目的は以下の通りである．
(1) 利用許諾の論理的な検証を行う．現時点では利用許諾は自然言語で記述されているため，その内容の検証は人手に頼らざるを得ない．例えば，コンテンツ循環を想定した場合，元のコンテンツと二次的コンテンツの双方の利用許諾同士の整合性の検証が必要となる．後述するが利用許諾は 6 種類存在し，その可能な組み合わせを全て人手で漏れなく検証するのは，困難を伴うと考えられる．利用許諾を定式化し，数学的に厳密な形式的意味論(Formal semantics)を与えることにより，利用許諾の内容の論理的整合性の検証が容易となる．
(2) 利用許諾に関連した操作・アルゴリズムの健全性の検証を行う．例えば Creative
Commons Taiwan では，複数のコンテンツの可能な組み合わせを判定するプログ
ラムを公開している[3]．利用許諾の定式化により，このような利用許諾に関連した操作やアルゴリズムの健全性の検証が可能となる2．
(3) ライセンス付与に関連する処理を自動化する．例えば，特定のコンテンツに対しある者がどのような権利（例：複製，頒布等）を与えられているかといったことを自動判定するプログラムは，利用許諾の定式化によって容易に作成可能となる．
我々は，利用許諾を多種論理(Many-sorted
first-order logic)を用いて定式化した．本稿では，その結果を例を挙げて紹介する．特に，定式化
2 利用許諾は各国で異なる．今回我々は CC 日本の利用許諾を定式化したため，その結果を CC
Taiwan の当該プログラムの健全性検証に用いることは出来ない．の際にメタレベル条件という概念の導入が必要であることを示す．以降，2 章では CC について概説する．3 章では定式化の準備としていくつかの定義を行い，4 章で利用許諾の定式化の方法を説明する．5 章では関連研究との比較並びに今後の課題について述べる．

2 クリエイティブ・コモンズ
CC では，ライセンス付与の条件を，以下の3 つをセットにして提供している．
(1) 分かりやすく表示するための「コモンズ証」(2) 許諾内容を法的に担保するライセンス条項をまとめた「利用許諾」(3) 検索エンジン等の機械可読形式(RDF)で記述された「メタデータ」
CC では，表 1 に示す 4 つのライセンス要素が用意されている．CC の枠組みを用いてコンテンツを公開しようとする場合，これらのライセンス要素を組み合わせることになる．組み合わせの仕方には制限があり，その制限を満たす
組 み 合 わ せ は BY ， BY_NC ， BY_SA ，
BY_NC_SA，BY_ND，BY_NC_ND の 6 通り
である．これらの組み合わせをライセンス属性という．

著作権に係るコンテンツの種類の関係
著作物
copyrightWks
編集
著作物
compiWks

二次的データベースの著作物
著作物
secondWks
DBWks

メタレベル条件Ω利用条件
F（利用許諾に対するルール）（実世界に対するルール）

実世界利用許諾

図 2 利用条件とメタレベル条件の集合．たとえば，copy（複製する），adapt（翻案する），distribute（頒布図 1 コンテンツの種類とその関係

z3 準備
3.1する）などが含まれる．
エージェント（人，プログラム等）
𝐷の集合．
𝐿={lcBY , lcBY_SA , lcBY_ND , lcBY_NC ,z

対象領域の定義

以下の通りに対象領域を定義する．
z𝐷

lcBY_NC_SA , lcBY_NC_ND }コンテンツ（作品，著作物，二属性の利用許諾（利用許諾の複写及び利用次的著作物，編集著作物，データベースの許諾が置かれている URI を含む）の集合．

著作物，実演，レコード，音，影像等のあらゆる創作物の総称）の集合．
z𝐷

コンテンツの種類の集合．

コンテンツの種類とその関係は図 1 の通りである．

3.2

項第 11 号では，二次的著作物の定義とし

𝑡𝑦𝑝𝑒z

𝑡𝑦𝑝𝑒: 𝐷に係るコンテンツの集合又は著作隣接権に係るコンテンツの集合を返す関数．
)
𝑙𝑖𝑡𝑒𝑟𝑎𝑡𝑢𝑟𝑒: 𝐷→ 𝔓(𝐷することにより創作した著作物をいう」と．

この条

項

から

secondWks ⊂ copyrightWks を導くことができる．また，第 12 条第 1 項では，

3.3

述語の定義

以下の通りに述語を定義する．
z𝐏𝐞𝐫𝐦(𝑤, 𝑧, 𝑐, 𝛾)

エージェント𝑤 によっ

編集著作物に関する規定で「編集物（デーてアクション𝑧をコンテンツのまとまり𝛾

タベースに該当するものを除く。
以下同じ。
）に含まれるコンテンツ𝑐に対して行うことでその素材の選択又は配列によつて創作性を有するものは、著作物として保護する。
」

が許されることを表す述語．
𝐏𝐞𝐫𝐦: 𝐷×𝐷× 𝐷と あ り ， こ の 条 項 か ら ，× 𝐷

compiWks ∩ DBWks = ∅を導くことができる．

z

→ 𝔓 𝐷

𝑙𝑖𝑡𝑒𝑟𝑎𝑡𝑢𝑟𝑒 コンテンツに含まれる著作権

z

形し、又は脚色し、映画化し、その他翻案るコンテンツの種類の集合を返す関数．て「著作物を翻訳し、編曲し、若しくは変あ関数の定義以下の通りに関数を定義する．

これらの関係は，著作権法の該当する条項を解釈して構成した．例えば， 第 2 条第 1

各ライセンス𝐷

コンテンツに対するアクション→ {𝐅𝐚𝐥𝐬𝐞, 𝐓𝐫𝐮𝐞}

4 利用許諾の定式化
利用許諾が添付されているコンテンツに対z

して許されるアクションについては，ライセンス属性ごとに設定されている利用許諾の「第 3𝑤 あなた利用許諾に基づく権利を行使する個人又は団体をいう（第 1 条 c）
z条 ライセンスの付与」に記述されている．ま𝑐 本作品

利用許諾の条項に基づいてた，第 3 条で与えられたライセンスを行使する

利用する権利が付与される対象たる無体にあたっての条件については，「第 5 条 制限」

物をいい，著作物，実演，レコード，放送に記述されている．に係る音又は影像，もしくは有線放送に係

第 5 条に含まれる条件は，大きく以下の 2 通る音又は影像をすべて含むものとする（第りに分類できる（図 2）．

1 条 e）(1) 利用条件：コンテンツに対するアクション

また，コンテンツ𝛾は，コンテンツ𝑐の所在をを実施する条件特定するために指定する引数であり，代表的な(2) メタレベル条件：利用許諾の運用に対する例としては，編集著作物やデータベースの著作条件物等が挙げられる．所在について特に指定がな

利用許諾は上述の第 3 条と第 5 条が中核を占い場合は，γ = 𝑐とする．
𝐋𝐞𝐠𝐚𝐥𝐂𝐨𝐝𝐞𝐁𝐘 は，図 3 の通りに定義できる．

めているため，これらを中心に定式化を進めることとする．

z𝑓 多種論理式．

4.1

zz

𝑝 述語 𝐏𝐞𝐫𝐦を用いた多種原子論理式．
利用許諾第 3 条を定式化し𝑓 →𝑝z

た多種論理式．
𝑓
利用許諾第 5 条の内，利用条件を定全体の定式化

ライセンス属性は 6 種類ある．ここでは例としてライセンス属性 BY の利用許諾全体を表す
述語𝐋𝐞𝐠𝐚𝐥𝐂𝐨𝐝𝐞𝐁𝐘 を導入するが，他のライセンス属性でも同様である．
z 𝐋𝐞𝐠𝐚𝐥𝐂𝐨𝐝𝐞𝐁𝐘 (𝑥, 𝑤, 𝑐, 𝛾)

式化した多種論理式．

がコンテンツ𝛾に含まれるコンテンツ𝑐について，ライセンス属性 BY の利用許諾を以外を定式化した多種論理式．

各々の𝑓 → 𝑝 の部分が選言で結ばれるが，品を提供する個人又は団体をいう（第 1 条

𝐋𝐞𝐠𝐚𝐥𝐂𝐨𝐝𝐞𝐁𝐘 の場合，各々の𝑓 → 𝑝の部分が連言で結ばれている．このようにした意図は，全b）△

𝐋𝐞𝐠𝐚𝐥𝐂𝐨𝐝𝐞𝐁𝐘(𝑥, 𝑤, 𝑐, 𝛾) ⇔𝑓1𝐵𝑌 ∧ 𝑓2𝐵𝑌 ∧ ⋯ ∧ 𝑓𝑚𝐵𝑌 ∧ 𝑓𝑜𝑡𝐵𝑌ℎ𝑒𝑟𝑠 ∧ 𝑓𝑝𝐵𝑌
→ 𝑝1𝐵𝑌
1
𝑓1𝐵𝑌 ∧ 𝑓2𝐵𝑌 ∧ ⋯ ∧ 𝑓𝑚𝐵𝑌 ∧ 𝑓𝑜𝑡𝐵𝑌ℎ𝑒𝑟𝑠 ∧ 𝑓𝑝𝐵𝑌
→ 𝑝2𝐵𝑌2

𝑥,𝑤,𝑐,𝛾
𝑥,𝑤,𝑐,𝛾∧∧⋮∧ 𝑓2𝐵𝑌，常の否定¬𝐋𝐞𝐠𝐚𝐥𝐂𝐨𝐝𝐞𝐁𝐘 の場合，展開すると利用許諾の条項の下で本作

𝑓1𝐵𝑌，𝑓𝐔𝐧𝐈𝐬𝐬𝐮𝐞を表現するのに必要なためである．通の以下の定義に該当する．
𝑥 許諾者→𝑝る 「 利 用 許諾 を 発 行 しな い 」 と いう 述 語

𝐋𝐞𝐠𝐚𝐥𝐂𝐨𝐝𝐞𝐁𝐘 の引数は，それぞれ利用許諾内zz

式化した多種論理式．
利用許諾の内，𝑓𝑓

利用許諾の内，メタレベル条件を定

また，𝐋𝐞𝐠𝐚𝐥𝐂𝐨𝐝𝐞𝐁𝐘 の強い否定𝐋𝐞𝐠𝐚𝐥𝐂𝐨𝐝𝐞𝐁𝐘を図 4 のように定義しておく．これは，後述す→ {𝐅𝐚𝐥𝐬𝐞, 𝐓𝐫𝐮𝐞}

× 𝐷

𝛺

𝛺

エージェント𝑤に与えることを表す述語．
× 𝐷×𝐋𝐞𝐠𝐚𝐥𝐂𝐨𝐝𝐞𝐁𝐘 : 𝐷𝐷z
エージェント𝑥∧ ⋯ ∧ 𝑓𝑚𝐵𝑌

∧ 𝑓𝑜𝑡𝐵𝑌ℎ𝑒𝑟𝑠 ∧ 𝑓𝑝𝐵𝑌
→ 𝑝𝑛𝐵𝑌𝑛(𝛺1𝐵𝑌 ∧ 𝛺2𝐵𝑌 ∧ ⋯ ∧ 𝛺𝑟𝐵𝑌 )𝑥,𝑤,𝑐,𝛾
図 3 𝐋𝐞𝐠𝐚𝐥𝐂𝐨𝐝𝐞𝐁𝐘 の定義

𝑥,𝑤,𝑐,𝛾∧△

𝐋𝐞𝐠𝐚𝐥𝐂𝐨𝐝𝐞𝐁𝐘 (𝑥, 𝑤, 𝑐, 𝛾) ⇔¬ 𝑓1𝐵𝑌 ∧ 𝑓2𝐵𝑌 ∧ ⋯ ∧ 𝑓𝑚𝐵𝑌 ∧ 𝑓𝑜𝑡𝐵𝑌ℎ𝑒𝑟𝑠 ∧ 𝑓𝑝𝐵𝑌
→ 𝑝1𝐵𝑌
1¬ 𝑓1𝐵𝑌∧ 𝑓2𝐵𝑌∧ ⋯ ∧ 𝑓𝑚𝐵𝑌

¬ 𝑓1𝐵𝑌∧ 𝑓2𝐵𝑌∧ ⋯ ∧ 𝑓𝑚𝐵𝑌

∧ 𝑓𝑜𝑡𝐵𝑌ℎ𝑒𝑟𝑠

𝑥,𝑤 ,𝑐,𝛾→ 𝑝2𝐵𝑌𝑥,𝑤 ,𝑐,𝛾

∧ 𝑓𝑝𝐵𝑌2∧∧⋮∧ 𝑓𝑜𝑡𝐵𝑌ℎ𝑒𝑟𝑠 ∧ 𝑓𝑝𝐵𝑌→ 𝑝𝑛𝐵𝑌
𝑛𝑥,𝑤 ,𝑐,𝛾∧(𝛺1𝐵𝑌 ∧ 𝛺2𝐵𝑌 ∧ ⋯ ∧ 𝛺𝑟𝐵𝑌 )𝑥,𝑤,𝑐,𝛾
図 4𝐋𝐞𝐠𝐚𝐥𝐂𝐨𝐝𝐞𝐁𝐘 の定義てのアクション（𝑝内に記述される）を禁ずるということを表現するためである．また，通常の否定¬𝐋𝐞𝐠𝐚𝐥𝐂𝐨𝐝𝐞𝐁𝐘 の場合，展開すると各々∀𝑦∀𝑧 𝑧 ∈ 𝑙𝑖𝑡𝑒𝑟𝑎𝑡𝑢𝑟𝑒(𝑐)∧ (𝑡𝑦𝑝𝑒(𝑧) ∋ copyrightWks)∧ 𝑧 ∈ 𝑙𝑖𝑡𝑒𝑟𝑎𝑡𝑢𝑟𝑒(𝑦)∧ (𝑡𝑦𝑝𝑒(𝑦) ∋ compiWks)の𝛺 に否定がつき選言で結ばれるが，∨ (𝑡𝑦𝑝𝑒(𝑦) ∋ DBWks)→ 𝐏𝐞𝐫𝐦(𝑤, copy, 𝑧, 𝑦)]𝐋𝐞𝐠𝐚𝐥𝐂𝐨𝐝𝐞𝐁𝐘 の場合，𝛺には否定がつかず連言で結ばれている．この意図は，𝛺はメタレベル条件であり，利用許諾を発行する場合でも発行複製が許可されるのは，編集著作物又はデーしない場合でも，利用許諾の運用に関しては同タベースの著作物の全体ではなく，そこに含まじ条件となるためである．

れる本著作物のみである．

4.2

4.3

第 3 条の定式化

第 5 条の定式化

ライセンス属性が BY の利用許諾の場合，第ライセンス属性が BY の利用許諾の場合，第3 条は a から g までの 7 号から構成されている．

5条はaからiまでの9号から構成されている．

例えば a は，以下のような条項である．

第 5 条の各号は，前述の通り大きく利用条件a.

本作品に含まれる著作物（以下「本著作物」（b, e, h が該当する）とメタレベル条件の 2 通という。
）を複製すること（編集著作物等りに分類できる．メタレベル条件には，①に組み込み複製することを含む。以下、同𝐋𝐞𝐠𝐚𝐥𝐂𝐨𝐝𝐞𝐁𝐘 の定義に含まれる条件（したがっじ。
）て定式化の必要は特にないと思われる）（a, c, f,

本条項は意味的に 2 つに分解できる．それぞれi が該当する）と，②定式化を行うことの可能について定式化を与えると以下の通りとなる．

な条件（d, g が該当する），の 2 通りに分類でa-1. 本著作物を複製すること

きる．

∀𝑧 𝑧 ∈ 𝑙𝑖𝑡𝑒𝑟𝑎𝑡𝑢𝑟𝑒(𝑐)∧ (𝑡𝑦𝑝𝑒(𝑧) ∋ copyrightWks)

例えば b は以下のような条項である．
b.

→ 𝐏𝐞𝐫𝐦(𝑤, copy, 𝑧, 𝑐)

あなたは、本作品を利用するときは、この利用許諾の写し又は URI（Uniform Re-

本作品𝑐に含まれる著作物等は𝑙𝑖𝑡𝑒𝑟𝑎𝑡𝑢𝑟𝑒(𝑐)で表される．例えば𝑙𝑖𝑡𝑒𝑟𝑎𝑡𝑢𝑟𝑒(𝑐) = {𝑐 , 𝑐 }のsource Identifier）を本作品の複製物に添場合，𝑐 , 𝑐 ∈ 𝑙𝑖𝑡𝑒𝑟𝑎𝑡𝑢𝑟𝑒(𝑐)が本条項にて複製

これは利用条件に該当する．本条項は以下のが許可されるコンテンツである．𝑐 , 𝑐 と内容が付又は表示しなければならない。
ような定式化を与えることができる．

同一のコンテンツがあったとして，それが𝑐に含まれないならば，複製は許可されない．

述語𝐍𝐨𝐭𝐢𝐜𝐞を導入．
z𝐍𝐨𝐭𝐢𝐜𝐞(𝑥, 𝑐, 𝑙)エージェント𝑥がコンテ

a-2. 編集著作物又はデータベースの著作物にンツ𝑐に関して利用許諾又は URI である𝑙

組み込まれた本著作物を複製することを添付又は表示することを表す述語．

𝐍𝐨𝐭𝐢𝐜𝐞: 𝐷× 𝐷× 𝐿

→ {𝐅𝐚𝐥𝐬𝐞, 𝐓𝐫𝐮𝐞}
述語𝐍𝐨𝐭𝐢𝐜𝐞を用いると本条項は以下の通り

本稿では，多種論理を用いて利用許諾の定式化を行い，その結果を例を挙げて紹介した．特定式化できる．
𝐍𝐨𝐭𝐢𝐜𝐞 𝑤, 𝑐, lcbyに，メタレベル条件という概念の導入が必要でまた，d は以下のような条項である．
d.

5 むすび

あなたは、本作品を再利用許諾することがあることを示した．
関連研究としては，[4][5][6]が挙げられる．
どれも定式化の大きな対象は DRM であり本稿できない。
利用許諾は許諾者（利用許諾の条項の下で本と類似しているが，[4]は一般的なポリシーを一作品を提供する個人又は団体をいう（利用許諾階述語論理で記述する試みであり，[5][6]はそれ第 1 条 b より））によって発行される．ここで，ぞれ XrML と ODRL という DRM のポリシー

利用許諾を発行するという述語𝐈𝐬𝐬𝐮𝐞と，利用記述言語を対象としており，CC を対象とする許諾を発行しないという述語𝐔𝐧𝐈𝐬𝐬𝐮𝐞を導入

本稿とはこの点が異なる．

する．本条項はメタレベル条件である．
z

𝐈𝐬𝐬𝐮𝐞(lcl , 𝑥, 𝑤, 𝑐, 𝛾) エージェント𝑥がコあるいは利用許諾間の論理的な整合性の検証

ンテンツ𝛾に含まれるコンテンツ𝑐についを行いたい．て，ライセンス属性𝑙の利用許諾lcl をエージェント𝑤に発行することを表す述語．
z

今後は，今回の結果をもとに，利用許諾内，𝐔𝐧𝐈𝐬𝐬𝐮𝐞(lcl , 𝑥, 𝑤, 𝑐, 𝛾)

エージェント𝑥がコンテンツ𝛾に含まれるコンテンツ𝑐について，ライセンス属性𝑙の利用許諾lcl をエージェント𝑤に発行しないことを表す
述語．
𝐈𝐬𝐬𝐮𝐞, 𝐔𝐧𝐈𝐬𝐬𝐮𝐞: 𝐿

× 𝐷

× 𝐷

× 𝐷
× 𝐷
→ {𝐅𝐚𝐥𝐬𝐞, 𝐓𝐫𝐮𝐞}
𝐋𝐞𝐠𝐚𝐥𝐂𝐨𝐝𝐞𝐁𝐘 との関係は，以下のように定義される．
𝐈𝐬𝐬𝐮𝐞(lcBY , 𝑥, 𝑤, 𝑐, 𝛾)⟺ 𝐋𝐞𝐠𝐚𝐥𝐂𝐨𝐝𝐞𝐁𝐘 (𝑥, 𝑤, 𝑐, 𝛾)

𝐔𝐧𝐈𝐬𝐬𝐮𝐞(lcBY , 𝑥, 𝑤, 𝑐, 𝛾)⟺ 𝐋𝐞𝐠𝐚𝐥𝐂𝐨𝐝𝐞𝐁𝐘 (𝑥, 𝑤, 𝑐, 𝛾)

以上を踏まえると，本条項は以下のように定式化できる．
∧ 𝑥 ∈ 𝑜𝑤𝑛𝑒𝑟(𝑐)ケーション科学基礎研究所人間情報研究部の前田英作部長，真鍋義文リーダ，真野健主任研究員，河辺義信研究員，櫻田英樹研究員に感謝いたします．
参考文献[1] 関, 亀山. “コンテンツ循環における権利継承の自動化”. 情報処理学会論文誌, Vol.48

こ れ ら と 前 述 の 𝐋𝐞𝐠𝐚𝐥𝐂𝐨𝐝𝐞𝐁𝐘 及 び∀𝑦 𝐈𝐬𝐬𝐮𝐞(lcBY , 𝑥, 𝑤, 𝑐, 𝛾)

謝辞 多くのご助言を頂いた，NTT コミュニNo.5, pp.1952-1964, 2007.
[2] ク リ エ イ テ ィ ブ ・ コ モ ン ズ .
http://www.creativecommons.jp/[3] CreativeCommonsTaiwan.
http://creativecommons.org.tw/static/choose/license/licwiz[4] J. A. Halpern and V. Weissman. “Usingfirst-order logic to reason about policies”. In
CSFW-03, pp.187-201, 2003.
[5] J. A. Halpern and V. Weissman. “A formal∧ (𝛾 = 𝑐)∧ 𝑤 ∉ 𝑜𝑤𝑛𝑒𝑟(𝑐)→ 𝐔𝐧𝐈𝐬𝐬𝐮𝐞(lcBY , 𝑤, 𝑦, 𝑐, 𝛾)

foundation

forXrML”.

InCSFW-04,

pp.251-263, 2004.
[6] R. Pucella and V. Weissman. “A formal foundation for ODRL”. In WITS-04, 2004.