On Jan 7, 2011, at 9:32 AM, sowa@xxxxxxxxxxx wrote:
>
>
>
> Ed,
>
> I'm traveling now, (01)
And apparently replying via mobile phone... :-D (02)
> and I don't have time to respond
> in
> detail...
>
>> I find it
> much easier to agree that it is possible to
>> construct a formal
> semantics for a conceptual schema
>> language, and not to be deeply
> concerned about its
>> relationship to a first-order semantics.
>
> Consider OWL as an example:
>
> 1. OWL (and other DLs) are
> subsets of FOL and supersets
> of Aristotle's syllogisms.
> ... (03)
-chris (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)
|