Ontology Formalisms for Web

• RDF etc. – too free (informal) definition

• easy for designer, hard to evaluate

• reification – statements as resources, the language becomes undecidable

• OWL

  • full: compatible with RDF-S
  • DL: decidable reasoning is realizable,
  • separated classes, instances,
  • properties, and types
  • lite: minimal useful subset

Notes: