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 types and their possible
interdependencies. MetaReasons is a framework that supports representation
and automated reasoning over metadata in a single logical
formalism. Different types of metadata, like data-provenance and
accessibility-restrictions, are represented as distinct meta-theories
and dependencies between metadata types are represented by rules
between different meta-theories. In this paper we present the definition
of the MetaReasons framework and two examples meta-theories
for provenance and access control. Moreover, we propose a materialization
calculus for forward reasoning on the two aspects.