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

Hi Andrew,

[...]
> If you do care (as I think most of the "mainstream" programming
> community you mentioned later would), then I think "breaking" in
> this case is exactly the right thing to do.

The counter-argument is that supertype-subtype and type-instance
relationships are one of the key-concepts in TMDM/TMRM. Breaking the
semantics would be wrong. It is not just one axis where we'd break the
semantics but a lot more queries would break.

Take our DBpedia astronaut example:

   astronaut ako person.
   neil isa astronaut.

   select $x where $x isa person

"neil" wouldn't be part of the result set. Wouldn't that be strange
given what's said about supertype-subtype/type-instance relationships
in TMRM/TMDM?

Best regards,
Lars
-- 
Semagia 
<http://www.semagia.com>

<https://twitter.com/larsheuer/> Twitter
<http://www.topicmaps.de/mailinglist/> German Topic Maps mailing list
<http://tinytim.sourceforge.net/> Open Source Topic Maps engine
<http://mappa.semagia.com/> Mappa - Python Topic Maps engine