- From: pat hayes <phayes@ai.uwf.edu>
- Date: Thu, 14 Jun 2001 15:14:48 -0500
- To: Dave Reynolds <der@hplb.hpl.hp.com>
- Cc: www-rdf-logic@w3.org
>This is not my area so apologies if this is just noise ...
>
>When I recently attempted to explain description logics and T-box/A-box
>distinctions, a colleague likened them to the "=df" notation
>("definitionally equal") in mathematical logic.
and mathematics more generally. Right, it is widely used and seems
obviously clear in its meaning, but its very hard to actually come up
with any precise account of what the intuitive meaning amounts to,
that isnt the same as some kind of assertion.
>He suggested that, at
>least as logic used to be taught over here, you distinguished notationally
>between three forms of equality, viz. "equal in one particular model",
>"provably equal in all models, bi-equivalence" and "definitionally equal".
>The distinction between the latter two affects how you construct your
>proof theory
Really? If you could find me a pointer to a discussion of that I
would be interested to see it.
>even though for a given set of models
Well, for *any* set of models, I believe.
>you can't distinguish
>between a tautology and a definition. The "not allowed to be false" nature
>of T-boxes seems at least analogous.
Indeed, it seems very analogous.
Pat
---------------------------------------------------------------------
IHMC (850)434 8903 home
40 South Alcaniz St. (850)202 4416 office
Pensacola, FL 32501 (850)202 4440 fax
phayes@ai.uwf.edu
http://www.coginst.uwf.edu/~phayes
Received on Thursday, 14 June 2001 16:14:41 UTC