DL Expressivity:AL
Domain: environment
Language:owl
Syntax:owl/xml
Vocabulary details:
Classes 9
Object Properties 0
Data Properties 0
Individuals 0
Axioms 15
Logical Axioms 6
TBox Axioms 6
RBox Axioms 0
ABox Axioms 0
Concept Assertions 0
Object Property Assertions 0
Data Property Assertions 0
Annotation Assertions 0
SWRL Rules 0
OWL 2 DL true
OWL 2 RL true
OWL 2 EL true
OWL 2 QL true