"logical macro assertion on a class"@en . "The domain for this class can be considered to be owl:Class, but we cannot assert this in OWL2-DL" . . . "A logical macro assertion whose domain is an IRI for a class" .