Here we present what we believe is a novel account of what languages are, along with an axiomatically rich representation of languages and language-related data that is based on this account. We propose an account of languages as aggregates of dispositions distributed across aggregates of persons, and in doing so we address linguistic competences and the processes that realize them. This paves the way for representing additional types of language-related entities. Like demographic data of other sorts, data about languages may (...) be of use to researchers in a number of areas, including biomedical research. Data on the languages used in clinical encounters are typically included in medical records, and capture an important factor in patient-provider interactions. Like many types of patient and demographic data, data on a person’s preferred and primary languages are organized in different ways by different systems. This can be a barrier to data integration. We believe that a robust framework for representing language in general and preferred and primary language in particular – which has been lacking in ontologies thus far – can promote more successful integration of language-related data from disparate data sources. (shrink)

Social-media platforms have become a global phenomenon of communication, where users publish content in text, images, video, audio or a combination of them to convey opinions, report facts that are happening or show current situations of interest. Smart-city applications can benefit from social media and digital participatory platforms when citizens become active social sensors of the problems that occur in their communities. Indeed, systems that analyse and interpret user-generated content can extract actionable information from the digital world to improve citizens’ (...) quality of life. This article aims to model the knowledge required for automatic problem detection to reproduce citizens’ awareness of problems from the analysis of text-based user-generated content items. Therefore, this research focuses on two primary goals. On the one hand, we present the underpinnings of the ontological model that categorises the types of problems affecting citizens’ quality of life in society. In this regard, this study contributes significantly to developing an ontology based on the social-sensing paradigm to support the advance of smart societies. On the other hand, we describe the architecture of the text-processing module that relies on such an ontology to perform problem detection, which involves the tasks of topic categorisation and keyword recognition. (shrink)

Background: SNOMED CT is a large terminology system designed to represent all aspects of healthcare. Its current form and content result from decades of bottom-up evolution. Due to SNOMED CT’s formal descriptions, it can be considered an ontology. The Basic Formal Ontology (BFO) is a foundational ontology that proposes a small set of disjoint, hierarchically ordered classes, supported by relations and axioms. In contrast, as a typical top-down endeavor, BFO was designed as a foundational framework for domain ontologies in the (...) natural sciences and related disciplines. Whereas it is mostly assumed that domain ontologies should be created as extensions of foundational ontologies, a post-hoc harmonization of consolidated domain ontologies in use, such as SNOMED CT, is known to be challenging. Methods: We explored the feasibility of harmonizing SNOMED CT with BFO, with a focus on the SNOMED CT Clinical Finding hierarchy. With more than 100,000 classes, it accounts for about one third of SNOMED CT’s content. In particular, we represented typical SNOMED CT finding/disorder concepts using description logics under BFO. Three representational patterns were created and the logical entailments analyzed. Results: Under a first scrutiny, the clinical intuition that diseases, disorders, signs and symptoms form a homogeneous ontological upper-level class appeared incompatible with BFO’s upper-level distinction into continuants and occurrents. The Clinical finding class seemed to be an umbrella for all kinds of entities of clinical interest, such as material entities, processes, states, dispositions, and qualities. This suggests the conclusion that Clinical finding would not be a suitable upper-level class from an BFO perspective. On closer inspection of the taxonomic links within this hierarchy and the implicit meaning derived thereof, it became clear that Clinical finding classes do not characterize the entity (e.g. a fracture, allergy, tumor, pain, hemorrhage, seizure, fever) in a literal sense but rather the condition of a patient having that fracture, allergy, pain etc. This gives sense to the current characteristic of the Clinical Finding hierarchy, in which complex classes are modeled as subclasses of their constituents. Most of these taxonomic links are inferred, as the consequence of the ‘role group’ design pattern, which is ubiquitous in SNOMED CT and has often been subject of controversy regarding its semantics. Conclusion: Our analyses resulted in the proposal of (i) equating SNOMED CT’s ‘role group’ property with the reflexive and transitive BFO relation ‘has occurrent part’; and (ii) reinterpreting Clinical Findings as Clinical Occurrents, i.e. temporally extended entities in an organism, having one or more occurrents as temporal parts that occur in continuants. This re-interpretation was corroborated by a manual analysis of classes under Clinical Finding, as well as the identification of similar modeling patterns in other ontologies. As a result, SNOMED CT does not require any content redesign to establish compatibility with BFO, apart from this re-interpretation, and a suggested re-labeling. Regarding the feasibility of harmonizing terminologies with principled foundational ontologies post-hoc, our results provide support to the assumption that this does not necessarily require major redesign efforts, but rather a careful analysis of the implicit assumptions of terminology curators and users. (shrink)

