Knowledge Reasoning System Architecture Based on Description Logic | IEEE Conference Publication | IEEE Xplore