Re: [ontolog-forum] Fwd: MOVED: Re: [ontology-summit] Hackathon: BACnet

["Barkmeyer, Edward J" <edward.barkmeyer@xxxxxxxx>]

John,

 

I understand all of that.  This is the fundamental Davidsonian model.  Lots of NLP stuff uses the model.

 

What I said in the email was that the thing that plays the subject role in the verb is related to the event instance, rather than to the event type.  The relationship to the event type is “has A ever been involved in such an event”.  For the example in question, that relationship is the instance A being a donor of anything, which was not the intent of the example, or of your formal elucidation below.

 

-Ed

 

 

 

From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of sowa@xxxxxxxxxxx
Sent: Tuesday, March 26, 2013 5:12 AM
To: [ontolog-forum]
Cc: Hassan Aït-Kaci
Subject: Re: [ontolog-forum] Fwd: MOVED: Re: [ontology-summit] Hackathon: BACnet Ontology

 

Ed,

I'm using the ontology of my KR book.

> Actually, John, the last observation is slightly inaccurate. 'give' is a
> predicate. A is not connected to 'give' but rather to some "event" x...

In that ontology, 'give' is a verb in English.  With capital letters, Give is a concept type, which is a subtype of Act.

The canonical graph for Act, has the following form:

      [Act]->(Agent)->[Animate]

This graph is inherited by all subtypes of Act, each of which may add further links and restrictions.

When translated to predicate calculus, this graph maps to the following formula:

      (Ex:Act)(Ey:Animate)Agent(x,y)

In English, you can read the graph or the formula as

     "There is an instance of Act x, there is an instance of Animate y, and x has y as agent."

I summarize the KR ontology at http://www.jfsowa.com/ontology/index.htm

The canonical graph for Give adds two more relations, Theme and Recipient.

John

_________________________________________________________________
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    (01)