Metamodeling II

• OWL Full has second order syntax and first order semantics

  • Axiomatics (LBase, DAML+OIL)
    • Everything is a triple
    • Rules express consequences of those triples
  • Model theory
    • Classes are objects with relations to their extentions
    • Following HiLog, SKIF

• This is very expressive! Perhaps Web like

  • Everything really is a resource
  • Anyone can say anything about anything
  • Self-describing, partial/bootstrap understanding

Notes: