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 2009-03-15 19:28
Alloy Analyzer
posted by danbri at 2009-03-15 19:28 (+) tags:
danbri: "s a lightweight modelling language for software design. It is amenable to a fully automatic analysis, using the Alloy Analyzer, and provides a visualizer for making sense of solutions and counterexamples it finds. "
danbri: See also Michael Sperberg-McQueen's notes on Alloy
danbri: "Alloy allows you to describe a design in a simple notation for symbolic logic, define predicates which hold either of particular objects in the universe, or of the universe as a whole, make assertions about the design, and so on."
danbri: I wonder how it compares to OWL 2.0...
 
Simple Compare & Contrast of Web 1.0, 2.0, and 3.0
posted by mhausenblas at 2009-03-15 16:03 (+) tags:
mhausenblas: the best, maybe the only answer :)
 
Turning the read-only Web of Data into a read-write Web of Data
posted by mhausenblas at 2009-03-15 14:19 (+) tags:
mhausenblas: A short introduction into pushback/RDForms including a demo for Jira
 
http://www.synium.de/products/screenium/index.html
posted by kwijibo at 2009-03-15 12:22 (+) tags:
 
Linked Data Glossary
posted by mhausenblas at 2009-03-15 11:07 (+) tags:
mhausenblas: please let me know what you what expect to find there ... we likely have some more terms? ;)
 
pushback's DOAP so that /me can't be called a snake oil ;D
posted by mhausenblas at 2009-03-15 11:06 (+) tags:
 
Created by the Daily Chump bot. Hosted by PlanetRDF.