Implementation of inference based on knowldge base for LOIS lab