Combining Reasoning on Semantic Web Metadata

As the amount of available linked data expand and the number of related applications increases, the management of aspects such as provenance and access control of such data begin to become an issue. Current approaches do not provide sufficient support for automatic reasoning over different metadata and their possible interdependencies. MetaReasons is a framework that supports the representation of metadata in a logical formalism and consequently to support automated reasoning on metadata. Different types of metadata, such as data-provenance and accessibility-restrictions are represented as distinct meta-theories, and dependencies between types of metadata are represented by rules between different meta-theories. In this paper we present the logic based definition of the MetaReasons framework and two examples of meta-theories for provenance and access control. Moreover, we propose a materialization calculus for concrete forward reasoning on the two aspects.