0.25
0.5
0.75
1.25
1.5
1.75
2
The Efficacy of OWL and DL on User Understanding of Axioms and Their Entailments
Published on Nov 28, 20171148 Views
OWL is recognized as the de facto standard notation for ontology engineering. The Manchester OWL Syntax (MOS) was developed as an alternative to symbolic description logic (DL) and it is believed to b
Related categories
Chapter list
The Efficacy of OWL and DL on User Understanding of Axioms and Their Entailments00:00
Motivation00:20
Motivation - 101:15
Tasks: Understanding Axioms and Inference02:28
Main Hypotheses03:46
Designing Questions for the Study05:31
Understanding Axioms06:10
Making Sound Inferences from Axioms06:41
Making Unsound Inferences from Axioms07:17
MOS Version07:34
Statistical Analysis07:43
Understanding Tasks08:06
Sound Inference Tasks08:47
Unsound Inference Tasks09:15
Time Analysis09:34
Discussion09:47
Conclusion10:48