Assertions vs. declarations

I'm kind of dissatisfied with the use of the terms "assertion" and
"declaration" in the OWL literature.

 

Axioms like DisjointClasses(C,D) are often called "class assertions", and
axioms like FunctionalObjectProperty(P) are called "(object) property
assertions". Unfortunately, also Abox assertions like ClassAssertion(a C)
are called "class assertion"s, and Abox assertions like
ObjectPropertyAssertion(P a b) are called (object) "property assertions".

 

The former type of assertions are sometimes called "declarations", but
unfortunately OWL has a different notion of declaration, like
Declaration(OWLClass(A)).

 

Any suggestion on how to call axioms like DisjointClasses(C,D) and
FunctionalObjectProperty(P) without creating confusion? 

 

Marco Colombetti