W3C home > Mailing lists > Public > www-rdf-logic@w3.org > August 2001

How will the model theory look ?

From: Seth Russell <seth@robustai.net>
Date: Thu, 30 Aug 2001 13:36:07 -0700
Message-ID: <015c01c13193$66c93360$b17ba8c0@c1457248a.sttls1.wa.home.com>
To: <www-rdf-logic@w3.org>, <www-rdf-interest@w3.org>
Cc: "pat hayes" <phayes@ai.uwf.edu>
From: "Brian McBride" <bwm@hplb.hpl.hp.com>

> Other decisions the WG made include:
>
>   o The model theory will be defined for RDF graphs, not n-triples.

That's great news :)  But what does it mean?  Will the model theory be
defined in the usual mathematical terms of graph theory, and/or will it be
defined in terms of actual pictorial graphs like found here:

http://robustai.net/mentography/
for example:
http://robustai.net/mentography/MentographySemenglish.gif

If the latter is needed I would volunteer my services as scribe in drawing
them ... it's what I do ...

Seth Russell
Received on Thursday, 30 August 2001 16:36:33 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:40 GMT