{ "access": { "embargo": { "active": false, "reason": null }, "files": "public", "record": "public", "status": "open" }, "created": "2026-04-30T13:48:23.043651+00:00", "custom_fields": {}, "deletion_status": { "is_deleted": false, "status": "P" }, "files": { "count": 3, "enabled": true, "entries": { "folio_kr_gold_test_sef.csv": { "access": { "hidden": false }, "checksum": "md5:a2b0acb803568fdd2aa1ff4d232e3da7", "ext": "csv", "id": "af17c28b-45a9-4d78-ad59-faa5bccabcef", "key": "folio_kr_gold_test_sef.csv", "links": { "content": "https://zenodo.org/api/records/19920517/files/folio_kr_gold_test_sef.csv/content", "self": "https://zenodo.org/api/records/19920517/files/folio_kr_gold_test_sef.csv" }, "metadata": {}, "mimetype": "text/csv", "size": 653361, "storage_class": "L" }, "folio_kr_gold_train_sef.csv": { "access": { "hidden": false }, "checksum": "md5:2cbf5504ed580abd4787dc2819f81795", "ext": "csv", "id": "9037d828-549a-4203-ae65-1a8e7f5e5565", "key": "folio_kr_gold_train_sef.csv", "links": { "content": "https://zenodo.org/api/records/19920517/files/folio_kr_gold_train_sef.csv/content", "self": "https://zenodo.org/api/records/19920517/files/folio_kr_gold_train_sef.csv" }, "metadata": {}, "mimetype": "text/csv", "size": 2503406, "storage_class": "L" }, "folio_kr_gold_valid_sef.csv": { "access": { "hidden": false }, "checksum": "md5:953a6a5a314cd4a0c963b665c6e09c76", "ext": "csv", "id": "305042cb-49e6-4025-bad5-46b8b7508a9a", "key": "folio_kr_gold_valid_sef.csv", "links": { "content": "https://zenodo.org/api/records/19920517/files/folio_kr_gold_valid_sef.csv/content", "self": "https://zenodo.org/api/records/19920517/files/folio_kr_gold_valid_sef.csv" }, "metadata": {}, "mimetype": "text/csv", "size": 649354, "storage_class": "L" } }, "order": [], "total_bytes": 3806121 }, "id": "19920517", "is_draft": false, "is_published": true, "links": { "access": "https://zenodo.org/api/records/19920517/access", "access_grants": "https://zenodo.org/api/records/19920517/access/grants", "access_links": "https://zenodo.org/api/records/19920517/access/links", "access_request": "https://zenodo.org/api/records/19920517/access/request", "access_users": "https://zenodo.org/api/records/19920517/access/users", "archive": "https://zenodo.org/api/records/19920517/files-archive", "archive_media": "https://zenodo.org/api/records/19920517/media-files-archive", "communities": "https://zenodo.org/api/records/19920517/communities", "communities-suggestions": "https://zenodo.org/api/records/19920517/communities-suggestions", "doi": "https://doi.org/10.5281/zenodo.19920517", "draft": "https://zenodo.org/api/records/19920517/draft", "file_modification": "https://zenodo.org/api/records/19920517/file-modification", "files": "https://zenodo.org/api/records/19920517/files", "latest": "https://zenodo.org/api/records/19920517/versions/latest", "latest_html": "https://zenodo.org/records/19920517/latest", "media_files": "https://zenodo.org/api/records/19920517/media-files", "parent": "https://zenodo.org/api/records/19920516", "parent_doi": "https://doi.org/10.5281/zenodo.19920516", "parent_doi_html": "https://zenodo.org/doi/10.5281/zenodo.19920516", "parent_html": "https://zenodo.org/records/19920516", "preview_html": "https://zenodo.org/records/19920517?preview=1", "quota_increase": "https://zenodo.org/api/records/19920517/quota-increase", "request_deletion": "https://zenodo.org/api/records/19920517/request-deletion", "requests": "https://zenodo.org/api/records/19920517/requests", "reserve_doi": "https://zenodo.org/api/records/19920517/draft/pids/doi", "self": "https://zenodo.org/api/records/19920517", "self_doi": "https://doi.org/10.5281/zenodo.19920517", "self_doi_html": "https://zenodo.org/doi/10.5281/zenodo.19920517", "self_html": "https://zenodo.org/records/19920517", "self_iiif_manifest": "https://zenodo.org/api/iiif/record:19920517/manifest", "self_iiif_sequence": "https://zenodo.org/api/iiif/record:19920517/sequence/default", "versions": "https://zenodo.org/api/records/19920517/versions" }, "media_files": { "count": 0, "enabled": false, "entries": {}, "order": [], "total_bytes": 0 }, "metadata": { "creators": [ { "affiliations": [ { "name": "Data ScienceTech Institute" }, { "id": "01nzkaw91", "identifiers": [ { "identifier": "01nzkaw91", "scheme": "ror" }, { "identifier": "grid.457356.6", "scheme": "grid" } ], "name": "Research Centre Inria Sophia Antipolis - M\u00e9diterran\u00e9e" } ], "person_or_org": { "family_name": "Abi Akl", "given_name": "Hanna", "identifiers": [ { "identifier": "0000-0001-9829-7401", "scheme": "orcid" } ], "name": "Abi Akl, Hanna", "type": "personal" }, "role": { "id": "contactperson", "title": { "de": "Kontaktperson", "en": "Contact person" } } } ], "dates": [ { "date": "2026-04-30", "type": { "id": "available", "title": { "de": "Verf\u00fcgbar", "en": "Available" } } } ], "description": "

FOLIO-KR

\n

FOLIO-KR (FOLIO Knowledge Representation) is a dataset generated from the original FOLIO dataset spanning several KR notations from First-Order Logic (FOL).

\n

The gold train, test and valid splits are provided. It is the dataset used in \"Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering\".

\n

Notations

\n

The dataset currently supports the following KR notations:

\n\n

References

\n", "languages": [ { "id": "eng", "title": { "en": "English" } } ], "publication_date": "2026-04-30", "publisher": "Zenodo", "resource_type": { "id": "dataset", "title": { "de": "Datensatz", "en": "Dataset" } }, "rights": [ { "description": { "en": "The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited." }, "icon": "cc-by-icon", "id": "cc-by-4.0", "props": { "scheme": "spdx", "url": "https://creativecommons.org/licenses/by/4.0/legalcode" }, "title": { "en": "Creative Commons Attribution 4.0 International" } } ], "title": "FOLIO-KR" }, "parent": { "access": { "owned_by": { "user": "1631450" }, "settings": { "accept_conditions_text": null, "allow_guest_requests": false, "allow_user_requests": false, "secret_link_expiration": 0 } }, "communities": { "default": "ffaed4b4-df09-4eb7-af5d-56c562ce3f74", "entries": [ { "access": { "member_policy": "open", "members_visibility": "public", "record_submission_policy": "open", "review_policy": "open", "visibility": "public" }, "children": { "allow": false }, "created": "2022-02-28T16:41:56.649133+00:00", "custom_fields": {}, "deletion_status": { "is_deleted": false, "status": "P" }, "id": "ffaed4b4-df09-4eb7-af5d-56c562ce3f74", "links": {}, "metadata": { "curation_policy": "", "page": "

Wimmics stands for Web-Instrumented Man-Machine Interactions, Communities, and Semantics.
\r\nOur challenge is to bridge formal semantics and social semantics on the web. We are a joint research team between INRIA Sophia Antipolis - Méditerranée and I3S (CNRS and Université Côte d'Azur). Our research areas are graph-oriented knowledge representation, reasoning and operationalization to model and support actors, actions and interactions in web-based epistemic communities. The application of our research is supporting and fostering interactions in online communities and management of their resources. Wimmics is a follow-up of the teams Acacia, Edelweiss and Kewi.

\r\n\r\n

Inria field: Perception, Cognition, Interaction
\r\nInria theme: Knowledge and Data Representation and Management
\r\nI3S division: SPARKS: Scalable and Pervasive softwARe and Knowledge Systems

\r\n\r\n

CNRS institute: INS2I

", "title": "Wimmics Inria research team" }, "revision_id": 0, "slug": "wimmics", "updated": "2022-02-28T16:41:56.897889+00:00" } ], "ids": [ "ffaed4b4-df09-4eb7-af5d-56c562ce3f74" ] }, "id": "19920516", "pids": { "doi": { "client": "datacite", "identifier": "10.5281/zenodo.19920516", "provider": "datacite" } } }, "pids": { "doi": { "client": "datacite", "identifier": "10.5281/zenodo.19920517", "provider": "datacite" }, "oai": { "identifier": "oai:zenodo.org:19920517", "provider": "oai" } }, "revision_id": 4, "stats": { "all_versions": { "data_volume": 28716975.0, "downloads": 27, "unique_downloads": 26, "unique_views": 21, "views": 22 }, "this_version": { "data_volume": 28716975.0, "downloads": 27, "unique_downloads": 26, "unique_views": 21, "views": 22 } }, "status": "published", "swh": {}, "updated": "2026-04-30T13:48:23.679277+00:00", "versions": { "index": 1, "is_latest": true } }