W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > December 2002

RE: LANG: Proposal to close ontology versioning (ISSUE 5.14)

From: pat hayes <phayes@ai.uwf.edu>
Date: Thu, 5 Dec 2002 19:20:13 -0600
Message-Id: <p05111b12ba15aaf9f04b@[10.0.100.86]>
To: "Smith, Michael K" <michael.smith@eds.com>
Cc: w3c-rdfcore-wg@w3.org

>Last time I looked, in a propositonal logic A and B are boolean
>variables that can be True or False.  Maybe it has been too long.

Right, Im using them in that sense. So there is no way to know 
whether (A and B) is consistent with A. It is if B is, and it isn't 
if B isn't. Certainly, A does not imply (A and B).

Or did you mean that (A and (A and B) ) is not inconsistent? That is 
true, of course; it is equivalent to (A and B), so is true when both 
A and B are.

I confess to no longer knowing what this discussion is about, however. :-)

Pat


>
>-----Original Message-----
>From: pat hayes [mailto:phayes@ai.uwf.edu]
>Sent: Thursday, December 05, 2002 4:58 PM
>To: Smith, Michael K
>Cc: www-webont-wg@w3.org
>Subject: RE: LANG: Proposal to close ontology versioning (ISSUE 5.14)
>
>
>>Propositionally, A and B is consistent with A.
>
>Not if B is inconsistent with A, at least in any sense of
>'consistent' I am aware of. (It might be possible to tweak a linear
>logic to have the property you claim; I'm not enough of a
>linear-logic maven to know for sure. I doubt it, though.)
>
>>And in the particular case that Jeff was proposing, we might
>>as well think propositionally.
>
>I *am* thinking propositionally, which is largely why I think that we
>are building a crock with owl:imports. I don't think it makes
>propositional sense.
>
>Pat
>
>
>>- Mike
>>
>>-----Original Message-----
>>From: pat hayes [mailto:phayes@ai.uwf.edu]
>>Sent: Thursday, December 05, 2002 11:43 AM
>>To: Smith, Michael K
>>Cc: www-webont-wg@w3.org
>>Subject: RE: LANG: Proposal to close ontology versioning (ISSUE 5.14)
>>
>>
>>>Normally I think of 'A and B' as being consistent with 'A'.
>>
>>so 'A and not A' is consistent with A ??
>>
>>Pat
>>
>>
>>--
>>---------------------------------------------------------------------
>>IHMC					(850)434 8903   home
>>40 South Alcaniz St.			(850)202 4416   office
>>Pensacola            			(850)202 4440   fax
>>FL 32501         				(850)291 0667    cell
>>phayes@ai.uwf.edu	          http://www.coginst.uwf.edu/~phayes
>>s.pam@ai.uwf.edu   for spam
>
>
>--
>---------------------------------------------------------------------
>IHMC					(850)434 8903   home
>40 South Alcaniz St.			(850)202 4416   office
>Pensacola             			(850)202 4440   fax
>FL 32501          				(850)291 0667    cell
>phayes@ai.uwf.edu	          http://www.coginst.uwf.edu/~phayes
>s.pam@ai.uwf.edu   for spam


-- 
---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola              			(850)202 4440   fax
FL 32501           				(850)291 0667    cell
phayes@ai.uwf.edu	          http://www.coginst.uwf.edu/~phayes
s.pam@ai.uwf.edu   for spam
Received on Thursday, 5 December 2002 20:20:18 EST

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:54:49 EDT