What Are Kinship Terminologies, and Why Do We Care? A Computational Approach to Analyzing Symbolic Domains

Kinship is a fundamental feature and basis of human societies. We describe a set of computational tools and services, the Kinship Algebra Modeler, and the logic that underlies these. These were developed to improve how we understand both the fundamental facts of kinship, and how people use kinship as a resource in their lives. Mathematical formalism applied to cultural concepts is more than an exercise in model building, as it provides a way to represent and explore logical consistency and implications. The logic underlying kinship is explored here through the kin term computations made by users of a terminology when computing the kinship relation one person has to another by referring to a third person for whom each has a kin term relationship. Kinship Algebra Modeler provides a set of tools, services and an architecture to explore kinship terminologies and their properties in an accessible manner

A Process Modelling Framework Based on Point Interval Temporal Logic with an Application to Modelling Patient Flows

This thesis considers an application of a temporal theory to describe and model the patient journey in the hospital accident and emergency (A&E) department. The aim is to introduce a generic but dynamic method applied to any setting, including healthcare. Constructing a consistent process model can be instrumental in streamlining healthcare issues. Current process modelling techniques used in healthcare such as flowcharts, unified modelling language activity diagram (UML AD), and business process modelling notation (BPMN) are intuitive and imprecise. They cannot fully capture the complexities of the types of activities and the full extent of temporal constraints to an extent where one could reason about the flows. Formal approaches such as Petri have also been reviewed to investigate their applicability to the healthcare domain to model processes. Additionally, to schedule patient flows, current modelling standards do not offer any formal mechanism, so healthcare relies on critical path method (CPM) and program evaluation review technique (PERT), that also have limitations, i.e. finish-start barrier. It is imperative to specify the temporal constraints between the start and/or end of a process, e.g., the beginning of a process A precedes the start (or end) of a process B. However, these approaches failed to provide us with a mechanism for handling these temporal situations. If provided, a formal representation can assist in effective knowledge representation and quality enhancement concerning a process. Also, it would help in uncovering complexities of a system and assist in modelling it in a consistent way which is not possible with the existing modelling techniques. The above issues are addressed in this thesis by proposing a framework that would provide a knowledge base to model patient flows for accurate representation based on point interval temporal logic (PITL) that treats point and interval as primitives. These objects would constitute the knowledge base for the formal description of a system. With the aid of the inference mechanism of the temporal theory presented here, exhaustive temporal constraints derived from the proposed axiomatic system’ components serves as a knowledge base. The proposed methodological framework would adopt a model-theoretic approach in which a theory is developed and considered as a model while the corresponding instance is considered as its application. Using this approach would assist in identifying core components of the system and their precise operation representing a real-life domain deemed suitable to the process modelling issues specified in this thesis. Thus, I have evaluated the modelling standards for their most-used terminologies and constructs to identify their key components. It will also assist in the generalisation of the critical terms (of process modelling standards) based on their ontology. A set of generalised terms proposed would serve as an enumeration of the theory and subsume the core modelling elements of the process modelling standards. The catalogue presents a knowledge base for the business and healthcare domains, and its components are formally defined (semantics). Furthermore, a resolution theorem-proof is used to show the structural features of the theory (model) to establish it is sound and complete. After establishing that the theory is sound and complete, the next step is to provide the instantiation of the theory. This is achieved by mapping the core components of the theory to their corresponding instances. Additionally, a formal graphical tool termed as point graph (PG) is used to visualise the cases of the proposed axiomatic system. PG facilitates in modelling, and scheduling patient flows and enables analysing existing models for possible inaccuracies and inconsistencies supported by a reasoning mechanism based on PITL. Following that, a transformation is developed to map the core modelling components of the standards into the extended PG (PG*) based on the semantics presented by the axiomatic system. A real-life case (from the King’s College hospital accident and emergency (A&E) department’s trauma patient pathway) is considered to validate the framework. It is divided into three patient flows to depict the journey of a patient with significant trauma, arriving at A&E, undergoing a procedure and subsequently discharged. Their staff relied upon the UML-AD and BPMN to model the patient flows. An evaluation of their representation is presented to show the shortfalls of the modelling standards to model patient flows. The last step is to model these patient flows using the developed approach, which is supported by enhanced reasoning and scheduling

Investigating subsumption in DL-based terminologies: A case study in SNOMED CT

Formalisms such as description logics (DL) are sometimes expected to help terminologies ensure compliance with sound ontological principles. The objective of this paper is to study the degree to which one DL-based biomedical terminology (SNOMED CT) complies with such principles. We defined seven ontological principles (for example: each class must have at least one parent, each class must differ from its parent) and examined the properties of SNOMED CT classes with respect to these principles. Our major results are: 31% of the classes have a single child; 27% have multiple parents; 51% do not exhibit any differentiae between the description of the parent and that of the child. The applications of this study to quality assurance for ontologies are discussed and suggestions are made for dealing with multiple inheritance

