W3C home > Mailing lists > Public > www-webont-wg@w3.org > December 2002

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

From: Smith, Michael K <michael.smith@eds.com>
Date: Thu, 5 Dec 2002 17:48:02 -0600
Message-ID: <B8E84F4D9F65D411803500508BE3221412590AC3@USPLM207>
To: pat hayes <phayes@ai.uwf.edu>, "Smith, Michael K" <michael.smith@eds.com>
Cc: www-webont-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.

-----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.


>- 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 ??
>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 18:48:19 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:49 UTC