Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Koedinger, K.R., Anderson, J.R., Hadley, W.H., Mark, M.A.: Intelligent Tutoring Goes to School in the Big City. International Journal of Artificial Intelligence in Education 8, 30–43 (1997)
Aleven, V., McLaren, B., Sewall, J., Koedinger, K.R.: The Cognitive Tutor Authoring Tools (CTAT): Preliminary Evaluation of Efficiency Gains. In: Ikeda, M., Ashley, K.D., Chan, T.-W. (eds.) ITS 2006. LNCS, vol. 4053, pp. 61–70. Springer, Heidelberg (2006)
Murray, T.: An Overview of Intelligent Tutoring System Authoring Tools: Updated Analysis of the State of the Art. In: Authoring Tools for Advanced Technology Learning Environments, pp. 491–544. Kluwer Academic Publishers, Netherlands (2003)
Davies, J., Studer, R., Waren, P. (eds.): Semantic Web Technologies: trends and research in ontology-based systems. John Wiley & Sons Ltd., England (2006)
Dicheva, D., Mizogichi, R., Capuano, N., Harrer, A. (eds.): Proceedings of the Fifth International Workshop on Ontologies and Semantic Web for E-Learning, SWEL 2007 (2007), http://compsci.wssu.edu/iis/Papers/SWEL07-Proceedings.pdf
Martin, D., Paolucci, M., McIlraith, S., Burstein, M., McDermott, D., McGuinness, D., Parsia, B., Payne, T., Sabou, M., Solanki, M., Srinivasan, N., Sycara, K.: Bringing Semantics to Web Services: The OWL-S Approach. In: Cardoso, J., Sheth, A.P. (eds.) SWSWPC 2004. LNCS, vol. 3387, pp. 26–42. Springer, Heidelberg (2005)
The Protégé ontology editor, http://protege.stanford.edu/overview/protege-owl.html
Sklavakis, D., Refanidis, I.: An Individualized Web-Based Algebra Tutor Based on Dynamic Deep Model-Tracing. In: Darzentas, J., Vouros, G.A., Vosinakis, S., Arnellos, A. (eds.) SETN 2008. LNCS (LNAI), vol. 5138, pp. 389–394. Springer, Heidelberg (2008)
Gutiérrez-Carreón, G., Daradoumis, T., Jorba, J.: Exploring Semantic Description and Matching Technologies for Enhancing the Automatic Composition of Grid-based Learning Services. In: Proceedings of the Fifth International Workshop on Ontologies and Semantic Web for E-Learning, SWEL 2007 (2007), http://compsci.wssu.edu/iis/Papers/SWEL07-Proceedings.pdf
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sklavakis, D., Refanidis, I. (2010). Ontology-Based Authoring of Intelligent Model-Tracing Math Tutors. In: Dicheva, D., Dochev, D. (eds) Artificial Intelligence: Methodology, Systems, and Applications. AIMSA 2010. Lecture Notes in Computer Science(), vol 6304. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15431-7_21
Download citation
DOI: https://doi.org/10.1007/978-3-642-15431-7_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15430-0
Online ISBN: 978-3-642-15431-7
eBook Packages: Computer ScienceComputer Science (R0)