Mistakes in medical ontologies: Where do they come from and how can they be detected?

We present the details of a methodology for quality assurance in large medical terminologies and describe three algorithms that can help terminology developers and users to identify potential mistakes. The methodology is based in part on linguistic criteria and in part on logical and ontological principles governing sound classifications. We conclude by outlining the results of applying the methodology in the form of a taxonomy different types of errors and potential errors detected in SNOMED-CT

Terminologia Anatomica; Considered from the Perspective of Next-Generation Knowledge Sources

This report examines the semantic structure of Terminologia Anatomica, taking one randomly selected page as an example. The focus of analysis is the meaning imparted to an anatomical term by virtue of its location within the structured list. Terminologia’s structure expressed through hierarchies of headings, varied typographical styles, indentations and an alphanumeric code implies specific relationships between the terms embedded in the list. Together, terms and relationships can potentially capture essential elements of anatomical knowledge. The analysis focuses on these knowledge elements and evaluates the consistency and logic in their representation. Most critical of these elements are class inclusion and part-whole relationships, which are implied, rather than explicitly modeled by Terminologia. This limits the use of the term list to those who have some knowledge of anatomy and excludes computer programs from navigating through the terminology. Assuring consistency in the explicit representation of anatomical relationships would facilitate adoption of Terminologia as the anatomical standard by the various controlled medical terminology (CMT) projects. These projects are motivated by the need for computerizing the patient record, and their aim is to generate machineunderstandable representations of biomedical concepts, including anatomy. Because of the lack of a consistent and explicit representation of anatomy, each of these CMTs has generated it own anatomy model. None of these models is compatible with each other, yet each is consistent with textbook descriptions of anatomy. The analysis of the semantic structure of Terminologia Anatomica leads to some suggestions for enhancing the term list in ways that would facilitate its adoption as the standard for anatomical knowledge representation in biomedical informatics

WHY CAN HUNTER-GATHERER GROUPS BE ORGANIZED SIMLARLY FOR RESOURCE PROCUREMENT, BUT THEIR KINSHIP TERMINOLOGIES ARE STRIKINGLY DISSIMILAR: A CHALLENGE FOR FUTURE CROSS-CULTURAL RESEARCH

Cross-cultural research involves explanatory arguments framed at the meta-level of a cohort of societies, each with its own historical development as an internally structured and organized system. Historically, cross-cultural research on hunter-gatherer groups initially was in accord with the general anthropological interest in determining the ideational basis for differences in systems of social organization, but more recent work has shifted emphasis to the phenomenal level of factors affecting the mode of adaptation to an external environment. This has left a major lacuna in our understanding of the reasons for cross-cultural differences among ideational systems such as kinship terminologies in hunter-gatherer societies. I address this lacuna in this article through cross-cultural comparison of hunter-gatherer kinship terminologies at an ideational, qualitative level. The means for so doing is first worked out using the kinship terminology of the Hadza, an East African hunter-gather group. Next, comparison of the Hadza and their kinship terminology with two other hunter-gatherer groups prominent in the anthropological literature, along with their kinship terminologies, makes evident a major disjunction between, on the one hand, the similarity of hunter-gatherer societies at the phenomenal level of activities such as food procurement and, on the other hand, striking differences among the same groups at the ideational level of the structural organization of their kinship terminologies. The reason for the striking differences between the ideational and the phenomenal levels is not immediately evident and remains a topic to be addressed in future cross-cultural research

Belief Revision, Minimal Change and Relaxation: A General Framework based on Satisfaction Systems, and Applications to Description Logics

Belief revision of knowledge bases represented by a set of sentences in a given logic has been extensively studied but for specific logics, mainly propositional, and also recently Horn and description logics. Here, we propose to generalize this operation from a model-theoretic point of view, by defining revision in an abstract model theory known under the name of satisfaction systems. In this framework, we generalize to any satisfaction systems the characterization of the well known AGM postulates given by Katsuno and Mendelzon for propositional logic in terms of minimal change among interpretations. Moreover, we study how to define revision, satisfying the AGM postulates, from relaxation notions that have been first introduced in description logics to define dissimilarity measures between concepts, and the consequence of which is to relax the set of models of the old belief until it becomes consistent with the new pieces of knowledge. We show how the proposed general framework can be instantiated in different logics such as propositional, first-order, description and Horn logics. In particular for description logics, we introduce several concrete relaxation operators tailored for the description logic \ALC{} and its fragments \EL{} and \ELext{}, discuss their properties and provide some illustrative examples