The process of develo** ontologies–a formal, explicit specification of a shared
conceptualisation–is addressed by well-known methodologies. As for any engineering …

Computation tree logic (CTL) is an essential specification language in the field of formal
verification. In systems design and verification, it is often important to update existing …

In recent years, ontology integration has received an increased focus in ontology
engineering. Ontology integration is a complex process that has some difficulties such as …

Pharmacotherapy is fundamental knowledge within the medical domain, specifically
concerning the utilization of drugs or drug therapy for treating diseases or health disorders …

Knowledge graphs and ontologies are closely related concepts in the field of knowledge
representation. In recent years, knowledge graphs have gained increasing popularity and …

The article focuses on the specification of aspects entering the domains of cognition,
reasoning, and subsequent decision-making in different situations. We assume that each …

Introdução............................................................................................................. 2. Protocolo de
Revisão Sistemática de Literatura................................................. 2.1. Questões de …