No abstract

No abstract

This research explores relations between software artefacts and explicitly represented (domain) knowledge. More specifically, we investigate ways in which domain knowledge (represented as ontologies) can support software engineering activities and, conversely, how software artefacts (e.g., programs, methods, and UML diagrams) can support the creation of ontologies. In our approach, class names, and class properties are the principal entities which are extracted from both sources. We implemented a tool, called Facilitator, to support programmers and knowledge engineers when they develop ontologies or programs. This tool provides a list of connections between the ontology and Java project, and provides reasons why these connections have been identified. These connections are created by matching names, types, and superclass-subclass relationships. Facilitator provides a range of semantic web enabled functionalities.

Data sharing is becoming an integral part of many aspects of our daily lives. We propose a method for controlling access to data and knowledge through fine-grained, user-specified explicitly represented policies. We present an overview of a policy formalism and mechanisms to facilitate distributed data sharing. We provide a breakdown of how our approach defines compliance and violation, specifically providing a new outlook on violation of permissions within the context of data sharing. We also examine how our mechanisms have been adapted to support socially responsible interactions between participants, whilst still providing them with control over their own data. We also explore a series of planned experiments investigating how users understand and interact with policies in a simplified version of our formalism.