Re: TMQL: Direct (super|sub)types?

On Sat, Mar 05, 2011 at 09:34:48AM +0000, Andrew S. Townley wrote:
> 
> On 5 Mar 2011, at 9:22 AM, Robert Barta wrote:
> > 
> > RDF Query processors use external flags (controls, pragmas, ...)  to
> > allow the developer to specify "the amount of inferencing" to be
> > used. I personally found this to be very workable.
> > 
> > In a previous life one of the prettier editors (TMQL had many)
> > proposed:
> > 
> >   http://www.isotopicmaps.org/tmql/tmql.html#Pragmas
> > 
> > I liked that. I mean the feature, not the editor...
> 
> While I like the concept of having pragmas, would the one you
> highlight prevent you from using both in the same system?

No, that is - of course - possible.

> What is the scope of the pragma?  The processing of a single TMQL "script" for lack of a better word?

It can be introduced at any level, at least for the good'n'old rho-TMQL:

    http://kill.devc.at/system/files/tmql-2008-07-15.html#QueryExpressionStructure

For example:

  %pragma taxonometry tm:transitive # would be the default, anyway
  return
    // person
    --
    {
       %pragma taxonometry tm:intransitive # switch it off
       // honest-politician
    }

Not that the query actually delivers anything useful.

\rho