Abstract

Introduction: The International Classification for Nursing Practice (ICNP®) includes an ontology to represent the terms contained within it. In Brazil, in order to contribute to the development of this classification, an ontology was elaborated, comprising the representation of concepts and terms from the International Classification of Public Health Nursing Practice (Classificacao Internacional para as Praticas de Enfermagem em Saude Coletiva – CIPESC®). The identification of ontology elements in the aforementioned classification systems helps to understand how they might be used to represent the elements of nursing practice in an automated manner. Objectives: To identify ontology elements in the ICNP® and CIPESC®. Methods: Documentary, exploratory, and descriptive study. Data collection was based on the capture of structural characteristics of the various versions of the ICNP® and of the CIPESC®, including axis structure and term hierarchy structure. Data analysis was performed by comparing the elements of the captured characteristics with the following ontology elements: concepts, instances, properties, relationships, constrains and axioms. Results: The structural characteristics of ICNP® and CIPESC® are presented. Concepts, properties, relationships, constrains, and axioms were identified in both classifications. Conclusions: An ontology ensures consistency to nursing terminologies, providing evidence for practice and contributing to the unification of the nursing language. This research facilitates the development of ontologies for nursing practice based on nursing terminologies, contributing to the development of health policies by using ontologies in information systems.

Highlights

  • The goal of this introduction is to sketch, on an informal level, what the Semantic Web is, why it needs ontologies, and where description logics come into play

  • We will first give a brief introduction to description logics, and argue why they are well-suited as ontology languages

  • Parent ≡ Human ∃hasParent−. , Grandparent ≡ ∃hasParent−.Parent, The TBox consisting of the above concept definitions and general concept inclusion (GCI), together with the fact that hasAncestor is a transitive superrole of hasParent, implies the following subsumption relationship: Grandparent Sorcerer ∃hasParent−.∃hasParent−.Sorcerer, 2 In order to give cyclic definitions definitional impact, one would need to use fixpoint semantics for them [64, 2]

Read more

Summary

Introduction

The goal of this introduction is to sketch, on an informal level, what the Semantic Web is, why it needs ontologies, and where description logics come into play. Optimized systems (FaCT, Race, and Dlp [55, 45, 68]) showed that tableau-based algorithm for expressive DLs lead to a good practical behavior of the system even on (some) large knowledge bases In this phase, the relationship to modal logics [29, 74] and to decidable fragments of first-order logic was studied in more detail [16, 66, 42, 40, 41], and applications in databases (like schema reasoning, query optimization, and DB integration) were investigated [21, 22, 25, 26]. The actual use of DLs providing these features as the underlying logical formalism of the web ontology languages OIL and DAML+OIL [36, 52] substantiates this claim [76]

The Expressive Description Logic SHIQ
Describing Ontologies in SHIQ
Reasoning in SHIQ
Extensions and variants of SHIQ
Conclusion

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.