Desiderata for a Web Ontology Language

• Expressive

  • Negation, cardinality restrictions, class construction, property features
  • Classes as instances and other metamodeling
  • Self-axiomatizable

• Web centered

  • Use URIs
  • Use the Web (owl:imports anyone?)

• Implementable

  • The reasoning procedures should be “practical”

Notes: