SNOMED CT standard ontology based on the ontology for general medical science

Background: Systematized Nomenclature of Medicine—Clinical Terms (SNOMED CT, hereafter abbreviated SCT) is acomprehensive medical terminology used for standardizing the storage, retrieval, and exchange of electronic healthdata. Some efforts have been made to capture the contents of SCT as Web Ontology Language (OWL), but theseefforts have been hampered by the size and complexity of SCT. Method: Our proposal here is to develop an upper-level ontology and to use it as the basis for defining the termsin SCT in a way that will support quality assurance of SCT, for example, by allowing consistency checks ofdefinitions and the identification and elimination of redundancies in the SCT vocabulary. Our proposed upper-levelSCT ontology (SCTO) is based on the Ontology for General Medical Science (OGMS). Results: The SCTO is implemented in OWL 2, to support automatic inference and consistency checking. Theapproach will allow integration of SCT data with data annotated using Open Biomedical Ontologies (OBO) Foundryontologies, since the use of OGMS will ensure consistency with the Basic Formal Ontology, which is the top-levelontology of the OBO Foundry. Currently, the SCTO contains 304 classes, 28 properties, 2400 axioms, and 1555annotations. It is publicly available through the bioportal athttp://bioportal.bioontology.org/ontologies/SCTO/. Conclusion: The resulting ontology can enhance the semantics of clinical decision support systems and semanticinteroperability among distributed electronic health records. In addition, the populated ontology can be used forthe automation of mobile health applications

Onto4CAAL: An Ontology to Support Requirements Specification in the Development of AAL (Ambient Assisted Living) Systems

The Ambient Assisted Living (AAL) is a technological approach that emerged to meet the demands of the elderly and people with disabilities. As they are considered complex and multidisciplinary systems, it is necessary to identify and define which modules need to compose these systems. Among the challenges found in the development of the AAL systems are the alignment with functional and/or non-functional requirements and the compliance with ethical, legal, social, medical and technical restrictions that guide these types of systems. Therefore, this work presents a core ontology (Onto4CAAL) to support the specification of requirements in AAL systems, where the elements that are part of the system type are integrated. Using this ontology, it was possible to develop a domain ontology (Onto4Elev) for Vertical Lift Platforms, where a validation was carried out with the industry in relation to the elements that constitute it and, later, a scenario was built for the application simulation and verification. With the use of ontology, it will be possible to standardize the understanding of the associated terms and, at the same time, to verify the relationship among the elements, helping the designer in the decision making

Modelling and analysing the interactive behaviour of an infusion pump

Proceedings of the Fourth International Workshop on Formal Methods for Interactive Systems (FMIS 2011)This paper is concerned with the scaleable and systematic analysis of interactive systems. The motivating problem is the procurement of medical devices. In such situations several different manufacturers offer solutions that support a particular clinical activity. Apart from cost, which is a dominating factor, the variations between devices are relatively subtle and the consequences of particular design features are not clear from manufacturers' manuals, demonstrations or trial uses. De- spite their subtlety these differences can be important to the safety and usability of the device. The paper argues that formal analysis of the range of offered devices can provide a systematic means of comparison. The paper also explores barriers to the use of such techniques, demonstrating how layers of specification may be used to make it possible to reuse common specification. Infusion pumps provide a motivating example. A specific model is described and analysed and comparison between competitive devices is discussed rather than dealt with in detail.(undefined

Supporting adaptiveness of cyber-physical processes through action-based formalisms

Cyber Physical Processes (CPPs) refer to a new generation of business processes enacted in many application environments (e.g., emergency management, smart manufacturing, etc.), in which the presence of Internet-of-Things devices and embedded ICT systems (e.g., smartphones, sensors, actuators) strongly influences the coordination of the real-world entities (e.g., humans, robots, etc.) inhabitating such environments. A Process Management System (PMS) employed for executing CPPs is required to automatically adapt its running processes to anomalous situations and exogenous events by minimising any human intervention. In this paper, we tackle this issue by introducing an approach and an adaptive Cognitive PMS, called SmartPM, which combines process execution monitoring, unanticipated exception detection and automated resolution strategies leveraging on three well-established action-based formalisms developed for reasoning about actions in Artificial Intelligence (AI), including the situation calculus, IndiGolog and automated planning. Interestingly, the use of SmartPM does not require any expertise of the internal working of the AI tools involved in the system

Use of electronic resources by postgraduate students in University of Cape Coast

The study investigates the use of electronic resources by postgraduate students in University of Cape Coast (UCC). It specifically targets first year postgraduate students of UCC. Awareness, usage, training, and access were explored. A survey method was employed and a structured questionnaire was utilized to solicit data. The findings revealed that, though students are aware of electronic resources, they do not fully utilize them to support their academic pursuit due to poor level of information literacy skills. However, few students had not participated in all information literacy skills training organized by the library. Results from the study showed that, significant number of postgraduate students do access electronic resources when on campus and mostly use electronic devices such as laptops, ipad, desktop computers, and mobile phones. The findings indicated that students use the electronic resources to complete assignments, write project work, to update lessons note, for research, and update themselves on new information in their fields of study. It was recommended that a structured curriculum should therefore be established as part of postgraduate students’ normal lecture periods where time is allocated on their time table for electronic resource training, and if possible, credited to their academic performance ratings or grading

