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
structured
>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
out
>the ideas of early situation theory somewhat informally in his 1991
book
>_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
in
>the following papers:
>
>http://users.ecs.soton.ac.uk/yk1/MCN04-schorlemmer-kalfoglou.pdf
>
>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)
|