W3C home > Mailing lists > Public > semantic-web@w3.org > September 2019

draft JSON syntax for FOL reasoners

From: Tanel Tammet <tanel.tammet@gmail.com>
Date: Sun, 8 Sep 2019 18:10:16 +0300
To: semantic-web@w3.org
Message-ID: <c79ca89c-6880-79b6-8641-77354fc199de@ttu.ee>
Folks,

For anybody interested in full first order reasoners: there is a fresh 
draft spec

https://github.com/tammet/jsfol

for using JSON for the TPTP ( http://tptp.cs.miami.edu/ ) language used 
by most top-level full FOL reasoners.

Any comments and suggestions most welcome.

Maybe

Regards,

Tanel Tammet
Received on Monday, 9 September 2019 08:01:41 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:51:38 UTC