From: TrhOnt: building an ontology to assist rehabilitation processes
Metrics | Axiom | 28181 |
Logical axiom count | 6161 | |
Class count | 2351 | |
Object property count | 65 | |
Data property count | 35 | |
Individual count | 134 | |
DL expressivity | ALCROIQ(D) | |
Class axioms | SubClassOf | 4982 |
EquivalentClasses | 216 | |
DisjointClasses | 617 | |
GCI count | 0 | |
Hidden GCI count | 199 | |
Object property axioms | SubObjectPropertyOf | 7 |
EquivalentObjectProperties | 0 | |
InverseObjectProperties | 5 | |
DisjointObjectProperties | 0 | |
FunctionalObjectProperty | 0 | |
InverseFunctionalObjectProperty | 0 | |
TransitiveObjectProperty | 0 | |
SymmetricObjectProperty | 2 | |
AsymmetricObjectProperty | 0 | |
ReflexiveObjectProperties | 0 | |
IrreflexiveObjectProperty | 0 | |
ObjectPropertyDomain | 49 | |
ObjectPropertyRange | 52 | |
SubPropertyChainOf | 3 | |
Data property axioms | SubDataPropertyOf | 0 |
EquivalentDataProperties | 0 | |
DisjointDataProperties | 0 | |
FunctionalDataProperty | 9 | |
DataPropertyDomain | 29 | |
DataPropertyRange | 35 | |
Individual axioms | ClassAssertion | 143 |
ObjectPropertyAssertion | 10 | |
DataPropertyAssertion | 2 | |
NegativeObjectPropertyAssertion | 0 | |
NegativeDataPropertyAssertion | 0 | |
SameIndividual | 0 | |
DifferentIndividuals | 0 | |
Annotation axioms | AnnotationAssertion | 19402 |
AnnotationPropertyDomain | 0 | |
AnnotationPropertyRangeOf | 0 |