existing map should be filtered

  • according to a constraint or a set of constraints

  • a set of constraints is an ontology

  • filtered map only contains those concepts and constructs which are admissible according to the filter ontology

  • this is a special case of transforming a map

  • AsTMa! constraints can be filters

use filtering

  • queries have to be transformed as well
  • Q * (F * M) != F * (Q * M)

Rumsti