An extended description logic system with knowledge element based on ALC