Alternatives and similar repositories for opencyc

Users that are interested in opencyc are comparing it to the libraries listed below

• opencog / learn
  Neuro-symbolic interpretation learning (mostly just language-learning, for now)
  ☆165Updated last week
• ontologyportal / sigmakee
  Sigma Knowledge Engineering Environment
  ☆110Updated last week
• ontologyportal / sumo
  Suggested Upper Merged Ontology (SUMO)
  ☆239Updated last week
• Cognonto / kbpedia
  KBPedia Knowledge Graph & Knowledge Ontology (KKO)
  ☆228Updated 5 years ago
• AndrewSmart / opencyc
  A fork of opencyc which adds auto-complete to sentence assertion in the browser interface.
  ☆54Updated 9 years ago
• fargonauts / copycat
  Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat
  ☆121Updated 3 months ago
• Attempto / APE
  Parser for Attempto Controlled English (ACE)
  ☆199Updated last year
• MNoorFawi / pytholog
  Python library that enables using prolog syntax and logic programming in python
  ☆126Updated 2 years ago
• SoarGroup / Soar
  Soar, a general cognitive architecture for systems that exhibit intelligent behavior.
  ☆352Updated 2 weeks ago
• lab-v2 / pyreason
  An explainable inference software supporting annotated, real valued, graph based and temporal logic
  ☆286Updated last week
• JanWielemaker / chat80
  Classical CHAT80 NLP system for Prolog
  ☆22Updated 5 months ago
• opennars / OpenNARS-for-Applications
  General reasoning component for applications based on NARS theory.
  ☆101Updated 2 months ago
• LogicalContracts / LogicalEnglish
  ☆34Updated this week
• ringgaard / sling
  SLING - A natural language frame semantics parser
  ☆166Updated 3 weeks ago
• trueagi-io / hyperon-experimental
  MeTTa programming language implementation
  ☆196Updated this week
• BFO-ontology / BFO
  BFO repository including source code and latest documents
  ☆281Updated last year
• opencog / rocca
  Rational OpenCog Controlled Agent (ROCCA). Use OpenCog to control a rational agent in OpenAI Gym and Malmo environments.
  ☆33Updated 2 years ago
• karmaresearch / vlog
  ☆57Updated 2 years ago
• ML-KULeuven / deepproblog
  DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…
  ☆254Updated last year
• gruninger / colore
  Automatically exported from code.google.com/p/colore
  ☆71Updated 7 months ago
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆203Updated 3 years ago
• ML-KULeuven / problog
  ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
  ☆360Updated 3 weeks ago
• ErgoAI / ErgoEngine
  The ErgoAI reasoning engine, an advanced object-oriented knowledge management system
  ☆41Updated 4 months ago
• CommonCoreOntology / CommonCoreOntologies
  The Common Core Ontology Repository holds the current released version of the Common Core Ontology suite.
  ☆244Updated this week
• tetherless-world / whyis
  Whyis is a nano-scale knowledge graph publishing, management, and analysis framework.
  ☆62Updated 4 months ago
• GustikS / NeuraLogic
  Deep relational learning through differentiable logic programming.
  ☆106Updated last year
• RinkeHoekstra / lkif-core
  The LKIF Core Ontology of Basic Legal Concepts
  ☆136Updated 12 years ago
• opencog / atomspace
  The OpenCog (hyper-)graph database and graph rewriting system
  ☆902Updated 3 weeks ago
• eyereasoner / eye
  Euler Yet another proof Engine
  ☆152Updated this week
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆85Updated 3 years ago