Re: An inconsistency or not?

Poor my English -_-. Can you explain more on interpreting the sentence 
involved?


Thanks and regards,
Jeremy

----- Original Message ----- 
From: "Jon Hanna" <jon@hackcraft.net>
To: <semantic-web@w3.org>
Sent: Thursday, March 31, 2005 11:06 AM
Subject: RE: An inconsistency or not?


>
>> 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:33:53 UTC