- From: Jon Hanna <jon@hackcraft.net>
- Date: Thu, 31 Mar 2005 04:06:10 +0100
- To: <semantic-web@w3.org>
> 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. Regards, 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