Semantic Web Interest Group IRC Scratchpad

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.

Nearby: IRC logs | semantic-web list | W3C Wiki (Recent changes) | delicious swigbot

last updated at 2015-01-10 23:48
RefinePro - Data transformation for everyone
posted by capo at 2015-01-10 23:48 (+) tags:
 
http://rww.linked-data.eu/index.xhtml
posted by capo at 2015-01-10 23:48 (+) tags:
 
LOD for all
posted by capo at 2015-01-10 23:48 (+) tags:
 
Linked Data Platform.rb client
posted by capo at 2015-01-10 23:44 (+) tags:
 
http://foafpress.org/
posted by capo at 2015-01-10 23:43 (+) tags:
 
klaranet - a decentralized robot for the next generatio
posted by capo at 2015-01-10 23:35 (+) tags:
 
HyperCat
posted by capo at 2015-01-10 22:54 (+) tags:
 
The Seductive Lure of Meaning
posted by capo at 2015-01-10 22:50 (+) tags:
 
SPARQLcity - Graph Analytics at Hadoop Scale
posted by capo at 2015-01-10 22:48 (+) tags:
 
hypothes.is - The Web, Annotated.
posted by capo at 2015-01-10 22:34 (+) tags:
 
Snark theorem prover
posted by capo at 2015-01-10 22:33 (+) tags:
 
http://logicmoo.org
posted by poka at 2015-01-10 22:30 (+) tags:
 
Cognescent - Semantic Business Intelligence
posted by poka at 2015-01-10 22:29 (+) tags:
 
Image framework linked-data
posted by poka at 2015-01-10 22:24 (+) tags:
 
rdfherd - Tools for managing herds of RDF.
posted by poka at 2015-01-10 22:23 (+) tags:
 
Implementing Transitive Credit with JSON-LD
posted by poka at 2015-01-10 22:15 (+) tags:
 
Publishing without Publishers: a Decentralized Approach to Dissemination, Retrieval, and Archiving of Data
posted by poka at 2015-01-10 22:14 (+) tags:
 
https://www.force11.org/meetings/force2015/demos-and-posters
posted by poka at 2015-01-10 21:40 (+) tags:
 
SI: BIG MACHINE INTELLIGENCE FOR ALL
posted by poka at 2015-01-10 21:35 (+) tags:
 
Locally nameless representation with cofinite quantification
posted by poka at 2015-01-10 21:02 (+) tags:
poka: locally nameless representation avoids the need for alpha-conversion and the need for shifting de Bruijn indices. The cofinite quantification is used to obtain strong induction principles. This approach has been successfully applied to formalize many type systems.
 
http://nicolaspouillard.fr/publis/nameless-painless.pdf
posted by poka at 2015-01-10 20:56 (+) tags:
 
Mark Stickel's Snark theorem prover that is over 20 years old
posted by dmiles_afk at 2015-01-10 20:08 (+) tags:
 
JavaScript Equality Table
posted by mtet at 2015-01-10 11:11 (+) tags:
 
[pdf] Doppelgänger Finder
posted by mtet at 2015-01-10 11:03 (+) tags:
 
[pdf] Transitive Cookie Linking, etc
posted by mtet at 2015-01-10 10:54 (+) tags:
 
[pdf] Formalizing Semantic Bidirectionalization with Dependent Types
posted by mtet at 2015-01-10 10:37 (+) tags:
 
[pdf] Subdivision Drawings of Hypergraphs
posted by mtet at 2015-01-10 10:31 (+) tags:
 
Created by the Daily Chump bot. Hosted by PlanetRDF.