implement optional external atom parameter which allows for ignoring the Abox