logical types of links (Re: Links, Types and Documents)

davis@willow.tc.cornell.edu (Jim Davis)
Date: Wed, 24 Jun 92 11:49:48 EDT
From: davis@willow.tc.cornell.edu (Jim Davis)
Message-id: <9206241549.AA13062@willow.tc.cornell.edu>
To: www-talk@nxoc01.cern.ch
Subject: logical types of links (Re:  Links, Types and Documents)
I want to take issue with the set of links proposed by R Raisch.  They
are very intriguing and I praise him for bringing them up, while also
apologizing for not responding to them sooner.  This is the first
of several letters addressing some problems I see in his proposal
and some general issues for WWW and hypertext which are raised
by his list.

In this message, I want to discuss the logical types of links.  It
seems to me that hyperlinks could encoding knowledge of several
different types.  Three that come to mind are:

1 structural - relations between documents, e.g. document X cites
document Y; word X is defined in document Y; possibly extending to
the kind of argumentation links used in e.g. gIBIS, NoteCards (e.g.
claim X is refuted by argument Y)

2 presentation - the user should see X and Y at same time if possible.

3 construction - to build document X, include files Y and Z, and
run procedure W at display time.

It is not obvious to me that these three should be treated in the
same way.  In particular, I doubt the need for presentation information.
The lesson of SGML is that documents should be marked with logical
structure, leaving presentation out.

It also seems to me that Raisch's list mixes several types, and
this is undesirable.

For example, I see the "annotation" link as encoding presentation
information.  It differs from "replacement" only in that you see the
original and the target at the same time.  (At least, that's how he
describes it.  One could also define it as a kind of logical relation
- it is a comment on the target.  But that's a different subject.)

A second example is that one might want to use an "Execution" link (or
its subtype "collection") to implement any of the first four types
(replacement, annotation, inclusion, expansion).

To continue the discussion, we might consider whether there are
other logical types for links, how to decompose Raisch's links 
into these categories, and whether to encode presentation in links.

Best wishes