The question of how inferred information shows up in the mapping, and how this affects querying, is very complex and needs to be considered more thoroughly. One wants to query with and without inferred information, and the difficulty is to see exactly what is needed, and how to achieve this.
For example, given the following CTM topic map:
a isa b . b ako c .This implies a third association (a isa c) which is not actually present in the topic map. It's clear that a TMQL query for all topics of type c should return a. What is not clear is whether a TMQL query counting the associations a has should return 1 (a isa b) or 2 (a isa b, a isa c)?
Some requirements have been identified:
The next step is to identify a more complete set of requirements, and to write a strawman proposal.
tmphoto app built with OKS.