OWL
OWL Lite

Goal: provide a minimal useful subset, easily implemented
- simple class hierarchies can be built
- property constraints and characterizations can be used
All of DL’s restrictions, plus some more:
- class construction can be done only through:
  - intersection
  - property constraints