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:

http://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 http://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