Post on 22-Dec-2015
KES 2011, Sep 13th 2011
“The MATHESIS Semantic Authoring Framework",
D.Sklavakis & I. Refanidis 1
The MATHESIS Semantic Authoring Framework: Ontology-Driven Knowledge
Engineering for ITS Authoring
Dimitrios Sklavakis and Ioannis Refanidisdsklavakis@uom.gr, yrefranid@uom.gr
Department of Applied InformaticsUniversity of Macedonia
ThessalonikiGREECE
KES 2011, Sep 13th 2011
“The MATHESIS Semantic Authoring Framework",
D.Sklavakis & I. Refanidis 2
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
KES 2011, Sep 13th 2011
“The MATHESIS Semantic Authoring Framework",
D.Sklavakis & I. Refanidis 3
The MATHESIS Project Approach:
Bottom – Up Ontological Engineering
The MATHESIS Algebra Tutor
Declarative and Procedural Knowledge hard-coded in HTML and JavaScript
The MATHESIS Ontology: Declarative description 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 Authoring Tools
Guiding Tutor Authoring Through Searching in the Ontology and “Interpreting” the Authoring Model (OWL-S Processes)
Domain Experts’ Knowledge: Domain + Tutoring + Assessing + Programming
KES 2011, Sep 13th 2011
“The MATHESIS Semantic Authoring Framework",
D.Sklavakis & I. Refanidis 4
MATHESIS Algebra Tutor Screenshot
Help, Hint and Error Messages Area
WebEq Input Control for the Algebraic Expression being Rewriten
WebEq Input Control for Student Answers
WebEq Input Control for Intermediate Results
KES 2011, Sep 13th 2011
“The MATHESIS Semantic Authoring Framework",
D.Sklavakis & I. Refanidis 5
The OWL-S Process Model:Ontological Representation of Procedural
Knowledge Part of the OWL-S
process model used by the MATHESIS
ontology
KES 2011, Sep 13th 2011
“The MATHESIS Semantic Authoring Framework",
D.Sklavakis & I. Refanidis 6
The OWL-S Process Model:Visual Representation of a Composite
Process’ StructureA 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
Tutor Representation in MATHESIS
KES 2011, Sep 13th 2011
“The MATHESIS Semantic Authoring Framework", D.Sklavakis & I. Refanidis 7
monomial_multiplication_tutor
Domain_Task
ITS_Implemented
document_49
HTMLObject
execute_monomial_multiplication
monomial_1
monomial_2
monomial_3
Domain_Knowledge_Component
execute_monomial_multiplication-Model_Tracing_Algorithm
ITS_Teaching_Model
ITS_Model_Tracing_Process
hasDomainTask hasTopInterfaceElement
hasInputKnowledgeComponents hasOutputKnowledgeComponents
hasTutoringModel
instanceOf
instanceOf
instanceOf
instanceOf
instanceOfIsa
KES 2011, Sep 13th 2011
“The MATHESIS Semantic Authoring Framework",
D.Sklavakis & I. Refanidis 8
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.
KES 2011, Sep 13th 2011
“The MATHESIS Semantic Authoring Framework",
D.Sklavakis & I. Refanidis 9
From Tutoring Processes to JavaScript code: monomial multiplication
The Model-Tracing Process…
…calls
The problem presentation process which initializes the user interface
Every JavaScript statement is an instanceOf
isa Atomic Process
JavaScript code is represented…
…using a simple parsing grammar for JavaScript
KES 2011, Sep 13th 2011
“The MATHESIS Semantic Authoring Framework",
D.Sklavakis & I. Refanidis 10
Representation of the User Interfacemonomial_multiplication_tutor
Document_49
hasFirstChild
Html_51
Head_53
WebEq_Input_Control_1_idhtml-property-name=“id”html-property-value=“expressionInputControl”
WebEq_Input_Control_2
hasTopInterfaceElement
hasFirstChild
Body_54
hasNextSibling
hasFirstChild
hasNextSibling
Visual Representation of the Interface
WebEq_Input_Control_1
WebEq_Input_Control_2_idhtml-property-name=“id”html-property-value=“answerInputControl”
hasHTMLProperty
hasHTMLProperty
The MATHESIS Authoring Model (OntoMath)The Tutor’s ontological representation can be created:
a) From expert authors, using the Protégé OWL interface
b) 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 atomicAtomic authoring processes are grounded to Java code which builds the tutor’s ontological representation through the Protégé API.
KES 2011, Sep 13th 2011
“The MATHESIS Semantic Authoring Framework",
D.Sklavakis & I. Refanidis 11
The Authoring Processes Ontology
KES 2011, Sep 13th 2011
“The MATHESIS Semantic Authoring Framework",
D.Sklavakis & I. Refanidis 12
KES 2011, Sep 13th 2011
“The MATHESIS Semantic Authoring Framework",
D.Sklavakis & I. Refanidis 13
Representing the Authoring Model:
“Interpreting” the authoring processes
For each tutoring task…
There is a correspon-ding authoring process…
…which can be further refined.
MATHESIS Authoring Tools Demo
Tutor and Tutoring Processes Authoring Tools Execution of Authoring Processess
KES 2011, Sep 13th 2011
“The MATHESIS Semantic Authoring Framework", D.Sklavakis & I. Refanidis 14
KES 2011, Sep 13th 2011
“The MATHESIS Semantic Authoring Framework",
D.Sklavakis & I. Refanidis 15
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
KES 2011, Sep 13th 2011
“The MATHESIS Semantic Authoring Framework",
D.Sklavakis & I. Refanidis 16
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
KES 2011, Sep 13th 2011
“The MATHESIS Semantic Authoring Framework",
D.Sklavakis & I. Refanidis 17
Thank you!You May Find More About The
MATHESIS Project at http://ai.uom.gr/dsklavakis
Interactive Event at 7pm