Empirical Investigation of Subsumption Test Hardness in Description Logic Classification

<p>This is the dataset supporting the analysis for the submission &quot;Empirical Investigation of Subsumption Test Hardness in Description Logic Classification&quot; to CADE, 2015. Data in its very raw form is not included, but the dataset containing non aggregated subsumption test data (labelled subsumptiontest_data) and the overall module data (labelled module_data) contain all the records corresponding to the raw data (albeit amended by some additional measurements and ontology metadata).&nbsp;</p> <p>The r_scripts directory contains all the<strong> r files needed to run the analysis</strong>. However, the code is written ad hoc and is very slow, and should only be considered as a reference. Running the code does not work out of the box, as a series of directory paths need to be set manually.</p> <p>The r_data directory contains all the <strong>datasets used in the analysis.</strong>.</p> <p>-- map_subsumptiontest_data_non_aggregated contains the non aggregated subsumption test data from which the first experiment, the subsumption test hardness survey, is conducted<br /> -- map_module_data_non_aggregated contains the non aggregated module data from which the first experiment, the subsumption test hardness survey, is conducted</p> <p>-- module_data_non_aggregated.RData contains the non aggregated module data from which the intra-module analysis is conducted<br /> -- subsumptiontest_data_non_aggregated.RData contains the non aggregated subsumption test data from which the intra-module analysis is conducted</p> <p>-- inter_module_data.RData contains the results of the inter-module analysis from the perspective of the modules<br /> -- intra_module_data.RData contains the results of the intra-module analysis from the perspective of the modules<br /> -- inter_subsumptiontest_data.RData contains the results of the inter-module analysis from the perspective of the subsumption tests<br /> -- intra_subsumptiontest_data.RData contains the results of the intra-module analysis from the perspective of the subsumption tests</p> <p>The csv_data directory contains the same data as the r_data directory in CSV form.</p>