Reasoning-based Curriculum Sequencing and Validation: integration in a Service-Oriented Architecture

We present a service-oriented personalization system, set in an educational framework, based on a semantic annotation of courses including prerequisites and learning objectives. The system supports users in planning personalized curricula and in verifying the compliance of curricula against a model describing the designer goals. We have developed a prototype of the planning and validation services, by using SWI-Prolog and the SPIN model checker as reasoning engines. The services are supplied and combined in the Personal Reader framework.