Human performance on a deductive reasoning task in the description logic ALE
type: Dataset
distribution: Landing page for the dataset
description: 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 ). The code for SHARP is available at: https://doi.org/10.5281/zenodo.13759504 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 …
description: Data från enkät som utvärderar den kognitiva modellen SHARP för mänskliga deduktiva resonemang. Se den engelskspråkiga katalogposten samt README.txt för utförlig information om studien och datasetet. @sv
modified: 2024-09-19T14:19:22.203508Z
issued: 2024-01-15T15:52:52.808634Z
publisher: University of Gothenburg
theme: SOCI
access rights: PUBLIC
qualified attribution: Attribution
  had role: principalInvestigator
  agent: Tjeerd Fokkens
    type: Agent
    account: https://orcid.org/0009-0005-5939-9727
    type: PrivateIndividual(s)
qualified attribution: Attribution
  had role: principalInvestigator
  agent: Fredrik Engström
    type: Agent
    account: https://orcid.org/0000-0003-3304-3990
    type: PrivateIndividual(s)
contact point: Individual
  fn: Jelle Tjeerd Fokkens
contact point: Individual
  fn: Fredrik Engström
keyword: symbolic reasoning
keyword: symboliskt resonemang @sv
keyword: description logic
keyword: beskrivningslogik @sv
keyword: deductive reasoning
keyword: deduktivt resonemang @sv
temporal: PeriodOfTime
  start date: 2023-06-01
  end date: 2023-11-30
language: ENG
spatial: Sweden
spatial: Netherlands
spatial: Germany

Landing page for the dataset
type: Distribution
title: Landningssida för datasetet @sv
access URL: Human performance on a deductive reasoning task in the description logic ALE
availability: stable

University of Gothenburg
type: Agent
name: Göteborgs universitet @sv
type: Academia-ScientificOrganisation
source: 01tm6cn81

Sweden
type: Location
label: Sverige @sv

Netherlands
type: Location
label: Nederländerna @sv

Germany
type: Location
label: Tyskland @sv