Skip to content
@ontologyportal

ontologyportal

Parent project for all the code supporting SUMO

Popular repositories Loading

  1. sumo sumo Public

    Suggested Upper Merged Ontology (SUMO)

    HTML 234 77

  2. sigmakee sigmakee Public

    Sigma Knowledge Engineering Environment

    Java 106 35

  3. sigmanlp sigmanlp Public

    NLP functionality on top of the Sigma system

    Java 17 6

  4. Calendar Calendar Public

    A knowledge based calendar app

    Java 6 2

  5. JavaRes JavaRes Public

    Java-based FOL prover - translation of eprover/PyRes

    Java 5 2

  6. chatbot chatbot Public

    Simple chatbot functionality built on top of Sigma

    Java 4 1

Repositories

Showing 10 of 16 repositories
  • sigmakee Public

    Sigma Knowledge Engineering Environment

    Java 106 GPL-3.0 35 30 1 Updated Apr 15, 2025
  • sumo Public

    Suggested Upper Merged Ontology (SUMO)

    HTML 234 77 33 (1 issue needs help) 8 Updated Apr 15, 2025
  • sumonlp Public

    a neuro-symbolic approach to natural language understanding

    Roff 2 1 2 0 Updated Apr 14, 2025
  • sigmanlp Public

    NLP functionality on top of the Sigma system

    Java 17 GPL-3.0 6 2 2 Updated Apr 14, 2025
  • SUMOjEdit Public

    integration of jEdit with Sigma

    Java 1 GPL-3.0 3 1 0 Updated Apr 13, 2025
  • sigmaAntlr Public

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

    Java 0 3 0 0 Updated Mar 27, 2025
  • TPTP-ANTLR Public

    ANTLR grammar and Java code for TPTP language family

    Java 3 BSD-3-Clause 3 0 0 Updated Mar 27, 2025
  • SigmaRest Public

    A RESTful interface shell project for Sigma and SigmaNLP

    Java 4 4 0 0 Updated Mar 18, 2025
  • SigmaUtils Public

    Sigma utilities refactored from sigmakee

    Java 1 GPL-3.0 4 0 0 Updated Mar 17, 2025
  • .github Public
    0 0 0 0 Updated Nov 2, 2024
View all repositories