- From: Smith, Michael K <michael.smith@eds.com>
- Date: Thu, 5 Dec 2002 17:48:02 -0600
- 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. 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
Received on Thursday, 5 December 2002 18:48:19 UTC