Annotation Properties

• We regain a bit of syntactic higher order

  • Classes, Ontologies, Properties, etc. can have AnnotationProperties
  • Within the ontology, AnnotationProperties obey a lot of restrictions
    • Disjoint from all other Property types, classes, etc.
    • Cannot participate in axioms
  • AnnotationProperties are invisible to the reasoner

• More like structured comments

Notes: