4.4. Adding a role instance
What queries can proceed once we add a role instance to a context? Figure 3 clearly illustrates there is only one kind of step that is enabled by adding a role instance: role R1. So if query that would have passed through instances of R1, should be recomputed. Because we just add a role (and no binding!) there are no other queries to consider.
Figure 3. The yellow circle represents a new role instance added to the context instance.