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

Re: An inconsistency or not?

From: Jeremy Wong <50263336@student.cityu.edu.hk>
Date: Thu, 31 Mar 2005 11:56:11 +0800
To: Jon Hanna <jon@hackcraft.net>, semantic-web@w3.org
Message-id: <000a01c535a5$943c6870$6502a8c0@miko947ymju833>

Thanks for the explaination. Having the interpretation, both situations 
(owl:sameAs, owl:differentFrom) can be assumed. Consider if John 
owl:differentFrom Johnny is assumed, then the restriction is not satisified. 
Therefore this assumption doesn't satisify. Consider if John owl:sameAs 
Johnny is assumed, then the restriction is satisified. Therefore the facts 
and the axioms are consistent :).


Jeremy

----- Original Message ----- 
From: "Jon Hanna" <jon@hackcraft.net>
To: "'Jeremy Wong'" <50263336@student.cityu.edu.hk>; <semantic-web@w3.org>
Sent: Thursday, March 31, 2005 11:31 AM
Subject: RE: An inconsistency or not?


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

"...assume either situation is possible"  means to keep an open mind on the 
subject as two which situation is the actual case, in other words to not 
assume that one particular situation is the case (until such a time as this 
is either stated directly, or can be deduced from what is stated).

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 04:12:30 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 1 March 2016 07:41:45 UTC