Multidimensional Grid of Properties

• each dimension is at least a POSET (=> can be an ordered set)
• exact match + relaxed match + restricted relaxed match
• thanks to the real world nature, the grid is quite sparse (the apparatus should allow to get decent level of detail where required while abstracting away easily if needed - 'zoom')
• reasoning (inference engine) should be somehow hidden to a regular developer - the system has to act as a declarative language using smart (pre-defined) relaxing ('defaulting') rules (x instanceof y)
• boolean expressions used to combine the results of the underlying inference engine into more complex statements on a higher level (familiar to developers) (x instanceof y || x instanceof z)