DL Expressivity:ALCHON(D)
Domain: environment
Language:owl
Syntax:rdf/xml
Vocabulary details:
Classes 38
Object Properties 24
Data Properties 18
Individuals 2
Axioms 437
Logical Axioms 194
TBox Axioms 190
RBox Axioms 2
ABox Axioms 2
Concept Assertions 2
Object Property Assertions 0
Data Property Assertions 0
Annotation Assertions 171
SWRL Rules 0
OWL 2 DL false
OWL 2 RL false
OWL 2 EL false
OWL 2 QL false