Internal representation of s-modular knowledge base in RKaSeA system | IEEE Conference Publication | IEEE Xplore