Modeling and Reasoning over Data Licenses

  title={Modeling and Reasoning over Data Licenses},
  author={Oleksandra Panasiuk and Simon Steyskal and Giray Havur and Anna Fensel and S. Kirrane},
  booktitle={Extended Semantic Web Conference},
In this paper, we propose an extension of the Open Digital Right Language for modeling well-known licenses and propose an approach to automatically check license compatibility. 

DALICC As A Service - A Scaleable Architecture for License Clearance

The paper describes the service architecture of and usage scenarios for the DALICC framework, exemplifying a scaleable architecture of semantic web enabled compliance services.

Relicensing Combined Datasets

This paper focuses on the problem of relicensing datasets that include multiple other open datasets published under different licenses, and based on mapping licenses to deontic interpretations and combining them using an OR-composite operator.

Knowledge graphs

The historical events that lead to the interweaving of data and knowledge are tracked to help improve knowledge and understanding of the world around us.

Towards Employing Semantic License Annotations for Sensor Data Profiling

The paper outlines the most up to date version of the semantic licenses library of Data Licenses Clearance Center (DALICC), and discusses the possibilities of employing it for data profiling. In

ODRL Policy Modelling and Compliance Checking

An Open Digital Rights Language (ODRL) profile is proposed that can be used to capture the semantics of both business policies and regulatory requirements in the form of deontic concepts, and present their translation into Answer Set Programming (via the Institutional Action Language (InstAL) for compliance checking purposes.

The Web of Data

  • A. Hogan
  • Computer Science
    The Web of Data
  • 2020
This chapter discusses the abstract concepts necessary to realise a Web of Data. We discuss how the content on the Web can be represented as graph-structured data in order to increase machine

Knowledge Graphs

In this article, we provide a comprehensive introduction to knowledge graphs, which have recently garnered significant attention from both industry and academia in scenarios that require exploiting

BlockConfess: Towards an Architecture for Blockchain Constraints and Forensics

It is argued that symbolic artificial intelligence techniques in the form of semantic technology based policy languages and business process conformance tools and techniques, can together be used to provide guarantees with respect to the behaviour of autonomous smart contract / chaincode applications.

From Big Data to Smart Data : Changing Behavior with Online Communication

Smart Data service enablers for interoperation, interactivity and human participation and behavior change are discussed, as well as applications going beyond the current state of the art in the domains of energy efficient smart buildings, and online communication and marketing are demonstrated.



Licenses Compatibility and Composition in the Web of Data

We propose a general framework to attach the licensing terms to the data where the compatibility of the licensing terms concerning the data affected by a query is verified, and, if compatible, the

LIVE: a Tool for Checking Licenses Compatibility between Vocabularies and Data

This paper presents a framework called LIVE able to support data publishers in verifying licenses compatibility, taking into account both the licenses associated to the vocabularies and those assigned to the data built using such vocABularies.

Copyright Licenses Reasoning an OWL-DL Ontology

Some preliminary transformations of the licenses models are required in order to overcome the Open World Assumption inherent in OWL-DL, which limits DL-based license reasoning.

Answer set programming at a glance

The motivation and key concepts behind answer set programming---a promising approach to declarative problem solving.

Towards Formal Semantics for ODRL Policies

This paper proposes an interpretation of the formal semantics of general ODRL policy expressions and motivate rule-based reasoning over such policy expressions taking both explicit and implicit dependencies among actions into account.

Clingo = ASP + Control: Preliminary Report

By strictly separating logic and control programs, clingo 4 also abolishes the need for dedicated systems for incremental and reactive reasoning, like iclingo and oclingo, respectively, and its flexibility goes well beyond the advanced yet still rigid solving processes of the latter.

and T

  • Schaub. Clingo= asp+ control: Extended report,
  • 2014