Tutorial : Logic-Based Tools for Merging Taxonomies

Taxonomies are one of the Knowledge Organization Systems (KOSs) that categorize abstract concepts or physical entities into a hierarchical manner. When multiple taxonomies exist for the same subject matter, challenges around reconciliation of these taxonomies emerge. This tutorial introduces a logic-based taxonomy alignment approach that moves beyond traditional equivalence mapping, allowing for more nuanced mapping relations such as overlaps, disjointness, inclusion and inverse-inclusion. Participants will learn about existing interoperability efforts, explore practical use cases, and gain hands-on experience using the Euler/X tool to construct and align taxonomies in this session.