DL Expressivity:ALCH(D)
Domain: location
Language:owl
Syntax:rdf/xml
Vocabulary details:
Classes 76
Object Properties 50
Data Properties 46
Individuals 0
Axioms 524
Logical Axioms 333
TBox Axioms 266
RBox Axioms 67
ABox Axioms 0
Concept Assertions 0
Object Property Assertions 0
Data Property Assertions 0
Annotation Assertions 21
SWRL Rules 0
OWL 2 DL true
OWL 2 RL false
OWL 2 EL false
OWL 2 QL false