Semantic Web Interest Group IRC Scratchpad

Welcome to the Semantic Web Interest Group scratchpad generated automatically from discussions on IRC at 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 | W3C Wiki (Recent changes) | delicious swigbot

last updated at 2009-03-15 19:28
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...
mhausenblas: the best, maybe the only answer :)
mhausenblas: A short introduction into pushback/RDForms including a demo for Jira
mhausenblas: please let me know what you what expect to find there ... we likely have some more terms? ;)
Created by the Daily Chump bot. Hosted by PlanetRDF.