ShareAlike Your Data: Self-referential Usage Policies for the Semantic Web

Numerous forms of policies, licensing terms, and related conditions are associated with Web data and services. A natural goal for facilitating the reuse and re-combination of such content is to model usage policies as part of the data so as to enable their exchange and automated processing. This paper thus proposes a concrete policy modelling language. A particular difficulty are self-referential policies such as Creative Commons ShareAlike, that mandate that derived content is published under some license with the same permissions and requirements. We present a general semantic framework for evaluating such recursive statements, show that it has desirable formal properties, and explain how it can be evaluated using existing tools. We then show that our approach is compatible with both OWL DL and Datalog, and illustrate how one can concretely model self-referential policies in these languages to obtain desired conclusions.

[1]  Markus Krötzsch,et al.  SPARQL beyond Subgraph Matching , 2010, SEMWEB.

[2]  Johanna Völker,et al.  Integrated Metamodeling and Diagnosis in OWL 2 , 2010, SEMWEB.

[3]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[4]  Chris Hanson,et al.  Using Dependency Tracking to Provide Explanations for Policy Management , 2008, 2008 IEEE Workshop on Policies for Distributed Systems and Networks.

[5]  Sebastian Rudolph,et al.  Foundations of Semantic Web Technologies , 2009 .

[6]  Jeffrey O. Kephart,et al.  An artificial intelligence perspective on autonomic computing policies , 2004, Proceedings. Fifth IEEE International Workshop on Policies for Distributed Systems and Networks, 2004. POLICY 2004..

[7]  Ian Horrocks,et al.  Decidability of SHIQ with Complex Role Inclusion Axioms , 2003, IJCAI.

[8]  Tim Berners-Lee,et al.  Creating a Policy-Aware Web: Discretionary, Rule-Based Access for the World Wide Web , 2008 .

[9]  V. Lifshitz.  Circumscriptive Theories: A Logic-Based Framework for Knowledge Representation , 1988 .

[10]  Nathan R. Yergler,et al.  ccREL : The Creative Commons Rights Expression Language , 2008 .

[11]  Ian Horrocks,et al.  The Semantic Web – ISWC 2010: 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I , 2010, SEMWEB.

[12]  Piero A. Bonatti,et al.  Comparing Rule-Based Policies , 2008, 2008 IEEE Workshop on Policies for Distributed Systems and Networks.

[13]  Piero A. Bonatti,et al.  A Rule-Based Trust Negotiation System , 2010, IEEE Transactions on Knowledge and Data Engineering.

[14]  Oshani Seneviratne.  Framework for policy aware reuse of content on the WWW , 2009 .

[15]  Paul T. Groth,et al.  Requirements for Provenance on the Web , 2012, Int. J. Digit. Curation.

[16]  Yogesh L. Simmhan,et al.  The Open Provenance Model core specification (v1.1) , 2011, Future Gener. Comput. Syst..

[17]  Johan van Benthem,et al.  Back and Forth Between Modal Logic and Classical Logic , 1995, Log. J. IGPL.

[18]  Ben Adida,et al.  10. CC REL: The Creative Commons Rights Expression Language , 2012 .

[19]  Kenneth A. Ross.  Relations with relation names as arguments: algebra and calculus , 1992, PODS '92.

[20]  Vladimir Lifshitz,et al.  Circumscriptive theories: A logic-based framework for knowledge representation , 1988, J. Philos. Log..

[21]  Timothy W. Finin,et al.  A policy language for a pervasive computing environment , 2003, Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks.

[22]  Ian Horrocks,et al.  Decidability of {$\mathcal SHIQ$} with Complex Role Inclusion Axioms , 2003, IJCAI 2003.

[23]  Boris Motik,et al.  On the Properties of Metamodeling in OWL , 2005, J. Log. Comput..

[24]  Boris Motik,et al.  On the Properties of Metamodeling in OWL , 2007, J. Log. Comput..

[25]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[26]  Ian Horrocks,et al.  The Semantic Web - ISWC 2010 Part II , 2010 .

[27]  Oshani Seneviratne,et al.  Policy-Aware Content Reuse on the Web , 2009, International Semantic Web Conference.

[28]  Franz Baader,et al.  Terminological Cycles in KL-ONE-based Knowledge Representation Languages , 1990, AAAI.

[29]  Steffen Staab,et al.  PAPEL: A Language and Model for Provenance-Aware Policy Definition and Execution , 2010, BPM.

[30]  Sebastian Speiser,et al.  Expressing Self-Referential Usage Policies for the Semantic Web , 2011 .

[31]  Sebastian Speiser,et al.  A Self-Policing Policy Language , 2010, SEMWEB.

[32]  Abraham Bernstein,et al.  The Semantic Web - ISWC 2009, 8th International Semantic Web Conference, ISWC 2009, Chantilly, VA, USA, October 25-29, 2009. Proceedings , 2009, SEMWEB.

[33]  Serge Abiteboul,et al.  Complexity of answering queries using materialized views , 1998, PODS.

[34]  Gerald J. Sussman,et al.  Data-Purpose Algebra: Modeling Data Usage Policies , 2007, Eighth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'07).

[35]  Bernhard Nebel,et al.  Terminological Cycles: Semantics and Computational Properties , 1991, Principles of Semantic Networks.