Competence-based extensions of Knowledge Space Theory are suggested as a formal framework for implementing key features of personalised learning in technology-enhanced learning. The approach links learning objects and assessment problems to the relevant skills that are taught or required. Various ways to derive these skills from domain ontologies…