Ontology-Based Authoring of Intelligent Model-Tracing Math Tutors

摘要

This paper describes the MATHESIS Ontology, an OWL ontology developed within the MATHESIS project. The project aims at the development of an intelligent authoring environment for reusable model-tracing math tutors. The purpose of the ontology is to provide a semantic and therefore inspectable and re-usable representation of the declarative and procedural authoring knowledge necessary for the development of any model-tracing tutor, as well as of the declarative and procedural knowledge of the specific tutor under development. While the declarative knowledge is represented with the basic OWL components, i.e. classes, individuals and properties, the procedural knowledge is represented via the process model of the OWL-S web services description ontology. By using OWL-S, every authoring or tutoring task is represented as a composite process. Based on such an ontological representation, a suite of authoring tools will be developed at the final stage of the project.