Comment to

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 

Marco Colombetti
Politecnico di Milano

Received on Friday, 1 May 2009 18:18:24 UTC