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

Re: universal languages

From: Sandro Hawke <sandro@w3.org>
Date: Sat, 03 Feb 2001 11:27:53 -0500
Message-Id: <200102031741.f13HfQ711451@daniel.hawke.org>
To: www-rdf-logic@w3.org

Peter Crowther writes:
> From: Dan Connolly [mailto:connolly@w3.org]
> > Triples are an idiom that show up all over the place,
> > in my experience. They look like a pretty important
> > and useful modelling primitive.
> You can model a directed graph using a set of triples; you can model an
> arbitrarily complex data structure with a directed graph.  As primitives,
> they are sufficient to model any other structure.  I'm not aware of a
> simpler primitive that allows you to model an arbitrarily complex data
> structure using only a single set containing instances of that primitive.

One nit, in the name of clarity here: you only need pairs for directed
graphs (DGs).  Triples give us directed labeled graphs (DLGs).

I think you can represent a DLG with a DG, so maybe it doesn't matter.

But it does raise the question: we're using n-tuples to represent
information.  Is there any clear reason to use n=3 as our fundamental
structuring?   I think it's more conventient than n=2 and makes
self-reference easier than n=anything (which most logics seem to
use).   But is there a solid theory behind that?

    -- sandro
Received on Saturday, 3 February 2001 11:28:00 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:33 UTC