KRSS working group of the D ARPA Knowledge Sharing Effort. Draft of the specification for Description Logic (1993)