[sc34wg3] And yet another...

[Lars Marius Garshol]

Hi Martin,

* Martin Bryan
| 
| I'm afraid your examples are beyond my limited brain capacity. 

I'm not sure that's the problem. I had to send this thing out before I
had time to explain it in much detail, so it probably is quite hard to
grasp from 0529.

| For the life of me I can't fathom out (11, 17, 18, 19) 

What that quad is saying is that "11 (the association) has a role of
type 17 played by topic 19, and 18 is the ID of this statement".

| or where the TYPE comes from in (11, TYPE, 12, 13). 

It's the same kind of thing as 11, 12, and 13, except that it's an
identifier I predefined to mean the [type] property from TMDM. So what
that statement is saying is "11 (the association) has as its type
topic 13, and the ID of this statement is 12".

| I presume this is the same TYPE that appears in _quadruple($X, TYPE,
| $Q, $TOPIC) 

Yes.

| but here I have trouble scoping $Q. 

The Q is there only because tolog requires me to specify something for
all four parameters of the _quadruple predicate, and so had I to put
something there, even though it's not used. So you can ignore that.

| Similarly I can't scope $V. 

It's another unused variable. It holds the string/URI value of the
statement being matched, but it doesn't go anywhere, so it's not used.

| I know this is only a draft, but a little more explanation of
| mysteriously appearing and disappearing parameters would be very
| much appreciated by those of us who are a bit rusty in the mind
| reading department :-)

I know. I'm sorry about this. I've had this idea lying around for
months, and have been writing this text in what spare time I've had
over the past month. As you can tell I haven't had much spare time.

-- 
Lars Marius Garshol, Ontopian         <URL: http://www.ontopia.net >
GSM: +47 98 21 55 50                  <URL: http://www.garshol.priv.no >