A Description Logic (DL) models concepts, roles and individuals, and their relationships.
The fundamental modeling concept of a DL is the axiom-a logical statement relating roles and/or concepts [REF].