Permissions and obligations in hierarchical normative systems
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
BIO logical agents: Norms, beliefs, intentions in defeasible logic
Autonomous Agents and Multi-Agent Systems
A computational framework for institutional agency
Artificial Intelligence and Law
Service License Composition and Compatibility Analysis
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Web Semantics: Science, Services and Agents on the World Wide Web
AICOL-I/IVR-XXIV'09 Proceedings of the 2009 international conference on AI approaches to the complexity of legal systems: complex systems, the semantic web, ontologies, argumentation, and dialogue
Linked Data
On the relationship between Carneades and Defeasible Logic
Proceedings of the 13th International Conference on Artificial Intelligence and Law
Analyzing open source license compatibility issues with Carneades
Proceedings of the 13th International Conference on Artificial Intelligence and Law
ShareAlike your data: self-referential usage policies for the semantic web
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Defeasible inheritance-based description logics
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Hi-index | 0.00 |
In the Web of Data, the absence of clarity about the licensing terms under which the data is released prevents data reuse, and thus data publication and interlinking at the expenses of the Web of Data itself. In addition, even when terms are clear, the absence of automated processing of the licenses prevents scaling data reuse and integration. In this paper, we provide a semantic model of licenses for the Web of Data. The key idea of our approach consists first in verifying the compatibility and compliance of the licensing terms associated to the data queried by the consumer, and second, if compatibility arises, in composing the single licenses into a unique license which provides the terms of reuse for the whole data consumed during the query solving. In particular, we propose a deontic logic semantics which is able to (i) formally define the deontic components of the licenses, i.e., Permissions, Obligations, and Prohibitions, and reason over them, (ii) verify the compatibility of the elements composing the single licenses, and return those elements which can be included into the composite license, and (iii) provide a formal account of the heuristics proposed to guide the composition.