AAU logo

Categorization and production of formal ontologies with Protégé

Categorization and production of formal ontologies with Protégé

Pilot study on "Categorization and production of formal ontologies with Protégé"

Keywords: Formal ontology in categorization, biochemistry, biomedicine, protégé, student categorization in practice, student created ontology, computational thinking as sanitization and normalization of terminology, logical connections, relations, categorizing, pattern recognition

The pilot study was conducted during a Cand.IT masters course on Logic and Time. The course focused on the creation of ontologies and establishment of relations between these ontologies by applying the open-source tool Protégé. The aim was to teach the students how to operate the tool to create synonymously defined ontologies defined across differing domains through a logical connection and in terms of overall relevance.

In relation to CT, this study aimed particularly at incorporating computational thinking principles in the form of Pattern recognition as a primary competence and abstraction secondarily. This by placing a distinct focus on the relation (patterns) between data, concepts and terminology within the confines of formal ontology. Abstraction is recognized as a natural part of this process as redundant unnecessary data is filtered and removed within the very same process.

For further information contact David Jacobsen