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)
|