ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] using SKOS for controlled values for controlled voca

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: John Bottoms <john@xxxxxxxxxxxxxxxxxx>
Date: Fri, 08 Oct 2010 19:48:19 -0400
Message-id: <4CAFADC3.7030704@xxxxxxxxxxxxxxxxxx>
JohnS,    (01)

Can we say:
   FOL is a subset of HOL.
   HOL is a small subset of English stated in a different notation.    (02)

-JohnB    (03)

On 10/8/2010 3:59 PM, John F. Sowa wrote:
> On 10/8/2010 10:42 AM, Ken Laskey wrote:
>> I was surprised that the SKOS examples I found on the Web donít mention
>> this.  Am I missing something fundamental?
>
> SKOS is a small subset of OWL stated in a different notation.
>
> OWL is a small subset of first-order logic stated in a different notation.
>
> First-order logic is a small subset of English stated in a different
> notation.
>
> If you can't state clearly in English exactly what you want to do,
> none of those other notations will help you.
>
> John    (04)

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (05)

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