{"status":"OK","data":{"id":512996,"identifier":"0ANEPG","persistentUrl":"https://doi.org/10.34894/0ANEPG","protocol":"doi","authority":"10.34894","separator":"/","publisher":"DataverseNL","publicationDate":"2025-08-28","storageIdentifier":"surf://10.34894/0ANEPG","effectiveDatasetFileCountLimit":10000,"datasetFileUploadsAvailable":9993,"datasetType":"dataset","locks":[],"latestVersion":{"id":31526,"datasetId":512996,"datasetPersistentId":"doi:10.34894/0ANEPG","datasetType":"dataset","storageIdentifier":"surf://10.34894/0ANEPG","versionNumber":1,"internalVersionNumber":18,"versionMinorNumber":0,"versionState":"RELEASED","latestVersionPublishingState":"RELEASED","deaccessionLink":"","lastUpdateTime":"2025-08-28T10:09:22Z","releaseTime":"2025-08-28T10:09:22Z","createTime":"2025-08-26T10:43:48Z","publicationDate":"2025-08-28","citationDate":"2025-08-28","effectiveDatasetFileCountLimit":10000,"datasetFileUploadsAvailable":9993,"license":{"name":"CC-BY-4.0","uri":"http://creativecommons.org/licenses/by/4.0","iconUri":"https://i.creativecommons.org/l/by/4.0/88x31.png"},"fileAccessRequest":true,"metadataBlocks":{"citation":{"displayName":"Citation Metadata","name":"citation","fields":[{"typeName":"title","multiple":false,"typeClass":"primitive","value":"Replication Data for: Explainable reasoning with a controlled natural language"},{"typeName":"author","multiple":true,"typeClass":"compound","value":[{"authorName":{"typeName":"authorName","multiple":false,"typeClass":"primitive","value":"Sofia Gavasi"}},{"authorName":{"typeName":"authorName","multiple":false,"typeClass":"primitive","value":"Roos, Nico"},"authorAffiliation":{"typeName":"authorAffiliation","multiple":false,"typeClass":"primitive","value":"Maastricht University, Department of Advanced Computing Sciences"}}]},{"typeName":"datasetContact","multiple":true,"typeClass":"compound","value":[{"datasetContactName":{"typeName":"datasetContactName","multiple":false,"typeClass":"primitive","value":"Roos, Nico"},"datasetContactAffiliation":{"typeName":"datasetContactAffiliation","multiple":false,"typeClass":"primitive","value":"Maastricht University, Department of Advanced Computing Sciences"}},{"datasetContactName":{"typeName":"datasetContactName","multiple":false,"typeClass":"primitive","value":"UB Dataverse support"},"datasetContactAffiliation":{"typeName":"datasetContactAffiliation","multiple":false,"typeClass":"primitive","value":"Maastricht University"}}]},{"typeName":"dsDescription","multiple":true,"typeClass":"compound","value":[{"dsDescriptionValue":{"typeName":"dsDescriptionValue","multiple":false,"typeClass":"primitive","value":"Six datasets that have been used to evaluate reasoning with a Controlled Natural Language. A seventh file contains the grammar specification of the Controlled Natural Language.\n\n* 'BNF Grammar.pdf' contains the grammar specification of the Controlled Natural Language in Backus-Naur Form.\n* 'syllogism_dataset.csv' contains the adapted Kaggle dataset.\n* 'puzzles_dataset.csv' contains logical puzzles found on the internet and reformulated in the Controlled Natural Language if necessary.\n* 'gpt_dataset_easy.csv', 'gpt_dataset_hard.csv' and 'deepseek_dataset.csv' contain reasoning examples generated by Large Language Models.\n* 'interface_examples.csv' contains the inference example used in the user tests."},"dsDescriptionDate":{"typeName":"dsDescriptionDate","multiple":false,"typeClass":"primitive","value":"2025-08-26"}}]},{"typeName":"subject","multiple":true,"typeClass":"controlledVocabulary","value":["Computer and Information Science"]},{"typeName":"keyword","multiple":true,"typeClass":"compound","value":[{"keywordValue":{"typeName":"keywordValue","multiple":false,"typeClass":"primitive","value":"Explainable AI"}},{"keywordValue":{"typeName":"keywordValue","multiple":false,"typeClass":"primitive","value":"Reasoning"}},{"keywordValue":{"typeName":"keywordValue","multiple":false,"typeClass":"primitive","value":"Controlled Natural Language"}},{"keywordValue":{"typeName":"keywordValue","multiple":false,"typeClass":"primitive","value":"Natural Language Inference"}},{"keywordValue":{"typeName":"keywordValue","multiple":false,"typeClass":"primitive","value":"Semantic Tableau"}}]},{"typeName":"topicClassification","multiple":true,"typeClass":"compound","value":[{"topicClassValue":{"typeName":"topicClassValue","multiple":false,"typeClass":"primitive","value":"Explainable AI"}}]},{"typeName":"publication","multiple":true,"typeClass":"compound","value":[{"publicationRelationType":{"typeName":"publicationRelationType","multiple":false,"typeClass":"controlledVocabulary","value":"IsSupplementTo"},"publicationCitation":{"typeName":"publicationCitation","multiple":false,"typeClass":"primitive","value":"S. Guavas, N. Roos, Towards Explainable AI: Reasoning With Controlled Natural Language, submitted the BNAIC 2025, 17 page."}}]},{"typeName":"language","multiple":true,"typeClass":"controlledVocabulary","value":["English"]},{"typeName":"productionPlace","multiple":true,"typeClass":"primitive","value":["Maastricht University"]},{"typeName":"depositor","multiple":false,"typeClass":"primitive","value":"Roos, Nico"},{"typeName":"dateOfDeposit","multiple":false,"typeClass":"primitive","value":"2025-08-26"}]},"dansDataVaultMetadata":{"displayName":"Data Vault Metadata","name":"dansDataVaultMetadata","fields":[{"typeName":"dansDataversePid","multiple":false,"typeClass":"primitive","value":"doi:10.34894/0ANEPG"},{"typeName":"dansDataversePidVersion","multiple":false,"typeClass":"primitive","value":"1.0"},{"typeName":"dansBagId","multiple":false,"typeClass":"primitive","value":"urn:uuid:34d7b160-46e2-4f61-b271-8ed967cfe16c"},{"typeName":"dansNbn","multiple":false,"typeClass":"primitive","value":"urn:nbn:nl:ui:13-588a16c7-0837-4c37-874e-8f0b15956105"}]}},"files":[{"label":"BNF Grammar.pdf","restricted":false,"version":1,"datasetVersionId":31526,"dataFile":{"id":516894,"persistentId":"","filename":"BNF Grammar.pdf","contentType":"application/pdf","friendlyType":"Adobe PDF","filesize":56780,"storageIdentifier":"surf://store:198ef99239e-319cca066a54","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"df22ce8b26ece661a5c4c4613e453ebdc100fec7"},"tabularData":false,"creationDate":"2025-08-28","publicationDate":"2025-08-28","lastUpdateTime":"2025-08-28T10:09:22Z","fileAccessRequest":true}},{"label":"deepseek_dataset.csv","restricted":false,"version":1,"datasetVersionId":31526,"dataFile":{"id":516895,"persistentId":"","filename":"deepseek_dataset.csv","contentType":"text/csv","friendlyType":"Comma Separated Values","filesize":8259,"storageIdentifier":"surf://store:198ef9925df-b2cac1ad5ffb","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"ce656da9354713be5e5cb35ee2b7ed75a1c92ea9"},"tabularData":false,"creationDate":"2025-08-28","publicationDate":"2025-08-28","lastUpdateTime":"2025-08-28T10:09:22Z","fileAccessRequest":true}},{"label":"gpt_dataset_easy.csv","restricted":false,"version":1,"datasetVersionId":31526,"dataFile":{"id":516891,"persistentId":"","filename":"gpt_dataset_easy.csv","contentType":"text/csv","friendlyType":"Comma Separated Values","filesize":4932,"storageIdentifier":"surf://store:198ef992622-ca2350b03799","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"506390283c509f3bb3f1f51ea20fbaa17fbc04a2"},"tabularData":false,"creationDate":"2025-08-28","publicationDate":"2025-08-28","lastUpdateTime":"2025-08-28T10:09:22Z","fileAccessRequest":true}},{"label":"gpt_dataset_hard.csv","restricted":false,"version":1,"datasetVersionId":31526,"dataFile":{"id":516892,"persistentId":"","filename":"gpt_dataset_hard.csv","contentType":"text/csv","friendlyType":"Comma Separated Values","filesize":6372,"storageIdentifier":"surf://store:198ef99265b-4ab9947aedcb","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"03646301f812c99dade2cf28acf9ce766cdf59a9"},"tabularData":false,"creationDate":"2025-08-28","publicationDate":"2025-08-28","lastUpdateTime":"2025-08-28T10:09:22Z","fileAccessRequest":true}},{"label":"interface_examples.csv","restricted":false,"version":1,"datasetVersionId":31526,"dataFile":{"id":516896,"persistentId":"","filename":"interface_examples.csv","contentType":"text/csv","friendlyType":"Comma Separated Values","filesize":1811,"storageIdentifier":"surf://store:198ef992697-a8bc3dab75c6","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"64aa605dfc88480572461cb39011e6c49c521cb5"},"tabularData":false,"creationDate":"2025-08-28","publicationDate":"2025-08-28","lastUpdateTime":"2025-08-28T10:09:22Z","fileAccessRequest":true}},{"label":"puzzles_dataset.csv","restricted":false,"version":1,"datasetVersionId":31526,"dataFile":{"id":516890,"persistentId":"","filename":"puzzles_dataset.csv","contentType":"text/csv","friendlyType":"Comma Separated Values","filesize":5672,"storageIdentifier":"surf://store:198ef9926d4-89d7e5c78977","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"e3231a4f6e7d2d4acd172e61c214a67766eac98e"},"tabularData":false,"creationDate":"2025-08-28","publicationDate":"2025-08-28","lastUpdateTime":"2025-08-28T10:09:22Z","fileAccessRequest":true}},{"label":"syllogism_dataset.csv","restricted":false,"version":1,"datasetVersionId":31526,"dataFile":{"id":516893,"persistentId":"","filename":"syllogism_dataset.csv","contentType":"text/csv","friendlyType":"Comma Separated Values","filesize":5558,"storageIdentifier":"surf://store:198ef992710-c4842337de75","rootDataFileId":-1,"checksum":{"type":"SHA-1","value":"6e22f37822d299efe020dbb20bd8194fd388c623"},"tabularData":false,"creationDate":"2025-08-28","publicationDate":"2025-08-28","lastUpdateTime":"2025-08-28T10:09:22Z","fileAccessRequest":true}}]}}}