W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > October 2001

RE: NP completeness & rdf entailment, graph identity, MT etc.

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Tue, 9 Oct 2001 11:04:24 +0100
To: "Pat Hayes" <phayes@ai.uwf.edu>
Cc: <w3c-rdfcore-wg@w3.org>
Message-ID: <JAEBJCLMIFLKLOJGMELDAEEMCCAA.jjc@hplb.hpl.hp.com>
Jeremy:
> >    Semantics:                  Model Theory
> >    Second Level Abstraction:   Graph
> >    First Level Abstraction:    Triples (Multiset)
> >    Concrete Syntax:            RDF/XML & N-Triple
> >
> >
> >I guess last week I was assuming that the first level abstraction was not
> >useful.
>

Pat:
> Model theory not useful!??! Humph!!


Just in case you're not deliberately misreading me ...

By 'first level abstraction' I meant the same as the 'First Level
Abstraction' i.e. the notion of the bag of triples.

I wouldn't want to slight the model theory at all (well not this time at
least :) ).



Jeremy
Received on Tuesday, 9 October 2001 06:04:46 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:40:58 EDT