Repositories list

• sumonlp

  Public
  a neuro-symbolic approach to natural language understanding

  Python

  •1•0•0•0•Updated Nov 27, 2024Nov 27, 2024

• sigmakee

  Public
  Sigma Knowledge Engineering Environment

  Java

  •

  GNU General Public License v3.0

  •35•103•30•1•Updated Nov 27, 2024Nov 27, 2024

• sumo

  Public
  Suggested Upper Merged Ontology (SUMO)

  HTML

  •71•227•31•9•Updated Nov 27, 2024Nov 27, 2024

• sigmanlp

  Public
  NLP functionality on top of the Sigma system

  Java

  •

  GNU General Public License v3.0

  •6•16•2•2•Updated Nov 26, 2024Nov 26, 2024

• TPTP-ANTLR

  Public
  ANTLR grammar and Java code for TPTP language family

  Java

  •

  BSD 3-Clause "New" or "Revised" License

  •3•3•0•0•Updated Nov 26, 2024Nov 26, 2024

• SigmaUtils

  Public
  Sigma utilities refactored from sigmakee

  Java

  •

  GNU General Public License v3.0

  •4•1•0•0•Updated Nov 26, 2024Nov 26, 2024

• SUMOjEdit

  Public
  integration of jEdit with Sigma

  Java

  •

  GNU General Public License v3.0

  •3•1•1•0•Updated Nov 16, 2024Nov 16, 2024

• .github

  Public
  0•0•0•0•Updated Nov 2, 2024Nov 2, 2024

• sigmaAntlr

  Public
  A reimplementation of Sigma using the ANTLR parser and storing formulas in an abstract syntax tree

  Java

  •

  Other

  •3•0•0•0•Updated Sep 29, 2023Sep 29, 2023

• SigmaRest

  Public
  A RESTful interface shell project for Sigma and SigmaNLP

  Java

  •2•4•0•0•Updated Sep 17, 2023Sep 17, 2023

• JavaRes

  Public
  Java-based FOL prover - translation of eprover/PyRes

  Java

  •

  GNU General Public License v2.0

  •2•5•0•0•Updated Mar 11, 2023Mar 11, 2023

• semconcor

  Public
  Semantic Concordancer that uses dependency parsing and the Suggested Upper Merged Ontology (SUMO) to support linguistic analysis at a level of semantic abstraction above the original textual elements

  nlpontologyconcordancer

  JavaScript

  •0•2•0•0•Updated Oct 21, 2017Oct 21, 2017

• dashboard

  Public
  Dashboard is a web project to show test results graphically

  JavaScript

  •1•0•0•0•Updated Sep 27, 2017Sep 27, 2017

• short-answer

  Public
  short answer extraction component

  Java

  •1•2•0•0•Updated Sep 7, 2017Sep 7, 2017

• Calendar

  Public
  A knowledge based calendar app

  Java

  •

  GNU General Public License v3.0

  •2•6•4•0•Updated Apr 15, 2017Apr 15, 2017

• chatbot

  Public
  Simple chatbot functionality built on top of Sigma

  Java

  •1•4•0•0•Updated Feb 4, 2017Feb 4, 2017