Re: Proposal and implementation for full FOL in JSON-LD

• From: Dominik Tomaszuk <ddooss@wp.pl>
• Date: Mon, 31 Aug 2020 16:34:58 +0200
• To: Tanel Tammet <Tanel.Tammet@ttu.ee>, public-rdf-dev@w3.org, semantic-web@w3.org, public-webapps@w3.org
• Message-ID: <c3ffa993-e745-9df5-7b8e-abd86679a328@wp.pl>

W dniu 31.08.2020 o 12:57, Tanel Tammet pisze:
> Hi,
> 
> Maybe you are interested of a fresh JSON-LD-compatible draft proposal 
> for the JSON format of logic for provers:
> 
> https://github.com/tammet/json-ld-logic
> 
> There is a live pure-browser prover playground for the syntax
> 
> http://logictools.org/json.html
> 
> running my https://github.com/tammet/gkc prover using Wasm.
> 
> Any comments and suggestions would be most welcome!
> 
> Regards,
> 
> Tanel Tammet
> 
> 
> 

Hi Tanel,

I invite you to a similar project: Notation3.

https://github.com/w3c/N3

Best,

-- 
Dominik Tomaszuk
Research Fellow
University of Bialystok
Poland

Received on Monday, 31 August 2020 14:35:15 UTC