Related Experiment Video
Updated: May 15, 2026

Behavioral Characterization of an Angelman Syndrome Mouse Model
Published on: October 20, 2023
OWL-based reasoning methods for validating archetypes
Marcos Menárguez-Tortosa1, Jesualdo Tomás Fernández-Breis
1Departamento de Informática y Sistemas, Facultad de Informática, Universidad de Murcia, CP 30100 Murcia, Spain. marcos@um.es
Abstract:
Some modern Electronic Healthcare Record (EHR) architectures and standards are based on the dual model-based architecture, which defines two conceptual levels: reference model and archetype model. Such architectures represent EHR domain knowledge by means of archetypes, which are considered by many researchers to play a fundamental role for the achievement of semantic interoperability in healthcare. Consequently, formal methods for validating archetypes are necessary. In recent years, there has been an increasing interest in exploring how semantic web technologies in general, and ontologies in particular, can facilitate the representation and management of archetypes, including binding to terminologies, but no solution based on such technologies has been provided to date to validate archetypes. Our approach represents archetypes by means of OWL ontologies. This permits to combine the two levels of the dual model-based architecture in one modeling framework which can also integrate terminologies available in OWL format. The validation method consists of reasoning on those ontologies to find modeling errors in archetypes: incorrect restrictions over the reference model, non-conformant archetype specializations and inconsistent terminological bindings. The archetypes available in the repositories supported by the openEHR Foundation and the NHS Connecting for Health Program, which are the two largest publicly available ones, have been analyzed with our validation method. For such purpose, we have implemented a software tool called Archeck. Our results show that around 1/5 of archetype specializations contain modeling errors, the most common mistakes being related to coded terms and terminological bindings. The analysis of each repository reveals that different patterns of errors are found in both repositories. This result reinforces the need for making serious efforts in improving archetype design processes.
Related Concept Videos
Deductive Reasoning
For example, a researcher can deduce specific predictions...
Jung's Analytical Theory
Schemata
Two types of schemata are:
Inductive Reasoning
Inductive reasoning is common in descriptive science. A life scientist makes observations and records them. This data can be qualitative or...
The Representativeness Heuristic
Impact of Schemas
