VIPR: A Visual Interface Tool for Programming Semantic Web Rules

The file attached to this record is the author's final peer reviewed version. The Publisher's final version can be found by following the DOI link.Semantic technologies have evolved from the initial purpose of supporting semantic integration, information exchange for the semantic web, towards a generic set of engineering tools for knowledge modelling, representation, inference. However, there is still much work required within the area of Semantic computing, the area highlights a key research challenge involving the complexity in engineering Semantic rules, associated dedicated models. Many existing tools focus on the creation of models, but concentrate on providing support for domain experts, isolating users with no knowledge engineering experience. This paper aims to address this issue by introducing a novel approach to enable the visual creation of Semantic web rules, for use within ontological models, context-aware applications. The developed tool, known as VIPR, aims to provide a user-friendly, interactive approach to aid in the creation of Semantic rules for ontologies. The work describes the design process involved in creating VIPR, presents the results of a comparative user evaluation. The research highlights the extent to which this tool has on improving the usability, intuitiveness of creating rules in an interactive environment, assesses how the tool can improve the learnability level for users with no prior knowledge engineering experience

Engineering simulations for cancer systems biology

Computer simulation can be used to inform in vivo and in vitro experimentation, enabling rapid, low-cost hypothesis generation and directing experimental design in order to test those hypotheses. In this way, in silico models become a scientific instrument for investigation, and so should be developed to high standards, be carefully calibrated and their findings presented in such that they may be reproduced. Here, we outline a framework that supports developing simulations as scientific instruments, and we select cancer systems biology as an exemplar domain, with a particular focus on cellular signalling models. We consider the challenges of lack of data, incomplete knowledge and modelling in the context of a rapidly changing knowledge base. Our framework comprises a process to clearly separate scientific and engineering concerns in model and simulation development, and an argumentation approach to documenting models for rigorous way of recording assumptions and knowledge gaps. We propose interactive, dynamic visualisation tools to enable the biological community to interact with cellular signalling models directly for experimental design. There is a mismatch in scale between these cellular models and tissue structures that are affected by tumours, and bridging this gap requires substantial computational resource. We present concurrent programming as a technology to link scales without losing important details through model simplification. We discuss the value of combining this technology, interactive visualisation, argumentation and model separation to support development of multi-scale models that represent biologically plausible cells arranged in biologically plausible structures that model cell behaviour, interactions and response to therapeutic interventions

Integration of virtual reality within the built environment curriculum

Virtual Reality (VR) technology is still perceived by many as being inaccessible and cost prohibitive with VR applications considered expensive to develop as well as challenging to operate. This paper reflects on current developments in VR technologies and describes an approach adopted for its phased integration into the academic curriculum of built environment students. The process and end results of implementing the integration are discussed and the paper illustrates the challenges of introducing VR, including the acceptance of the technology by academic staff and students, interest from industry, and issues pertaining to model development. It sets out to show that fairly sophisticated VR models can now be created by non-VR specialists using commercially available software and advocates that the implementation of VR will increase alongside industryis adoption of these tools and the emergence of a new generation of students with VR skills. The study shows that current VR technologies, if integrated appropriately within built environment academic programmes, demonstrate clear promise to provide a foundation for more widespread collaborative working environments

An interactive multimedia learning environment for VLSI built with COSMOS

This paper presents Bigger Bits, an interactive multimedia learning environment that teaches students about VLSI within the context of computer electronics. The system was built with COSMOS (Content Oriented semantic Modelling Overlay Scheme), which is a modelling scheme that we developed for enabling the semantic content of multimedia to be used within interactive systems

An active learning and training environment for database programming

Active learning facilitated through interactive, self-controlled learning environments differs substantially from traditional instructor-oriented, classroom-based teaching. We present a tool for database programming that integrates knowledge learning and skills training. How these tools are used most effectively is still an open question. Therefore, we discuss analysis and evaluation of these Web-based environments focusing on different aspects of learning behaviour and tool usage. Motivation, acceptance of the learning approach, learning organisation and actual tool usage are aspects of behaviour that require different techniques to be used

Verification-guided modelling of salience and cognitive load

Well-designed interfaces use procedural and sensory cues to increase the cognitive salience of appropriate actions. However, empirical studies suggest that cognitive load can influence the strength of those cues. We formalise the relationship between salience and cognitive load revealed by empirical data. We add these rules to our abstract cognitive architecture, based on higher-order logic and developed for the formal verification of usability properties. The interface of a fire engine dispatch task from the empirical studies is then formally modelled and verified. The outcomes of this verification and their comparison with the empirical data provide a way of assessing our salience and load rules. They also guide further iterative refinements of these rules. Furthermore, the juxtaposition of the outcomes of formal analysis and empirical studies suggests new experimental hypotheses, thus providing input to researchers in cognitive science

A multi-faceted approach to optimising a complex unplanned healthcare system

Unscheduled and urgent health care represents the largest area of activity and cost for the UK’s National Health Service (NHS). Like typical complex systems unplanned care has the features of interdependence and having structures at different scales which requires modelling at different levels. The aim of this paper is to discuss the development of a multifaceted approach to study and optimise this complex system. We aim to integrate four different methodologies to gain better understanding of the nature of the system and to develop ways to enhance its performance. These methodologies are: (a) Lean/ Flow theory to look at the process and patients and other flows; (b) Simulation/ System Dynamics to undertake analytical analysis and multi-level modelling; (c) stakeholder consultation and use of system thinking to analyse the system and identify options, barriers and good practice; and (d) visual analytic modelling to facilitate effective decision making in this complex environment. Of particular concern are the boundary issues i.e. how changes in unplanned care will impact on the adjacent facilities and ultimately on the whole Healthcare system