TAR: Neural Logical Reasoning across TBox and ABox