[Top] [All Lists]

Re: [ontolog-forum] what is a proposition?

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Christopher Menzel <cmenzel@xxxxxxxx>
Date: Mon, 4 Jun 2007 14:11:55 -0500
Message-id: <0856B282-BEAA-4A21-94FF-5528845CF408@xxxxxxxx>
> 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)

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