Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ ZENODOarrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
ZENODO
Dataset
Data sources: ZENODO
Zenodo
Claim

FOLIO-KR

Research datakeyboard_double_arrow_right Dataset Under curation English Publisher:Zenodo
Authors: Abi Akl, Hanna;

doi: 10.5281/zenodo.19920517

FOLIO-KR

Abstract

FOLIO-KR FOLIO-KR (FOLIO Knowledge Representation) is a dataset generated from the original FOLIO dataset spanning several KR notations from First-Order Logic (FOL). 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". Notations The dataset currently supports the following KR notations: Common Logic Interchange Format (CLIF) Concept Graph Interchange Format (CGIF) CLINGO Tensor Function Logic (TFL+) Custom languages (e.g. MINIFOL2) References Investigating Language Model Capabilities to Represent and Process Formal Knowledge: A Preliminary Study to Assist Ontology Engineering SEF-CLGC at SemEval-2026 Task 11: Logical Notation Impact on Language Model Performance

Powered by OpenAIRE graph
Found an issue? Give us feedback