Formal verification of a space system's user Interface with the IVY workbench

This paper describes the application of the IVY workbench to the formal analysis of a user interface for a safety-critical aerospace system. The operation manual of the system was used as a requirement document, and this made it possible to build a reference model of the user interface, focusing on navigation between displays, the information provided by each display, and how they are interrelated. Usability-related property specification patterns were then used to derive relevant properties for verification. This paper discusses both the modeling strategy and the analytical results found using the IVY workbench. The purpose of the reference model is to provide a standard against which future versions of the interface may be assessed.EPSRC - Engineering and Physical Sciences Research Council(EP/G059063/1)This work was partly funded by project ref. NORTE-07-0124-FEDER-000062, co-financed by the North Portugal Regional Operational Programme (ON.2 O Novo Norte), under the National Strategic Reference Framework (NSRF), through the European Regional Development Fund (ERDF), and by national funds, through the Portuguese foundation for science and technology (FCT)

Interaction Design: Foundations, Experiments

Interaction Design: Foundations, Experiments is the result of a series of projects, experiments and curricula aimed at investigating the foundations of interaction design in particular and design research in general. The first part of the book - Foundations - deals with foundational theoretical issues in interaction design. An analysis of two categorical mistakes -the empirical and interactive fallacies- forms a background to a discussion of interaction design as act design and of computational technology as material in design. The second part of the book - Experiments - describes a range of design methods, programs and examples that have been used to probe foundational issues through systematic questioning of what is given. Based on experimental design work such as Slow Technology, Abstract Information Displays, Design for Sound Hiders, Zero Expression Fashion, and IT+Textiles, this section also explores how design experiments can play a central role when developing new design theory

Doctor of Philosophy

dissertationOne out of every six children in sub-Saharan Africa dies from treatable diseases before reaching age 5. Millions of these deaths could be averted if health care providers followed evidence-based protocols, such as the Integrated Management of Childhood Illnesses (IMCI), to provide care. IMCI assists providers to diagnose and treat problems for children under 5, and specifies key information for the provider to teach to the child's caretaker. While IMCI has been adopted as official policy throughout Tanzania, the protocol has been neither universally used nor consistently followed. An innovative IMCI-based protocol that runs on a mobile phone, called eIMCI, was designed for this study using user-centered design (UCD) principles to assist provider navigation of the protocol and improve provider-caretaker communication of key information points, including the problem and treatment of the child, and when to return to the clinic. The electronic protocol, eIMCI, was compared to an equivalent paper-based protocol, pIMCI. This study was based on the mHealth Communications Theoretical Framework. The aims of the study were to (1) utilize UCD design principles to develop eIMCI and evaluate its usability, and (2) evaluate the effect of protocol delivery platform on (a) provider communication and (b) caretaker recall of key information points. A randomized cluster trial was conducted in which health care clinics in Tanzania were randomized to implement each platform. Results suggested that electronic protocol use led to improved provider-caretaker communication. Providers who used eIMCI were more likely to give counseling that covered the key information points specified, and caretakers in the eIMCI arm recalled more of these key information points overall. The implications of this work suggested that the eIMCI mobile protocol may lead to improved provider-caretaker communication, which may result in a greater ability for caretakers to carry out treatment plans in the home. When utilizing mobile devices to deliver such interventions, the structure, clarity, and direction enabled by the electronic platform are suggested to promote adoption of the complete sphere of high-quality clinical care. As such adoption is continued, understanding of key health information may become firmly rooted in caretaker health literacy levels

Building high-quality merged ontologies from multiple sources with requirements customization

Ontologies are the prime way of organizing data in the Semantic Web. Often, it is necessary to combine several, independently developed ontologies to obtain a knowledge graph fully representing a domain of interest. Existing approaches scale rather poorly to the merging of multiple ontologies due to using a binary merge strategy. Thus, we aim to investigate the extent to which the n-ary strategy can solve the scalability problem. This thesis contributes to the following important aspects: 1. Our n-ary merge strategy takes as input a set of source ontologies and their mappings and generates a merged ontology. For efficient processing, rather than successively merging complete ontologies pairwise, we group related concepts across ontologies into partitions and merge first within and then across those partitions. 2. We take a step towards parameterizable merge methods. We have identified a set of Generic Merge Requirements (GMRs) that merged ontologies might be expected to meet. We have investigated and developed compatibilities of the GMRs by a graph-based method. 3. When multiple ontologies are merged, inconsistencies can occur due to different world views encoded in the source ontologies To this end, we propose a novel Subjective Logic-based method to handling the inconsistency occurring while merging ontologies. We apply this logic to rank and estimate the trustworthiness of conflicting axioms that cause inconsistencies within a merged ontology. 4. To assess the quality of the merged ontologies systematically, we provide a comprehensive set of criteria in an evaluation framework. The proposed criteria cover a variety of characteristics of each individual aspect of the merged ontology in structural, functional, and usability dimensions. 5. The final contribution of this research is the development of the CoMerger tool that implements all aforementioned aspects accessible via a unified interface