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

<p>This dataset contains 224 modules of 14 distinct ontologies for the submission &quot;Empirical Investigation of Subsumption Test Hardness in Description Logic Classification&quot; to CADE, 2015. The submitted version with the dataset description can be found here:</p> <p>http://owl.cs.manchester.ac.uk/publications/supporting-material/subtest-hardness-in-classification/</p> <p>The ontologies in this set are BioPortal ontologies from the snapshot provided at http://dx.doi.org/10.5281/zenodo.15667.&nbsp;</p> <p>The following ontologies are in the set:&nbsp;</p> <p>MFOEM - Emotion Ontology<br /> BT - Biotop Ontology<br /> NEMO - Neural Electromagnetic Ontology<br /> NTDO - Neglected Tropical Disease Ontology<br /> OBI - Ontology for Biomedical Investigations<br /> OGSF - Ontology for Genetic Susceptibility Factor<br /> ONL-MSA - Mental State Assemssment<br /> VSO - Vital Sign Ontology<br /> CAO - Clusters of Orthologous Groups Cog Analysis Ontology&nbsp;<br /> ICO - Informed Consent Ontology<br /> OMRSE - Ontology of Medically Related Social Entities<br /> STATO - Statistics Ontology<br /> NPO - Nanoparticle Ontology<br /> OBCS - Ontology of Biological and Clinical Statistics</p>