The data was collected through the (online-distributed, currently unavailable) survey to test the accuracy of the cognitive model SHARP (for more info about this model, see: https://hdl.handle.net/2077/74797 ).
SHARP was designed to simulate human performance on certain deduction tasks related to the description logic ALE.
More specifically, SHARP models the task of checking whether a given ABox (in the logic ALE) is inconsistent.
In the survey, participants were presented (among other things) ABoxes after which they were supposed to decide their inconsistency.
The data consists of:
- responses to questions about previous logic experience
- responses to demographic questions
- responses for each presented ABox (`Consistent', `Inconsistent' or `I don't know')
- responses for questions where the participant was asked to rate the difficulty of the previous ABox on a five-point Likert scale
- response times for all questions, in seconds
- a number indicating the order in which the ABoxes were presented (this order was randomised and different for each participant)
See list of variable codes and their explanation below, please note that the mathematical notation used there is only properly shown when using MathJax. The documentation file Data_Description-2.pdf has been rendered with the corresponding notation and may be used for reference.
DATA-SPECIFIC INFORMATION FOR: [results-survey539252-16.csv]
Number of variables: 108
Number of cases/rows: 84
Variable List:
G01Q37: 'Do you know what a contradiction is?'
G01Q36: 'Do you have experience with description logic?''
G01Q39: 'Have you seen this notation before? \( \\{ a \{\,:\,\} (A \sqcap B) \\} \) (If the expression does not show properly, please consider using a different browser)'
G02Q38: 'What is your gender?'
G02Q39: 'What is your age?'
G02Q40: 'What is your nationality?'
G01Q00: '\( \\{ a \{\,:\,\} A,\ b \{\,:\,\} \neg A,\ a \{\,:\,\} \neg B \\} \)'
G01Q01: '\( \\{ a \{\,:\,\} \forall s.(\neg A \sqcap B),\ (b,a) \{\,:\,\} r,\ c \{\,:\,\} (\neg B \sqcap C),\ b \{\,:\,\} \forall r. \exists s.(A \sqcap B),\ a \{\,:\,\} (B \sqcap \neg C),\ (b,c) \{\,:\,\} s \\} \)'
G02Q27: 'How difficult was it to decide whether the last ABox was inconsistent? 1 is very easy. 5 is very difficult.'
G02Q18: '\( \\{ a \{\,:\,\} (A \sqcap (B \sqcap (C \sqcap (D \sqcap \neg A)))) \\} \)'
G04Q56: the order of the ABox presented in question G02Q18
G02Q12: '\( \\{ a \{\,:\,\} (B \sqcap (C \sqcap (\neg A \sqcap A))) \\} \)'
G0...