Endurants and Perdurants in Directly Depicting Ontologies

We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes and the enduring entities that participate therein. For this purpose we introduce the notion a directly depicting ontology. Directly depicting ontologies are based on relatively simple languages and fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and employ distinct though compatible systems of categories. A SNAP (snapshot) ontology comprehends enduring entities such as organisms, geographic features, or qualities as they exist at some given moment of time. A SPAN ontology comprehends perduring entities such as processes and their parts and aggregates as they unfold themselves through some temporal interval. We give an axiomatic account of the theory of directly depicting ontologies and of the core parts of the metaontological fragment within which they are embedded

A Survey of Top-Level Ontologies - to inform the ontological choices for a Foundation Data Model

The Centre for Digital Built Britain has been tasked through the Digital Framework Task Group to develop an Information Management Framework (IMF) to support the development of a National Digital Twin (NDT) as set out in “The Pathway to an Information Management Framework” (Hetherington, 2020). A key component of the IMF is a Foundation Data Model (FDM), built upon a top-level ontology (TLO), as a basis for ensuring consistent data across the NDT. This document captures the results collected from a broad survey of top-level ontologies, conducted by the IMF technical team. It focuses on the core ontological choices made in their foundations and the pragmatic engineering consequences these have on how the ontologies can be applied and further scaled. This document will provide the basis for discussions on a suitable TLO for the FDM. It is also expected that these top-level ontologies will provide a resource whose components can be harvested and adapted for inclusion in the FDM

Biomedical ontologies: What part-of is and isn’t

AbstractMereological relations such as part-of and its inverse has-part are fundamental to the description of the structure of living organisms. Whereas classical mereology focuses on individual entities, mereological relations in biomedical ontologies are generally asserted between classes of individuals. In general, this practice leaves some basic issues unanswered: type constraints of mereological relations, e.g., concerning artifacts and biological entities, the relation between parthood and time, inferred parts and wholes as well as a delimitation of parthood against spatial inclusion. Furthermore, mereological relations can be asserted not only between physical objects but also between biological processes and medical procedures. We analyze these ambiguities and make suggestions for a standardization of mereological relations in biomedical ontologies

Spatial location and its relevance for terminological inferences in bio-ontologies

<p>Abstract</p> <p>Background</p> <p>An adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggregation and containment.</p> <p>Results</p> <p>We demonstrate that the proposed formalism allows to deal consistently with "role propagation along non-taxonomic hierarchies", a problem which had repeatedly been identified as an intricate reasoning problem in biomedical ontologies.</p> <p>Conclusion</p> <p>The proposed approach seems to be suitable for the redesign of compositional hierarchies in (bio)medical terminology systems which are embedded into the framework of the OBO (Open Biological Ontologies) Relation Ontology and are using knowledge representation languages developed by the Semantic Web community.</p

A formal theory for spatial representation and reasoning in biomedical ontologies

Objective: The objective of this paper is to demonstrate how a formal spatial theory can be used as an important tool for disambiguating the spatial information embodied in biomedical ontologies and for enhancing their automatic reasoning capabilities. Method and Materials: This paper presents a formal theory of parthood and location relations among individuals, called Basic Inclusion Theory (BIT). Since biomedical ontologies are comprised of assertions about classes of individuals (rather than assertions about individuals), we define parthood and location relations among classes in the extended theory BIT+Cl (Basic Inclusion Theory for Classes). We then demonstrate the usefulness of this formal theory for making the logical structure of spatial information more precise in two ontologies concerned with human anatomy: the Foundational Model of Anatomy (FMA) and GALEN. Results: We find that in both the FMA and GALEN, class-level spatial relations with different logical properties are not always explicitly distinguished. As a result, the spatial information included in these biomedical ontologies is often ambiguous and the possibilities for implementing consistent automatic reasoning within or across ontologies are limited. Conclusion: Precise formal characterizations of all spatial relations assumed by a biomedical ontology are necessary to ensure that the information embodied in the ontology can be fully and coherently utilized in a computational environment. This paper can be seen as an important beginning step toward achieving this goal, but much more work is along these lines is required

Alcune considerazioni sul rapporto tra semantica e metafisica nella teoria degli eventi di Kim

La teoria degli eventi che Kim delinea \ue8 considerata una delle pi\uf9 influenti teorie metafisiche de- gli eventi. In questo lavoro si presenta tale teoria e si esamina la sua plausibilit\ue0. In particolare, si indaga la tesi semantica di Kim secon- do cui due nominali per eventi sono coreferenziali solo se le espres- sioni predicative che essi contengono stanno per la stessa propriet\ue0. Inoltre, si esamina i) se gli eventi concepiti alla Kim debbano essere distinti dai fatti e ii) quali sono i motivi per cui tale teoria d\ue0 luogo ad una implausibile moltiplicazione degli eventi