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".
Common Logic… See the full description on the dataset page:
https://huggingface.co/datasets/HannaAbiAkl/FOLIO-KR.
