ontolog-forum
[Top] [All Lists]

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

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
Cc: Hassan Aït-Kaci <hak@xxxxxxx>
From: sowa@xxxxxxxxxxx
Date: Tue, 26 Mar 2013 05:12:25 -0400 (EDT)
Message-id: <94d9856d66019aeaad96dae5e344ad98.squirrel@xxxxxxxxxxxxxxxxxxxx>

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)

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