AlignSpec: Supplemental Materials

This record contains the preprint and supplemental materials for the paper: "AlignSpec: A Requirements Framework for Ontology Alignment", accepted to the IEEE International Requirements Engineering Conference (RE'26), Montreal, Canada, August 2026. The supplemental materials support the evaluation presented in the paper and include: - Output alignment files and evaluation statistics produced by TitanMatcher - Scripts for reproducing the reported precision, recall, and F1 results - Extended versions of Sections IV-C and IV-D with additional code examples - A screenshot illustrating the use of Ontomesh as the graphical user interface - Solver outputs obtained using CP-SAT, SCIP, and GLOP The datasets used in the experiments are obtained from the Ontology Alignment Evaluation Initiative (OAEI). This record includes derived results and supporting materials produced using these datasets. All materials are provided to support the reproducibility of the experimental results reported in the paper.