draft of paper: Shadowboxing: Mirroring the TBox in the ABox