OWL Language Reference
Classes and Class Expressions
- owl:Class
- owl:intersectionOf [owl:Class → two or more owl:Class]
- owl:unionOf [owl:Class → two or more owl:Class]
- owl:complementOf [owl:Class → owl:Class]
- owl:oneOf [owl:Class → one or more individuals]
Object Property Restrictions
- owl:Restriction
- owl:onProperty [owl:Restriction → owl:ObjectProperty]
- owl:allValuesFrom [owl:Restriction → owl:Class]
- owl:someValuesFrom [owl:Restriction → owl:Class]
- owl:hasValue [owl:Restriction → individuals]
- owl:SelfRestriction [owl:Restriction → owl:ObjectProperty]