[SCL] new draft

[pat hayes]

>Pat,
>
>I apologize for my racial slurs on the semantic
>webbers.
>
>But please note my subsequent note, which shows
>that they do use the word "ontology" in the more
>restricted way I have recommended:  as a set of
>sentences "used to define terms" -- i.e., they
>are continuing to observe the KL-ONE distinction
>between the T-box and the A-box.

Some of them do, but most of them don't. And even those that do, 
their usage of 'ontology' covers both kinds of box. OWL is used for 
any kind of data, T or A. The distinction is meaningless in any case 
when applied to a logic, and has not been seriously used even by the 
description logicians for about a decade now.

>I, along with Bill and Tanel, merely observed
>that a set of sentences can also be used for
>making assertions as well as defining terms.

In fact, it can only be used for making assertions, since there is no 
definition syntax in SCL or FOL (or OWL for that matter)

Pat

>
>John
>
>
>_______________________________________________
>SCL mailing list
>SCL at philebus.tamu.edu
>http://philebus.tamu.edu/mailman/listinfo/scl


-- 
---------------------------------------------------------------------
IHMC	(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.	(850)202 4416   office
Pensacola			(850)202 4440   fax
FL 32501			(850)291 0667    cell
phayes at ihmc.us       http://www.ihmc.us/users/phayes