W3C home > Mailing lists > Public > semantic-web@w3.org > March 2005

RE: An inconsistency or not?

From: Jon Hanna <jon@hackcraft.net>
Date: Thu, 31 Mar 2005 04:06:10 +0100
To: <semantic-web@w3.org>
Message-Id: <20050331030611.9A399262C3BA5@postie2.hosting365.ie>

> The ways you and I reason the axioms and facts are different. You pay 
> attention to deduction, while I pay attention to validity 
> checking. "Either 
> situation is possible" means that an OWL tool can assume John 
> and Johnny the 
> same and another OWL tool can assume John and Johnny 
> different individuals.

The text quite clearly says tools should "in principle assume either situation is possible". Assuming that either one of the two possible situations is possible is not assuming that either is possible, quite the opposite.

Jon Hanna
Work: <http://www.selkieweb.com/>
Play: <http://www.hackcraft.net/>
Chat: <irc://irc.freenode.net/selkie> 
Received on Thursday, 31 March 2005 03:06:14 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:47:01 UTC