Catalogue of Anti-Patterns for formal Ontology debugging

Debugging of inconsistent OWL ontologies is normally a tedious and time-consuming task where a combination of ontology engineers and domain expert is often required to understand whether the changes to be performed in order to make the OWL ontology consistent are actually changing the intended meaning of the original knowledge model. This task is aided by existing ontology debugging systems, incorporated in existing reasoners and ontology engineering tools, which ameliorate this problem but in complex cases are still far from providing adequate support to ontology engineers, due to lack of efficiency or lack of precision in determining the main causes for inconsistencies. In this paper we describe a set of anti-patterns commonly found in OWL ontologies, which can be useful in the task of ontology debugging in combination with those debugging tools

Semantics of trace relations in requirements models for consistency checking and inferencing

Requirements traceability is the ability to relate requirements back to stakeholders and forward to corresponding design artifacts, code, and test cases. Although considerable research has been devoted to relating requirements in both forward and backward directions, less attention has been paid to relating requirements with other requirements. Relations between requirements influence a number of activities during software development such as consistency checking and change management. In most approaches and tools, there is a lack of precise definition of requirements relations. In this respect, deficient results may be produced. In this paper, we aim at formal definitions of the relation types in order to enable reasoning about requirements relations. We give a requirements metamodel with commonly used relation types. The semantics of the relations is provided with a formalization in first-order logic. We use the formalization for consistency checking of relations and for inferring new relations. A tool has been built to support both reasoning activities. We illustrate our approach in an example which shows that the formal semantics of relation types enables new relations to be inferred and contradicting relations in requirements documents to be determined. The application of requirements reasoning based on formal semantics resolves many of the deficiencies observed in other approaches. Our tool supports better understanding of dependencies between requirements

Enhance maintenance problem recognition techniques and its application to palm oil mills

This paper discusses the application of enhanced maintenance problem recognition techniques. The main contribution of this study is the proposed combined techniques, namely snapshot model, failure mode, effect and criticality analysis (FMECA), Pareto analysis, and decision analysis by using information technology (IT). The snapshot model is part of the maintenance modelling technique while FMECA, Pareto analysis, and decision analysis are part of maintenance reliability techniques. Each of the techniques and the proposed combined techniques is explained. The case study used for this enhanced technique was the palm oil mills maintenance problem. The result and possible further enhancement is also discussed

Enhanced maintenance problem recognition techniques and its application to palm oil mills

This paper discusses the application of enhanced maintenance problem recognition techniques. The main contribution of this study is the proposed combined techniques, namely snapshot model, failure mode, effect and criticality analysis (FMECA),Pareto analysis, and decision analysis by using information technology (IT). The snapshot model is part of the maintenance modelling technique while FMECA, Pareto analysis, and decision analysis are part of maintenance reliability techniques.Each of the techniques and the proposed combined techniques is explained. The case study used for this enhanced technique was the palm oil mills maintenance problem. The result and possible further enhancement is also discussed

Measurement in biological systems from the self-organisation point of view

Measurement in biological systems became a subject of concern as a consequence of numerous reports on limited reproducibility of experimental results. To reveal origins of this inconsistency, we have examined general features of biological systems as dynamical systems far from not only their chemical equilibrium, but, in most cases, also of their Lyapunov stable states. Thus, in biological experiments, we do not observe states, but distinct trajectories followed by the examined organism. If one of the possible sequences is selected, a minute sub-section of the whole problem is obtained, sometimes in a seemingly highly reproducible manner. But the state of the organism is known only if a complete set of possible trajectories is known. And this is often practically impossible. Therefore, we propose a different framework for reporting and analysis of biological experiments, respecting the view of non-linear mathematics. This view should be used to avoid overoptimistic results, which have to be consequently retracted or largely complemented. An increase of specification of experimental procedures is the way for better understanding of the scope of paths, which the biological system may be evolving. And it is hidden in the evolution of experimental protocols.Comment: 13 pages, 5 figure

A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs

The actor model is an attractive foundation for developing concurrent applications because actors are isolated concurrent entities that communicate through asynchronous messages and do not share state. Thereby, they avoid concurrency bugs such as data races, but are not immune to concurrency bugs in general. This study taxonomizes concurrency bugs in actor-based programs reported in literature. Furthermore, it analyzes the bugs to identify the patterns causing them as well as their observable behavior. Based on this taxonomy, we further analyze the literature and find that current approaches to static analysis and testing focus on communication deadlocks and message protocol violations. However, they do not provide solutions to identify livelocks and behavioral deadlocks. The insights obtained in this study can be used to improve debugging support for actor-based programs with new debugging techniques to identify the root cause of complex concurrency bugs.Comment: - Submitted for review - Removed section 6 "Research Roadmap for Debuggers", its content was summarized in the Future Work section - Added references for section 1, section 3, section 4.3 and section 5.1 - Updated citation

Professional issues in maternal mental health scale (PIMMHS): The development and initial validation of a brief and valid measure

Introduction:The life-threatening consequences of perinatal mental health problems (PMHP) are well documented. Midwives are ideally placed to effectively identify women at risk and facilitate early intervention. However, a multitude of factors contribute to failure in recognition and treatment. It would be of value for service providers to be able to identify key professional issues in their own context. The present study sought to develop and evaluate a ‘professional issues in maternal mental health’ scale (PIMMHS), explore its psychometric properties and potential application.Methods:A cross-sectional design and instrument evaluation approach was taken to investigate the psychometric properties of the PIMMHS. A total of 266 student midwives from 10 UK institutions completed the PIMMHS via Survey Monkey.Results:PIMMHS comprises two sub-scales of emotion/communication (PIMMHSEmotion sub-scale) and training (PIMMHS-Training sub-scale). Both PIMMHS subscales demonstrate adequate divergent and convergent validity. Sub-optimal internal consistency was observed for the training sub-scale, however, the PIMMHS-Training had a more impressive effect size in terms of known-groups discriminant validity compared to PIMMHS-Emotion.Conclusions:The PIMMHS appears to be a sound psychometric instrument for assessing professional issues that influence the practice of student midwives in PMH. The PIMMHS could support education providers to identify areas for curriculum development, as well as maternity services in proactive assessment of service provision, to identify training and service development opportunities