[Top] [All Lists]

Re: [ontolog-forum] quadruples talk

To: "Chris Menzel" <cmenzel@xxxxxxxx>, "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Peter F Brown" <peter@xxxxxxxxxx>
Date: Fri, 7 Sep 2007 20:12:41 +0200
Message-id: <1B2253B0359130439EA571FF30251AAE044ADE@xxxxxxxxxxxxxxx>
Chris wrote:
>> Didn't Keith Devlin first field the idea of "infons", as
>> poly-dimensional tuples?     (01)

>Well, not really.  "infon" was coined in the late 80s by Jon Barwise
>who, initially with John Perry in _Situations and Attitudes_ and
>subsequently in collaboration with a lot of other folks, created
>situation theory.  Infons themselves are not mere tuples, but
>pieces of "atomic" information consisting of a relation (in intension,
>not a set of n-tuples), some appropriate number of objects filling the
>various "roles" of the relation, and a "polarity", indicating that the
>objects in the infon do or do not (depending on the polarity) stand in
>the relation.  The rather ridiculously productive Prof Devlin worked
>the ideas of early situation theory somewhat informally in his 1991
>_Logic and Information_, but I believe the theory was in fact developed
>more successfully and with much greater rigor by Barwise himself
>together with Jerry Seligman in their 1997 book _Information Flow_.    (02)

You and Pat are right of course. Too long since I read them, time to
dust them off, brain is going rusty on some of the names and concepts!    (03)

>Applications of IF logics to ontology integration are explored by two
>very good European researchers Marco Schorlemmer and Yannis Kalfoglou
>the following papers:
>http://users.ecs.soton.ac.uk/yk1/ifmap-jds03.pdf    (04)

Thanks for the references - I'll take a look.    (05)

Peter    (06)

P.S. as an aside, why "rather ridiculously productive Prof Devlin" ?!    (07)

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    (08)

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