STSM WG1 (Piero Bonatti)

Start Date: 2009-07-26

End Date: 2009-08-14

Host Institution: DERI Galway

Host Country: Ireland

Home Institution: Universita' di Napoli Federico II

Home Country: Italy


Rules and Ontologies play a manifold role in agreement technologies. First of all, in terms of agreement about joint terminologies (i.e. ontologies) that agents need to agree upon when communicating. although standards for ontology languages exist, especially driven by the Semantic Web initiative, in open worlds, the used ontologies within different organisations and communities can still be heterogeneous. Unlike the purely monotonic nature of standards for describing ontologies such as OWL and RDFS, possibly nonmonotonic constructs, such as those typically available in rules languages, are needed to bridge ontologies, and non-monotonic query languages are needed to extract data described using these bridged ontologies. Moreover, rules play an important, complementary role in defining agreement on which data, ontologies and alignments from external sources can be accepted. These rules are usually called norms or policies. In this STSM, we plan to investigate foundational issues of the interplay of ontologies, nonmonotonic rules and query languages for agreement technologies. As part of this work, we plan to investigate the application of nonmonotonic extensions of description logics to semantic web contexts and semantic web policies. First, we intend to clarify and generalize the semantics of some of the existing nonmonotonic features of query languages like SPARQL (e.g., the “optional” construct). Second, in the field of policy languages based on description logics, we intend to provide the linguistic means for expressing default policies and resolving conflicts, in a framework compatible with trust and policy negotiation. We shall tackle these aspects by identifying low complexity description logics with sufficient expressive power for the above reference applications. The visit to DERI is supposed to allow f2f discussions and meetings, in order to set up a research effort that can subsequently be completed with remote interactions.

STSM Report