[Top] [All Lists]

Re: [ontolog-forum] Current Semantic Web Layer Cake

To: Chris Menzel <cmenzel@xxxxxxxx>
Cc: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Wed, 8 Aug 2007 15:28:21 -0500
Message-id: <p06230905c2dfd5380118@[]>
>On Tue, Aug 07, 2007 at 02:55:23PM -0500, Chris Menzel wrote:
>>  ...It is (among other things) completeness that makes FOL so important
>>  to automated reasoning, as it means that, whenever A is a logical
>>  consequence of S in a first-order logic, there is actually a *proof*
>>  of A from some (finite) subset of S.  (Alas, finding that proof is
>>  another kettle of fish entirely, which is why we have more
>>  constrained, less expressive logics like description logics and their
>>  ilk.)
>An alert ontolog-forum reader has pointed out to me that "ilk" can have
>pejorative connotations and hence is often restricted to contexts where
>the persons or things referenced are in some way unsavory or
>undesirable, e.g., "fascists, racists, and others of that ilk."    (01)

Interesting. I don't read it with that 
connotation. Maybe its meaning has hardened in 
recent years, like "hacker". But certainly in 
Scotland (from where the usage hails) it means 
"kind" or even "family", so McWhinnie of that ilk 
means McWhinnie of the McWhinnies. "Ilk" is the 
Scots dialect version of "like", and like much 
Scots dialect it preserves an older version of 
English, in this case the Chaucerian ilke, 
meaning the same as.    (02)

>example actually comes from OS X's built in dictionary program.)  For
>the record, I want to point out that I had no such usage in mind above.    (03)

Och, mannie, we hadnae sech a thowt aboot ye. 
Ye're a gentleman, and nae mistakin.    (04)

>My point was purely logical    (05)

Weel, wha' else? A doot ye can manage a thowt that isnea logical if ye tried.    (06)

>: that, due to the general undecidability of
>full FOL, research in automated reasoning has led to the development of
>more contrained logics that trade some measure of expressive power for
>decidability.  DLs of course constitute a particularly salient and
>important example, as they underlie OWL and form the basis of a variety
>of ontology-oriented automated reasoning systems like Racer.  The
>superfluous and potentially misleading tag "and their ilk" above should
>simply have been left off.    (07)

Nae need to harp on so, y'r forgiv'n.    (08)

Pat    (09)

>Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ 
>Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/ 
>Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
>Shared Files: http://ontolog.cim3.net/file/
>Community Wiki: http://ontolog.cim3.net/wiki/
>To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>    (010)

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

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (012)

<Prev in Thread] Current Thread [Next in Thread>