WSDL on the Semantic Web - slide "OWL, the Web Ontology Language"

OWL DL
- Based on the Very Expressive Description Logic SHION(D)
- Sound and complete automated reasoning (subsumption, consistency, etc.)
- Practical implementations
- Used for
  - Medical informatics
  - Configuration
  - Database Conceptual Modelling and Query containment
OWL Full
- OWL DL + RDFS Semantics and Meta-modelling
- "Web like"