Relations with relation names as arguments: algebra and calculus
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Complexity of answering queries using materialized views
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
A Policy Language for a Pervasive Computing Environment
POLICY '03 Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks
An Artificial Intelligence Perspective on Autonomic Computing Policies
POLICY '04 Proceedings of the Fifth IEEE International Workshop on Policies for Distributed Systems and Networks
The Description Logic Handbook
The Description Logic Handbook
Data-Purpose Algebra: Modeling Data Usage Policies
POLICY '07 Proceedings of the Eighth IEEE International Workshop on Policies for Distributed Systems and Networks
On the Properties of Metamodeling in OWL1
Journal of Logic and Computation
POLICY '08 Proceedings of the 2008 IEEE Workshop on Policies for Distributed Systems and Networks
Using Dependency Tracking to Provide Explanations for Policy Management
POLICY '08 Proceedings of the 2008 IEEE Workshop on Policies for Distributed Systems and Networks
Decidability of SHIQ with complex role inclusion axioms
Artificial Intelligence
Foundations of Semantic Web Technologies
Foundations of Semantic Web Technologies
Policy-Aware Content Reuse on the Web
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Terminological cycles in KL-ONE-based knowledge representation languages
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
PAPEL: a language and model for provenance-aware policy definition and execution
BPM'10 Proceedings of the 8th international conference on Business process management
A Rule-Based Trust Negotiation System
IEEE Transactions on Knowledge and Data Engineering
SPARQL beyond subgraph matching
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Integrated metamodeling and diagnosis in OWL 2
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
A self-policing policy language
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
The Open Provenance Model core specification (v1.1)
Future Generation Computer Systems
Cascading verification: an integrated method for domain-specific model checking
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
A deontic logic semantics for licenses composition in the web of data
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
Hi-index | 0.00 |
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.