Ontology Formalisms

• Extensional (Gruber 93, G&N book, etc.)

  • formally defined using declarative semantics
  • Lexicons
  • Thesauri

• Intensional (Guarino 98)

  • formally defined through “possible worlds”

Previous slide

Next slide

Back to first slide

View graphic version