An assertion that involves at least one OWL object that is intended to be expanded into one or more logical axioms. The logical expansion can yield axioms expressed using any formal logical system, including, but not limited to OWL2-DL.

http://purl.obolibrary.org/obo/ro/docs/shortcut-relations/