- ALC and OWL DL
- Klassen, Rollen und Individuen
- owl:Thing, owl:Nothing
- Klasseninklusion, -disjunktion, -äquivalenz
- owl:complementOf, owl:intersectionOf, owl:unionOf
- rdfs:domain, rdfs:range
- SHOIN(D)
- owl:sameAs, owl:differentFrom → erweitert mit a=b (schon in DL)
- owl:oneOf, owl:hasValue
- Kardinalitätsrestriktion
- Rollenkonstruktoren: rdfs:subPropertyOf, inverse, transitiv, symetrisch Rollen
- beliebig komplexes Schachteln