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

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 UTC