Combining JSON-LD with First Order Logic

Tanel Tammet, Geoff Sutcliffe

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish (US)
Title of host publicationProceedings - 2021 IEEE 15th International Conference on Semantic Computing, ICSC 2021
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages256-261
Number of pages6
ISBN (Electronic)9781728188997
DOIs
StatePublished - Jan 2021
Event15th IEEE International Conference on Semantic Computing, ICSC 2021 - Virtual, Laguna Hills, United States
Duration: Jan 27 2021Jan 29 2021

Publication series

NameProceedings - 2021 IEEE 15th International Conference on Semantic Computing, ICSC 2021

Conference

Conference15th IEEE International Conference on Semantic Computing, ICSC 2021
Country/TerritoryUnited States
CityVirtual, Laguna Hills
Period1/27/211/29/21

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computer Science Applications
  • Decision Sciences (miscellaneous)

Fingerprint

Dive into the research topics of 'Combining JSON-LD with First Order Logic'. Together they form a unique fingerprint.

Cite this