Instance information
IAO 0000111
named class expression
IAO 0000117
Alan Ruttenberg
definition
A named class expression is a logical expression that is given a name. The name can be used in place of the expression.
editor note
named class expressions are used in order to have more concise logical definition but their extensions may not be interesting classes on their own. In languages such as OWL, with no provisions for macros, these show up as actuall classes. Tools may with to not show them as such, and to replace uses of the macros with their expansions
Instance relations
Types