P-FOLIO-KR

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

The gold train split is provided. Syllogisms with multiple conclusions (stories) have been split into rows of single conclusions.

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

• P-FOLIO: Evaluating and Improving Logical Reasoning with Abundant Human-Written Reasoning Chains