If we take the general form of assertion to be an informative identity to be "an identity of denotation in diversity of intension"—then the problem is solved.
Ontology reasoning finds a relevant application in the so-called ontology-based data access, where a classical extensional database (EDB) is enhanced by an ontology, in the form of logical assertions, that generates new intensional knowledge which contributes to answering queries.
Contrary to popular belief, it is the former rather than the latter which are typical of the natural sciences, which means that typically prediction in natural science is conditional and limited in scope it takes the form of hypothetical assertions stating that certain specified changes will come about if particular specified events antecedently take place.
Subclass axioms do not always take the form of simple assertions of a subclass relation between two named classes, but may involve more complex class expressions as well.
For Hubert, being a man is a form of self-assertion.
Zuckerman's remark, though it comes in the form of an assertion, is in actuality further conjecture.
Even a recreational fad becomes a form of self-assertion for a rising class or age group.
This self-mockery could turn into masochism, but somehow it never does, in part because the sharpness of the jokes is itself a form of self-assertion.
"Choosing their own wife is a form of self-assertion, a way of exploring their manhood and of experiencing true love," says Mr Oto.
In particular there should, when dealing with little children, be a ban on "tag questions": questions put in the form of an assertion, with "isn't it?" or "didn't he?" tagged onto the end of them.
