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)
  ☆160Updated this week
• AndrewSmart / opencyc
  A fork of opencyc which adds auto-complete to sentence assertion in the browser interface.
  ☆54Updated 9 years ago
• Cognonto / kbpedia
  KBPedia Knowledge Graph & Knowledge Ontology (KKO)
  ☆228Updated 4 years ago
• ontologyportal / sumo
  Suggested Upper Merged Ontology (SUMO)
  ☆237Updated 2 weeks ago
• ML-KULeuven / deepproblog
  DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…
  ☆240Updated 10 months ago
• MNoorFawi / pytholog
  Python library that enables using prolog syntax and logic programming in python
  ☆125Updated 2 years ago
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆202Updated 3 years ago
• opennars / OpenNARS-for-Applications
  General reasoning component for applications based on NARS theory.
  ☆98Updated 3 weeks ago
• BFO-ontology / BFO
  BFO repository including source code and latest documents
  ☆278Updated last year
• ML-KULeuven / problog
  ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
  ☆349Updated 3 months ago
• eyereasoner / eye
  Euler Yet another proof Engine
  ☆143Updated this week
• vangelisv / thea
  OWL2 library for Prolog
  ☆111Updated 5 years ago
• lab-v2 / pyreason
  An explainable inference software supporting annotated, real valued, graph based and temporal logic
  ☆267Updated last week
• SoarGroup / Soar
  Soar, a general cognitive architecture for systems that exhibit intelligent behavior.
  ☆352Updated last month
• LogicalContracts / LogicalEnglish
  ☆33Updated last month
• Attempto / APE
  Parser for Attempto Controlled English (ACE)
  ☆197Updated last year
• cu-clear / verbnet
  University of Colorado VerbNet
  ☆107Updated last year
• phillord / hermit-reasoner
  ☆59Updated 4 years ago
• ozekik / awesome-ontology
  A curated list of ontology things
  ☆387Updated last month
• fargonauts / copycat
  Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat
  ☆121Updated 2 months ago
• ontologyportal / sigmakee
  Sigma Knowledge Engineering Environment
  ☆110Updated 3 weeks ago
• AndriesSHP / Gellish
  Development of the Gellish Communicator reference application and tools for universal data exchange and data integration supporting Forma…
  ☆26Updated 6 years ago
• CommonCoreOntology / CommonCoreOntologies
  The Common Core Ontology Repository holds the current released version of the Common Core Ontology suite.
  ☆235Updated last week
• opencog / rocca
  Rational OpenCog Controlled Agent (ROCCA). Use OpenCog to control a rational agent in OpenAI Gym and Malmo environments.
  ☆33Updated 2 years ago
• commonsense / omcs
  The meta-repository for the Open Mind Common Sense project.
  ☆76Updated 13 years ago
• pcarbonn / pyDatalog
  a datalog implementation in Python
  ☆295Updated 9 months ago
• RinkeHoekstra / lkif-core
  The LKIF Core Ontology of Basic Legal Concepts
  ☆134Updated 12 years ago
• konclude / Konclude
  Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL
  ☆37Updated 3 years ago
• pysemtec / semantic-python-overview
  (subjective) overview of projects which are related both to python and semantic technologies (RDF, OWL, Reasoning, ...)
  ☆524Updated this week
• triska / clpz
  Constraint Logic Programming over Integers
  ☆201Updated last year