Andrew Broad's Website
Computer Science
PhD Project
Experimental Results
MPhil/PhD Frame-Class Models

First Model

Second Model

Name-Thesaurus

{oneofexpression, oneofsupertypeexpression,}
{andexpression, andsupertypeexpression,}
{andorexpression, andorsupertypeexpression,}
{literalexpression, literal,}

Experimental Results

The CCUS suffers gigantic quadratic explosion due to the abundance of type_hlcs, domain_rules_hlcs and non_nulls. So I decided to run this experiment with these three HLC-classes disabled (i.e. with type_hlc-optional.filc, type_hlc+non_null-attr.filc, non_null-exists.filc, domain_rules_hlc.filc and propagate_from_defined_type.filc excluded from the case-library).

Mode	E	-T	-U	-S	-H	-R	M	X
HLCs extracted from first model	34	34	34	34	0	34	34	34
HLCs extracted from second model	118	118	118	118	0	118	118	118
Comparisons	52902	53276	52902	42945	3370	13183	8144	52859
HLC-comparisons	3305	3305	3305	3305	0	429	199	3262
Correspondences	175	162	175	169	149	164	154	175
HLC-correspondences	18	18	18	18	0	15	5	18
Differences	1763	1728	1763	1757	58	288	156	1763
Number of FC-thesaurus lookups	25967	0	25967	20555	19	5683	2356	25967
Number of name-thesaurus lookups	44707	0	44707	35744	2659	11729	7041	44707

Output (Mode E)

Summarised CCUS output

The frames generated by the CCUS (and output as HTML-ised FIL files) follow - a file for each frame-class:

HLCs: