Knowledge representations based on extension rules | IEEE Conference Publication | IEEE Xplore