[論文レビュー] OPPO: An Ontology for Describing Fine-Grained Data Practices in Privacy Policies of Online Social Networks

Sanonda Datta Gupta, Torsten Hahmann|arXiv (Cornell University)|Sep 27, 2023

Privacy, Security, and Data ProtectionSocial Sciences被引用数 3

ひとこと要約

OPPOは、BFO、IAO、OBI、OMRSEを基礎とする上位オントロジーとして、オンラインソーシャルネットワーク（OSN）のプライバシーポリシーから詳細なデータ管理慣行を形式化したOWL2ベースのオントロジーである。このオントロジーは、データ保持期間、保存場所、セキュリティメカニズムといった詳細な慣行をモデル化することで、自動推論と透明性評価を可能にする。Telegramのポリシーを対象としたSPARQLクエリによる検証では、27のコンpetency質問のうち15が正しく表現され、回答された。

ABSTRACT

Privacy policies outline the data practices of Online Social Networks (OSN) to comply with privacy regulations such as the EU-GDPR and CCPA. Several ontologies for modeling privacy regulations, policies, and compliance have emerged in recent years. However, they are limited in various ways: (1) they specifically model what is required of privacy policies according to one specific privacy regulation such as GDPR; (2) they provide taxonomies of concepts but are not sufficiently axiomatized to afford automated reasoning with them; and (3) they do not model data practices of privacy policies in sufficient detail to allow assessing the transparency of policies. This paper presents an OWL Ontology for Privacy Policies of OSNs, OPPO, that aims to fill these gaps by formalizing detailed data practices from OSNS' privacy policies. OPPO is grounded in BFO, IAO, OMRSE, and OBI, and its design is guided by the use case of representing and reasoning over the content of OSNs' privacy policies and evaluating policies' transparency in greater detail.

研究の動機と目的

• 既存のプライバシーポリシー・オントロジーにおける、詳細かつ公理化されたデータ管理慣行のモデル化の不足に対処すること。
• データ保持期間、保存場所、セキュリティメカニズムといった詳細な慣行を形式化することで、OSNのプライバシーポリシーの透明性評価を向上させること。
• 確立された上位オントロジーに根ざした形式的オントロジー表現を用いて、プライバシーポリシーの自動推論を可能にすること。
• 明確な意味的制約を用いたデータ管理慣行の構造化により、コンプライアンス評価とポリシー間比較を支援すること。
• 研究者、規制当局、プライバシー擁護団体が、ポリシー内容を体系的かつ体系的に照会・分析できる再利用可能で拡張可能なオントロジーを提供すること。

提案手法

• OPPOはMETHONTOLOGYフレームワークを用いて開発され、GDPR、CCPA、および実際のOSNプライバシーポリシーから導出された45のコンピテンシー質問に従って設計された。
• オントロジーはOWL2で形式化され、BFO、IAO、OBI、OMRSEを基礎として構築され、データ型と時間的制約にはDPVおよびOWL-Timeの選択的再利用が行われた。
• セキュリティメカニズム（例：EncryptionMechanism、AuthenticationMechanism）やデータ管理慣行（例：保持期間、保存場所）の専用サブクラスを含む、60の新規クラスと17のオブジェクトプロパティを導入した。
• 論理的整合性はHermiT OWL2リーダーを用いて検証され、表現力は、Telegramポリシーのデータセット上で27のコンピテンシー質問のうち15をSPARQLクエリとしてエンコードし、実行することで検証された。
• 最小限のインポートバージョン（OPPO_Ontology_Minimal_Import.ttl）は、OPPO固有の概念を明確に分離し、オントロジー・エディタでのモデル化をより明確にする。
• オントロジーはGitHubにホスティングされ、GraphDBでOWL-RL推論プロファイルを用いて実行され、クエリ実行と結果の正確性が検証された。

Figure 1: OPPO’s high-level concepts and how they extend concepts from BFO, IAO, OBI, and OMRSE. Concepts in yellow are introduced by OPPO, while all other concepts are being reused.

実験結果

リサーチクエスチョン

• RQ1 データ保持期間、保存場所、セキュリティメカニズムといった細分化されたデータ管理慣行を、自動推論を可能にする形式的モデルとしてどのように形式化できるか？
• RQ2 詳細なデータ管理慣行を意味的正確性をもって表現することで、オントロジーがプライバシーポリシーの透明性をどの程度捉えることができるか？
• RQ3 実世界のポリシー・データ上でSPARQLクエリを用いて、オントロジーがデータ管理慣行に関するコンピテンシー質問を表現・回答できるか？
• RQ4 確立された上位オントロジー（BFO、IAO、OBI、OMRSE）の統合が、プライバシーポリシー概念の形式化と再利用性をどのように支援するか？
• RQ5 OPPOを用いて、複数のOSNプライバシーポリシー間の透明性レベルを比較することは可能か？

主な発見

• OPPOオントロジーは、60の新規クラスと17のオブジェクトプロパティ、271の論理的公理を含み、OWL2における整合的かつ論理的に整合性のある形式化を実現した。
• HermiTリーダーを用いた検証で、整合性の欠如や不要なクラス同値性は検出されず、オントロジーは論理的に整合的であることが確認された。
• 27のコンピテンシー質問のうち15が、GraphDB上でTelegramポリシーのデータセットに対してSPARQLクエリとして正しくエンコードされ、実行され、期待される結果と一致した。
• オントロジーは、Telegramが最大12か月間、4つの異なるデータタイプを保存していることを正しく特定した。これは、保持慣行を正確に捉える能力を示している。
• 最小限のインポートバージョンは、OPPO固有のコンテンツを効果的に分離し、Protégéなどのオントロジー・エディタでの明確性と使いやすさを向上させた。
• 検証プロセスにより、OPPOが詳細なデータ管理慣行を表現・推論可能であることが確認され、透明性およびコンプライアンス分析を支援するのに十分な表現力を持っていることが示された。

Figure 2: The core concepts in OPPO and the relations between them.