Epistemic Logic Programs: a study of some properties