> On Jun 2, 2007, at 10:39 AM, David C. Hay wrote:
>> ...
>> The OMG definition is simply that a PROPOSITION is the linking of
>> two or more CONCEPTS.
> ...
> My concern is that the proposed understanding of "proposition" is
> focused too much on simple atomic sentences like "John loves Mary"
> or "MAMMAL is a subclass of ANIMAL". It's hard in particular to
> see where quantification fits into the picture. RDF, for example,
> gets a modicum of quantification through the use of triples with so-
> called "blank nodes". Is there anything comparable in OMG? (01)
I see that they at least to appear to have a language with
quantifiers in the SBVR doc -- though I don't really find anything
that looks like a genuine semantics in the sections containing the
word "semantics". It also appears to me that the distinction between
sentences and propositions is murky. Are propositions fully-fledged
semantic entities in OMG, as in IKL? (02)
Chris Menzel (03)
_________________________________________________________________
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 (04)
|