An Algorithm Tool for Atom Decomposition and Interaction: AD Visualiser

Table 4

Processing time.

Name	Axioms	TBox	Atoms	Type	AD (s)	DAG (s)	Tree (s)	Total (s)
juice	53	33	BOT	13	0.047	1.235	0.074	2.170
			TOP	1	0.008	1.001	0.12	1.062
			STAR	13	0.018	1.008	0.009	1.065
gfo-basic	479	212	BOT	75	0.080	1.159	0.124	2.183
			TOP	2	0.010	1.002	0.032	1.126
			STAR	90	1.090	0.039	1.019	1.290
Biblio	332	219	BOT	29	0.012	1.012	0.007	1.076
			TOP	197	0.17	1.014	0.009	1.233
			STAR	99	0.022	1.017	0.009	1.090
asdphenotype	1,434	283	BOT	283	0.010	2.019	0.022	2.127
			TOP	77	0.012	1.004	0.030	1.094
			STAR	283	0.010	1.007	1.078
pizza	801	322	BOT	89	0.045	2.030	0.220	2.380
			TOP	1	0.011	1.002	0.145	1.215
			STAR	91	0.088	2.023	0.118	2.286
gist	664	384	BOT	154	0.135	2.051	0.469	2.821
			TOP	5	0.019	1.010	0.472	1.559
			STAR	159	0.165	2.075	0.645	2.968
wbphenotype	20,255	3,939	BOT	2581	6.355	31.417	5.471	45.149
			TOP	348	286.78	4.823	5.876	40.353
			STAR	2774	8.348	25.168	5.179	39.438
fission-yeast	35,968	27,602	BOT	8281	47.143	216.667	190.65	285.153
			TOP	20	6.282	1.975	30.7178
			STAR	10464	70.385	475.906	182.37	565.964
cell-culture	53,297	33,235	BOT	20058	185.54	441.972	122.22	475.740
			TOP	5	7.416	1.606	378.45	48.226
			STAR	27481	38.209	435.993	42.804	518.325
gene	558,760	103,676	BOT	43652	1058.634	535.129	2004.321
			TOP	1	8.766	1.390	441.792	465.306
			STAR	63311	669.733	948.899	478.616	2112.548