BLOGIC or Now What's in a Link?
published: Nov. 24, 2009, recorded: October 2009, views: 7012
Report a problem or upload filesIf you have found a problem with this lecture or would like to send us extra material, articles, exercises, etc., please use our ticket system to describe your request and upload the data.
Enter your e-mail into the 'Cc' field, and we will keep you updated with your request's status.
Putting logic on the Web has seemed like an intellectual one-way street: the logic was all worked out a century ago or more, the technology is 20 years old, and we are simply dealing with the dirty practical business of putting it into XML and getting it onto the Web. But there needs to be some intellectual traffic in the other direction. When logic meets the Web we have to re-think several of the basic assumptions of logic itself, to the point that it should be seen as a new subject, with a new name: blogic. This talk surveys several foundational issues in blogic that either never arose previously in logic, or have to now be reconsidered, focussing particularly on issues arising from linked data and the need for an 'intimatelyRelatedButMaybeNotActuallySameAs' relation.
Link this pageWould you like to put a link to this lecture on your homepage?
Go ahead! Copy the HTML snippet !