Semantic Web Technologies: Trends and Research in Ontology-based Systems
Semantic Web Technologies: Trends and Research in Ontology-based Systems
An Individualized Web-Based Algebra Tutor Based on Dynamic Deep Model Tracing
SETN '08 Proceedings of the 5th Hellenic conference on Artificial Intelligence: Theories, Models and Applications
Bringing semantics to web services: the OWL-S approach
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
The cognitive tutor authoring tools (CTAT): preliminary evaluation of efficiency gains
ITS'06 Proceedings of the 8th international conference on Intelligent Tutoring Systems
The MATHESIS semantic authoring framework: ontology-driven knowledge engineering for ITS authoring
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part II
MATHESIS: An Intelligent Web-Based Algebra Tutoring School
International Journal of Artificial Intelligence in Education
Hi-index | 0.00 |
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.