Welcome to the Semantic Web Interest Group scratchpad generated automatically from discussions on IRC at irc.freenode.net port 6667 channel #swig by the chump bot, instructions in the chump user manual. Please use UTF-8 charset on IRC and pastebin for code or data more than 10 lines long.
Nearby: IRC logs (Latest) | semantic-web list | ESW Wiki (Recent changes) | del.icio.us swigbot
JosD: especially interesting is the distributed reasoning capability via subqueries
JosD: also interesting is the fact that all known elements of an open set constitute a closed set
danbri: Congratulations Guido! :)
JosD: and an open set doesn't have a complement (according to Guido)
JosD: Guido's main thesis is that the SW needs a constructive logic
JosD: each triple must exist and must be verifiable (track source of triple, check namespaces,...)
JosD: Guido also believes he can fully simulate the travel agent case if he would have a few months
JosD: the main missing part for that is an interface to existing relational databases
JosD: an interesting result from the research is the "proof as program" (Chapter 6 Optimization)
JosD: another interesting one is the finding that the anti-looping technique is sound and complete (luckiily for Euler as well)