Classical systems of mereology identify a maximuml set of jointly exhaustive and pairwise disjoint (RCC5) relations. The amount of information that is carried by each member of this set of (crisp) relations is determined by the number of bits of information that are required to distinguish all the members of the set. It is postulated in this paper, that vague mereological relations are limited in the amount of information they can carry. That is, if a crisp mereological relation can carry (...) N bits of information, then a vague mereological relation can carry only 1 ⩽ n < N bits. The aim of this paper is it to explore these ideas in the context of various systems of vague mereological relations. The resulting formalism is non-classical in the sense of quantum information theory. (shrink)

In mining, manufacturing and industrial process industries, maintenance procedures are used as an aid to guide technicians through complex manual tasks. These procedures are not machine-readable, and cannot support reasoning in digitally integrated manufacturing systems. Procedure documents contain unstructured text and are stored in a variety of formats. The aim of this work is to query information held in real industrial maintenance procedures. To achieve this, we develop an ontology for maintenance procedures using the OWL 2 description language. We leverage (...) classes and object properties from the ISO 15926 Part 14 Upper Ontology and create a domain ontology. The key contribution of this paper is a demonstration of trade-offs required when modelling an existing engineering artifact, where an abstraction of its contents is given a-priori. We provide an ontologically rigorous abstraction of notions captured in procedure documentation to a set of classes, relations and axioms that allow reasoning over the contents. Validation of the ontology is performed via a series of competency questions based on queries relevant to technicians, engineers and schedulers in industry. The ontology is applied to real world maintenance procedures from two industrial organisations. (shrink)

Organisations are increasingly transforming themselves to remain profitable and obtain sustainable competitive advantages. Business processes are as important as technology in promoting organisational transformation. Organisational transformation ultimately entails combining existing business components, whether or not with the same use and design, with new ones to generate novel products and services. For example, one particular type of organisation transformation is digital transformation. This notion, which covers even the subjective aspects of organisational transformation, is currently under intensive discussion and suffers from the (...) semantics terms fluctuation related to the notion of ‘organisational transformation’. We argue that this topic could strongly benefit from an ontological analysis and conceptual clarification of these notions. This paper contributes with an attempt in this direction by proposing a Core Ontology of Organisational Transformation (COOT). This ontology comprises concepts and relations central to creating a reference model representing the organisational transformation paradigm. COOT was applied in a real-world case study on a car rental company. (shrink)

Reuse of elements from existing ontologies in the construction of new ontologies is a foundational principle in ontological design. It offers the benefits, among others, of consistency and interoperability between such knowledge structures as well as sharing resources. Reuse is widely found within important collections of established ontologies, such as BioPortal and the OBO Foundry. However, reuse comes with its own potential problems involving ontological commitment, granularity, and ambiguity. Guidelines are proposed to aid ontology developers and curators in their prospective (...) reuse of content. These guidelines have been gleaned over years of practice in the ontology field. The guidelines are couched in experiential reports on designing and curating particular ontologies (e.g., EXACT and EXACT2) and using generally accepted approaches (e.g., MIREOT) in doing so. Various software tools to assist in ontology reuse are surveyed and discussed. (shrink)

The use of ontologies to model human behaviours that affect health is challenging since this process involves data from multiple inter-related domains that unfold and evolve over time. However, while current ontology development methodologies are generic enough to model any domain of interest, they do not provide design guidelines for modelling time-related aspects. This paper proposes a methodology for ontology development that entails the requirements for behaviours modelling based on passive temporal data. Its main focus is on temporal representations of (...) classes and their holistic relations since no other methodology approaches ontology design from its temporal perspective. We exemplify these ideas by modelling the sleep behaviour domain, its relations to other behavioural aspects, and its effects on health. (shrink)