Quantification can be specified by a labeled arrow drawn from a variable to the context in which it is scoped.
SethR: this is an animated demo showing the process of inference using these quantification arrows
sbp: the picture does exist
sbp: the picture does exist
AaronSw: It might be nice if they used RSS 1.0, tho...
sbp: why?
AaronSw: But sbp is still sore about RSS 1.0 since it has that Property/Class confusion (in some instances).
sbp: I'll just wait for RSS 1.1
sbp: RSS 1.1 isn't at http://www.purl.org/rss/1.0/ BTW, according to Aaron
sbp: why?
AaronSw: But sbp is still sore about RSS 1.0 since it has that Property/Class confusion (in some instances).
sbp: I'll just wait for RSS 1.1
sbp: RSS 1.1 isn't at http://www.purl.org/rss/1.0/ BTW, according to Aaron
damian: "... rdf instance data. Authoring
damian: "...is largely a matter of dragging in data and binding it together using a graphical interface"
damian: See the tutorial for a screenshotty walkthrough.
AaronSw: Wins the AaronSw RDF Logo of the Year award:
damian: Logo is a huge lumbering killer robot (nicked from Robotech Defence Force)
danbri_lap: Danbri lobbying for feature bloat item number 3: Query support
danbri_lap: See the SHOE/PARKA graphical query editor for the sort of thing I have in mind.
libby: libby will pay good pints for a port to pure java
libby: though is a great piece of work as is
libby: libby lobbying for feature bloat item number 4: svg export
libby: Libby lobbying for feature bloat number 5: create a schema from my instance data (thanks Al Gilman)