Table 1. Total number of classes and disjointness axioms of the matched ontologies, the size of the of the original (unrepaired) UMLS-based alignment, and the number of incoherent classes for each OAEI large biomedical track matching problems.

The number of syntactic, cardinality, functional and Object based disjointness axioms relative to the each matching task are shown in parentheses.

Matching Task	Number of Classes	Number of Disjoints	UMLS-based Alignment	Incoherent classes
FMA—NCI	145713 (78989+66724)	197 (197+0+0+0)	3024	30.590 (21.0%) *
FMA—SNOMED	201453 (78989+122464)	44 (44+0+0+0)	9008	78482 (39.0%) *
SNOMED—NCI	189188 (122464+66724)	153 (153+0+0+0)	18844	158.646 (83.9%) **

*Pellet reasoner was used.

**Pellet reasoner was unable to compute. ELK reasoner was used instead.