modify RDFSAII.cpp