[tmql-wg] Re: [tmcl-wg] TMPath - experiments summary

[Dmitry]

----- Original Message ----- 
From: "Robert Barta" Sent: Thursday, July 31, 2003 5:04 PM
Subject: [tmql-wg][tmcl-wg] TMPath - experiments summary

> I believe that all AsTMa* patterns can be compiled into path
> expressions like TMPath or AsTMaPath. This means that the core formal
> semantics of AsTMa? can be based on this. I am not too happy with the
> current semantics definition in AsTMa! It is too convoluted.  If you
> can base your TMpath more firmly on a formal model, then we are in
> business.

I am not a big fan of "formal formal" semantics. But...if I have time I
would probably clarify type - super type  relationship interpretation.
I think that standard topic map engine should support type - super type
inference automatically.  Next item on agenda is interpretation of negation.
I think that Topic Maps should have standard way to represent negative
information. I had a quick chat with Lars about this. He suggested to use
"false" scope. But...it should be a standard (extension?) and TMQL engines
should be aware of this feature. I also would like to clarify interpretation
of "open/close worlds" in Topic Maps. In ideal situation TMQL should be able
to return, for example, list of topic with special tag "that's it, no more
topics like that is possible"

> > Currently I try to extend TMPath with pluggable serializers. Two samples
for
> > XML and Wiki:
> >
http://homepage.mac.com/dmitryv/TopicMaps/TMPath/TMPathSerializerSamples.txt
>
> Yes, I was thinking exactly along these lines. As I said TMPath can be
> made into a query language (more or less) easily.
>
> The wiki idea is pretty cool. I wonder, though, whether the knowledge
> that this is wiki-code is relevant for the query language. It is flat
> text and inside the {}'s there is TMPath code.
>
> \rho

I think tags like "wiki", "xml" or may be "html", "ltm", "xtm"  etc. will
help to clarify how sub expression should be inserted into parent
expression. If we have standard (or definable) set of converters between
various serializers we can mix/reuse different serializers in one query.

Dmitry