Module Data for the Empirical Investigation of Subsumption Test Hardness in Description Logic Classification

This dataset contains 224 modules of 14 distinct ontologies for the submission "Empirical Investigation of Subsumption Test Hardness in Description Logic Classification" to CADE, 2015. The submitted version with the dataset description can be found here: owl.cs.manchester.ac.uk/publications/supporting-material/subtest-hardness-in-classification/ The ontologies in this set are BioPortal ontologies from the snapshot provided at dx.doi.org/10.5281/zenodo.15667.

The following ontologies are in the set: MFOEM - Emotion Ontology BT - Biotop Ontology NEMO - Neural Electromagnetic Ontology NTDO - Neglected Tropical Disease Ontology OBI - Ontology for Biomedical Investigations OGSF - Ontology for Genetic Susceptibility Factor ONL-MSA - Mental State Assemssment VSO - Vital Sign Ontology CAO - Clusters of Orthologous Groups Cog Analysis Ontology ICO - Informed Consent Ontology OMRSE - Ontology of Medically Related Social Entities STATO - Statistics Ontology NPO - Nanoparticle Ontology OBCS - Ontology of Biological and Clinical Statistics