Combining JSON-LD with First Order Logic

This paper describes a specification, JSON-LD-LOGIC, for using JSON as a language for first order logic. It is compatible with both the JSON-LD and TPTP languages, the latter being the de facto standard first order logic language for theorem provers. The paper also describes the GKC toolkit for proving theorems using the JSON-LD-LOGIC language, and for converting between the JSON-LD-LOGIC and TPTP languages.