170 likes | 343 Views
The MATHESIS Semantic Authoring Framework: Ontology-Driven Knowledge Engineering for ITS Authoring. Dimitrios Sklavakis and Ioannis Refanidis dsklavakis@uom.gr , yrefranid@uom.gr Department of Applied Informatics University of Macedonia Thessaloniki GREECE. Overview.
E N D
The MATHESIS Semantic Authoring Framework: Ontology-Driven Knowledge Engineering for ITS Authoring DimitriosSklavakis and IoannisRefanidis dsklavakis@uom.gr, yrefranid@uom.gr Department of Applied Informatics University of Macedonia Thessaloniki GREECE “The MATHESIS Semantic Authoring Framework", D.Sklavakis & I. Refanidis
Overview • The MATHESIS Project • Bottom-up approach • The MATHESIS Algebra Tutor, Ontology and Authoring Tools • Tutor Representation in MATHESIS Ontology • The OWL-S process model • The Tutoring model • The Program code model • The Interface model • The Authoring model • The MATHESIS Authoring Tools • Further Work • Discussion “The MATHESIS Semantic Authoring Framework", D.Sklavakis & I. Refanidis
The MATHESIS Project Approach:Bottom – Up Ontological Engineering The MATHESIS Authoring Tools Guiding Tutor Authoring Through Searching in the Ontology and “Interpreting” the Authoring Model (OWL-S Processes) • The MATHESIS Ontology:Declarativedescription of: • User Interface and Student Model using OWL (declarative knowledge of the tutor) • Domain (Math) and Tutoring Model of the tutor as well as Authoring Model using OWL-S (procedural knowledge) The MATHESIS Algebra Tutor Declarative and Procedural Knowledge hard-coded in HTML and JavaScript Domain Experts’ Knowledge: Domain + Tutoring + Assessing + Programming “The MATHESIS Semantic Authoring Framework", D.Sklavakis & I. Refanidis
MATHESIS Algebra Tutor Screenshot Help, Hint and Error Messages Area WebEq Input Control for Student Answers WebEq Input Control for the Algebraic Expression being Rewriten WebEq Input Control for Intermediate Results “The MATHESIS Semantic Authoring Framework", D.Sklavakis & I. Refanidis
The OWL-S Process Model:Ontological Representation of Procedural Knowledge Part of the OWL-S process model used by the MATHESIS ontology “The MATHESIS Semantic Authoring Framework", D.Sklavakis & I. Refanidis
The OWL-S Process Model:VisualRepresentation of a Composite Process’ Structure A composite process is a tree whose non-terminal nodes are control constructs Leaf nodes are invocations of other processes, composite or atomic(Perform constructs) In MATHESIS Ontology, procedural knowledge is represented as OWL-S processes, composite or atomic “The MATHESIS Semantic Authoring Framework", D.Sklavakis & I. Refanidis
Tutor Representation in MATHESIS ITS_Implemented instanceOf monomial_multiplication_tutor hasDomainTask hasTopInterfaceElement Domain_Task HTMLObject instanceOf instanceOf execute_monomial_multiplication document_49 hasInputKnowledgeComponents hasOutputKnowledgeComponents hasTutoringModel Domain_Knowledge_Component ITS_Teaching_Model instanceOf Isa monomial_1 ITS_Model_Tracing_Process monomial_2 instanceOf monomial_3 execute_monomial_multiplication-Model_Tracing_Algorithm “The MATHESIS Semantic Authoring Framework", D.Sklavakis & I. Refanidis
Representing the Tutoring Model:The Model-Tracing Process(KVL variation) Being procedural knowledge… …the model-tracing algorithm is represented as a composite porcess… …calling other composite processes for each tutoring task. “The MATHESIS Semantic Authoring Framework", D.Sklavakis & I. Refanidis
From Tutoring Processes to JavaScript code: monomial multiplication isa Atomic Process The Model-Tracing Process… …using a simple parsing grammar for JavaScript …calls The problem presentation process which initializes the user interface Every JavaScript statement is an instanceOf JavaScript code is represented… “The MATHESIS Semantic Authoring Framework", D.Sklavakis & I. Refanidis
Representation of the User Interface monomial_multiplication_tutor Visual Representation of the Interface hasTopInterfaceElement Document_49 hasFirstChild Html_51 hasFirstChild Head_53 hasNextSibling Body_54 hasFirstChild WebEq_Input_Control_1_id html-property-name=“id” html-property-value=“expressionInputControl” WebEq_Input_Control_1 hasHTMLProperty hasNextSibling WebEq_Input_Control_2_id html-property-name=“id” html-property-value=“answerInputControl” WebEq_Input_Control_2 hasHTMLProperty “The MATHESIS Semantic Authoring Framework", D.Sklavakis & I. Refanidis
The MATHESIS Authoring Model (OntoMath) The Tutor’s ontological representation can be created: • From expert authors, using the Protégé OWL interface • From non expert authors, by executing Authoring Processes, created by expert authors. Authoring processes are OWL-S processes, composite or atomic (OntoMath statements), executed by the authoring tools: • Composite authoring processes call other authoring processes, composite or atomic • Atomic authoring processes are grounded to Java code which builds the tutor’s ontological representation through the Protégé API. “The MATHESIS Semantic Authoring Framework", D.Sklavakis & I. Refanidis
The Authoring Processes Ontology “The MATHESIS Semantic Authoring Framework", D.Sklavakis & I. Refanidis
Representing the Authoring Model:“Interpreting” the authoring processes For each tutoring task… There is a correspon-ding authoring process… …which can be further refined. “The MATHESIS Semantic Authoring Framework", D.Sklavakis & I. Refanidis
MATHESIS Authoring Tools Demo • Tutor and Tutoring Processes Authoring Tools • Execution of Authoring Processess “The MATHESIS Semantic Authoring Framework", D.Sklavakis & I. Refanidis
The MATHESIS FrameworkFurther Work • Extend, Refine, Formalise the Ontology • Represent the Algebra Tutor in the Ontology • Create Authoring Tools: • Parsers HTML ↔ MATHESIS Interface model • Parsers JavaScript ↔ JavaScriptStatements “The MATHESIS Semantic Authoring Framework", D.Sklavakis & I. Refanidis
The MATHESIS FrameworkDiscussion • The use of ontological representation has all known advantages (openness, collaboration, reusability) and disadvantages (multiple incompatible dialects) of ontologies • New approach: ontological representation of procedural knowledge (rules) through OWL-S processes. • Both authoring and authored knowledge share the same representation and lie in the same place • Newly authored tutors become new knowledge to be used for the next ones • Maximum knowledge reuse anticipated “The MATHESIS Semantic Authoring Framework", D.Sklavakis & I. Refanidis
Thank you!You May Find More About The MATHESIS Project at http://ai.uom.gr/dsklavakis Interactive Event at 7pm “The MATHESIS Semantic Authoring Framework", D.Sklavakis & I. Refanidis