Class Axioms

• These relate two class expressions

  • Class names (that is, URIs)
  • Class expressions
    • Anything formed by the Class Expression Constructors
  • Class names to class expressions

• subClassOf

  • From name to expression == necessary conditions
  • From expression to name == sufficient conditions
  • equivalentClass == both

• Class expressions on both sides:

  • General constraints

Notes: