Reification of properties in an ontology