An overview of KRL, a knowledge representation language