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)
  ☆181Updated last month
• AndrewSmart / opencyc
  A fork of opencyc which adds auto-complete to sentence assertion in the browser interface.
  ☆55Updated 9 years ago
• ontologyportal / sigmakee
  Sigma Knowledge Engineering Environment
  ☆114Updated this week
• ontologyportal / sumo
  Suggested Upper Merged Ontology (SUMO)
  ☆246Updated this week
• fargonauts / copycat
  Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat
  ☆121Updated 7 months ago
• Cognonto / kbpedia
  KBPedia Knowledge Graph & Knowledge Ontology (KKO)
  ☆230Updated 5 years ago
• Attempto / APE
  Parser for Attempto Controlled English (ACE)
  ☆208Updated last year
• SoarGroup / Soar
  Soar, a general cognitive architecture for systems that exhibit intelligent behavior.
  ☆366Updated last week
• AndriesSHP / Gellish
  Development of the Gellish Communicator reference application and tools for universal data exchange and data integration supporting Forma…
  ☆27Updated 7 years ago
• JanWielemaker / chat80
  Classical CHAT80 NLP system for Prolog
  ☆24Updated 9 months ago
• opennars / OpenNARS-for-Applications
  General reasoning component for applications based on NARS theory.
  ☆105Updated 6 months ago
• opencog / rocca
  Rational OpenCog Controlled Agent (ROCCA). Use OpenCog to control a rational agent in OpenAI Gym and Malmo environments.
  ☆36Updated 2 years ago
• MNoorFawi / pytholog
  Python library that enables using prolog syntax and logic programming in python
  ☆129Updated 2 years ago
• ringgaard / sling
  SLING - A natural language frame semantics parser
  ☆171Updated this week
• cu-clear / semlink
  Official repository for Semlink resources
  ☆37Updated 3 years ago
• gruninger / colore
  Automatically exported from code.google.com/p/colore
  ☆73Updated 11 months ago
• eyereasoner / eye
  Euler Yet another proof Engine
  ☆157Updated last week
• opencog / ure
  [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…
  ☆56Updated 2 months ago
• ekaf / wordnet-prolog
  Prolog versions of the WordNet databases
  ☆30Updated last year
• LogicalContracts / LogicalEnglish
  ☆41Updated this week
• RinkeHoekstra / lkif-core
  The LKIF Core Ontology of Basic Legal Concepts
  ☆141Updated 12 years ago
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆245Updated 2 months ago
• BFO-ontology / BFO
  BFO repository including source code and latest documents
  ☆289Updated last year
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆205Updated 4 years ago
• eriktmueller / thoughttreasure
  ThoughtTreasure commonsense knowledge base and architecture for natural language processing
  ☆79Updated 10 years ago
• opennars / opennars
  OpenNARS for Research 3.0+
  ☆403Updated 4 years ago
• ML-KULeuven / deepproblog
  DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…
  ☆280Updated last year
• karmaresearch / vlog
  ☆57Updated 2 years ago
• cu-clear / verbnet
  University of Colorado VerbNet
  ☆115Updated last year
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆86Updated 4 years ago