Comment to http://www.w3.org/TR/owl2-primer/

I suggest abandoning the misuse of term "axiom" to mean 
any OWL statement, either assumed as an axiom proper or 
entailed by an ontology. I see no reason to abandon the 
classical logical terminology. On the contrary, the use of 
"axiom" in the document may lead to considerable 
confusions in all those who have studied logic, abstract 
mathematics, or philosophy.

I suggest using the term "statement" instead (as usual in 
all branches of logic).
"Axiom" and "theorem" can also be used as in classical 
logic.

Marco Colombetti
Politecnico di Milano