Official websites use .gov
A
.gov website belongs to an official
government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you've safely
connected to the .gov website. Share sensitive
information only on official, secure websites.
Ontology metrics
| Metrics | |
|---|---|
| Axioms | 3170 |
| Logical axiom count | 2637 |
| Class count | 142 |
| Object property count | 10 |
| Individual count | 371 |
| DL expressivity | ALCOI |
| Class axioms | |
| SubClassOf | 72 |
| EquivalentClasses | 67 |
| DisjointClasses | 12 |
| Object property axioms | |
| ObjectPropertyDomain | 10 |
| ObjectPropertyRange | 10 |
| Individual axioms | |
| ClassAssertion | 877 |
| SameIndividual | 33 |
| DifferentIndividuals | 1554 |
