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 2010-10-31 23:44
 
 
 
ww: The resulting formula is not necessarily equivalent to the original one, but is equisatisfiable with it: it is satisfiable if and only if the original one is
 
 
 
danbri: ... is a specification describing how license information may be described using RDF and how license information may be attached to works.
 
 
 
 
Created by the Daily Chump bot. Hosted by PlanetRDF.