W3C home > Mailing lists > Public > public-owl-comments@w3.org > May 2009

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

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
Message-ID: <web-23608291@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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:40:21 UTC