Table 2 Ontology metrics

Overall metrics

Axiom

1799

Logical axiom count

935

Class count

80

Object property count

92

Data property count

16

Individual count

250

Class axioms

SubClassOf axioms count

55

EquivalentClasses axioms count

19

DisjointClasses axioms count

3

CGI count

0

Hidden CGI count

19

Object property axioms

SubObjectPropertyOf axioms count

37

EquivalentObjectProperties axioms count

3

InverseObjectProperties axioms count

33

DisjointObjectProperties axioms count

2

FunctionalObjectProperty axioms count

10

InverseFunctionalObjectProperty axioms count

1

TransitiveFunctionalObjectProperty axioms count

2

SymmestricObjectProperty axioms count

1

AsymmestricObjectProperty axioms count

2

ReflextiveObjectProperty axioms count

1

IrreflextiveObjectProperty axioms count

3

ObjectPropertyDomain axioms count

82

ObjectPropertyRange axioms count

82

SubPropertyChainOf axioms count

2

Data property axioms

SubDataPropertyOf axioms count

7

EquivalentDataProperties axioms count

1

DisjointDataProperties axioms count

1

FunctionalDataProperty axioms count

3

DataPropertyDomain axioms count

14

DataPropertyRange axioms count

12

Individual axioms

ClassAssertion axioms count

274

ObjectPropertyAssertion axioms count

196

DataPropertyAssertion axioms count

64

NegativeObjectPropertyAssertion axioms count

1

NegativeDataPropertyAssertion axioms count

0

SameIndividual axioms count

24

DifferentIndividuals axioms count

0

Annotation axioms

AnnotationAssertion axioms count

417

AnnotationPropertyDomain axioms count

4

AnnotationPropertyRangeOf axioms count

4