Amanda Damasceno de Souza1 and Mauricio Barcellos Almeida2*
1Graduate Program in Information Systems & Knowledge Management, FUMEC University, Brazil
1Graduate Program in Knowledge Organization & Management, Federal University of Minas Gerais, Brazil
*Corresponding author: Mauricio Barcellos Almeida, Graduate Program in Knowledge Organization & Management, Federal University of Minas Gerais, Brazil
Submission: March 04, 2022;Published: April 14, 2022
Volume3 Issue5April, 2022
Definitions are very important devices to build useful biomedical ontologies. The formulation of formal definitions should follow Aristotelian tennets. This paper aims to describe OntoDef, a method for the creation of suitable definitions for ontologies. The main contribution of the OntoDef method is to make explicit the identity of entities related to biomedical terms under definition, in establishing necessary and sufficient conditions.
Keywords: Definitions; Textual definitions; Biomedical ontology; Genus; Differrentia; Ontodef method
Textual definitions in ontologies are essential for the consistent use of specialized terms in interdisciplinary communities. Well-formulated definitions ensure consistency of human reasoning and support computational reasoning. These are requirements for an ontology to participate in biomedical repositories, such as the OBO Foundry [1-4].
In this article, the application of the OntoDef method for formulating textual definitions in biomedical ontologies is introduced and demonstrated. The method consists of systematizing principles to create definitions in natural language. It is developed within Information Science research and based on Aristotelian principles to define [5,6].
For Aristotle, each species of a “Genus” has a unique “Differentia” . For example, the species “man” comprises the genus “animal” and a Differentia concerning other animals. Genus and Differentia define a term by providing the essence of an entity . An Aristotelian definition is expressed in the form “α =def. β”, where α is the specie and β is the combination of the Genus + Differentia correspondent to α [7,9].
Principle of the unique inheritance
In ontologies, definitions are arranged hierarchically so that a term must not have two parents, that is, entities of a direct superior hierarchy. In having two parents we will incur multiple inheritance, which is not suitable for ontological definitions .
Principle of necessary and sufficient conditions
If a’ is a necessary condition for an entity to be of type A, then every entity that is of type A will have the condition a’ .
Principle of non-circularity
One should not define the term recursively; for example, laboratory examination is one performed in a clinical laboratory .
Principle of Intelligibility
The definition must use intelligible terms that are easy to understand so that the definition is not restricted to domain experts [5,10].
The OntoDef method is depicted in Figure 1. A full example of the Ontodef method to define a real term is presented in Table 1.
Figure 1: Algorithm for applying the OntoDef method. Source: Adapted from Souza AD  Souza AD et al. .
Table 1: Formulation of definition for the term “Acute erythroid leukemia” in Blood Ontology using OntoDef
The application of the OntoDef method brought a relevant contribution by addressing gaps in the way of creating definitions in ontologies. The method provides a view of the entity’s essence by establishing the necessary and sufficient conditions through methodological steps that condition the ontology creator to a reflection on the definition process.
© 2022 Mauricio Barcellos Almeida. This is an open access article distributed under the terms of the Creative Commons Attribution License , which permits unrestricted use, distribution, and build upon your work non-commercially.