Metamodeling

• Everything is an element of the domain

  • In common FOL, only individuals
    • Classes, properties, syntax are not
    • Quantifying over classes, etc. moves to second order
  • OWL (Full)
    • Classes are individuals
      • owl:Class rdf:type owl:Class
    • Properties are individuals
      • ex:trueLove rdf:type owl:SymmetricProperty
    • And syntax
      • owl:unionOf rdf:type rdf:Property

Notes: