An extended description logic system with knowledge element based on ALC

Open in new window