- From: Marco Colombetti <colombet@elet.polimi.it>
- Date: Fri, 01 May 2009 20:17:43 +0200
- To: public-owl-comments@w3.org
- Cc: colombet@elet.polimi.it
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
Received on Friday, 1 May 2009 18:18:24 UTC