Welcome to the
Semantic Web Interest Group
scratchpad generated automatically from discussions on
IRC at
Freenode channel #swig 2001-2018 approx
by the chump bot.
JosD: Yesterday Guido defended his masters thesis in Utrecht with great success 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)
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)