Class Expression Constructors

• Boolean (and, or, not, enumerated)

  • owl:intersectionOf
  • owl:unionOf
  • owl:complementOf
  • owl:oneOf

• Quantification (restrictions)

  • Universal (owl:allValuesfrom)
  • Existential (owl:someValuesFrom)
  • Nominals (owl:hasValue)
  • Number restrictions (owl:minC/maxC/cardinality)

Notes: