From: Supporting shared hypothesis testing in the biomedical domain
Ontology metric
\(O_{t_{i}}\)
\(O_{t_{j}}\)
Axioms
66
151
Logical axiom count
39
92
Declaration axiom count
18
34
Class count
14
30
Object property count
4