Combining JSON-LD with First Order Logic

Tanel Tammet; Geoff Sutcliffe

doi:10.1109/ICSC50631.2021.00051

Back

Conference proceeding

Combining JSON-LD with First Order Logic

Tanel Tammet and Geoff Sutcliffe

2021 IEEE 15th International Conference on Semantic Computing (ICSC), pp.256-261

2021-01

DOI: https://doi.org/10.1109/ICSC50631.2021.00051

Abstract

Conferences

Semantics

Syntactics

Software systems

Cognition

Standards

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.

Metrics

11 Record Views

1 Times Cited - Web of Science

UN Sustainable Development Goals (SDGs)

This output has contributed to the advancement of the following goals:

Source: InCites

Details

Title: Combining JSON-LD with First Order Logic
Creators: Tanel Tammet - School of Information Technologies, Tallinn University of Technology,Tallinn,Estonia
Geoff Sutcliffe - University of Miami,Department of Computer Science,Miami,USA
Publication Details: 2021 IEEE 15th International Conference on Semantic Computing (ICSC), pp.256-261
Publisher: IEEE
Academic Unit: Leadership Department; College of A&S; A&S - Computer Science
Language: English
Resource Type: Conference proceeding
Record Identifier: 991031598574002976