An initial e-learning ontology: Formal description of four key concepts in the field of e-learning