therohk / opencyc-kbLinks
OpenCyc Ontology or Knowledge Base Data Files
☆14Updated 3 years ago
Alternatives and similar repositories for opencyc-kb
Users that are interested in opencyc-kb are comparing it to the libraries listed below
Sorting:
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆16Updated 2 years ago
- ☆59Updated last year
- Port of Cyc to Common Lisp☆23Updated 5 years ago
- OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data☆29Updated last month
- Doug Lenat's EURISKO from SAIL archives circa 1981☆66Updated last year
- Douglas Lenat's AM (Automated Mathematician) from SAIL archives circa 1977☆54Updated last year
- The Powerlang Bootstrapper☆39Updated last year
- ☆25Updated 2 weeks ago
- Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).☆112Updated 6 years ago
- Discuss future development☆21Updated 10 years ago
- Sunrise on the Boxer Reconstruction Project☆51Updated 2 weeks ago
- Unofficial repository for JSqueak: A Java implementation of Squeak Smalltalk.☆23Updated 2 years ago
- OPS5 Production System☆57Updated 12 years ago
- Prolog Pengines + vue.js☆17Updated 6 years ago
- A high-performance top-down parser☆45Updated 2 weeks ago
- Template engine for ISO Prolog, based on Jinja and Tera☆18Updated last year
- An archive of material related to the Cyc project.☆29Updated 2 months ago
- A lightweight reimplementation of the OpenCyc ontology system. This project aims to replicate most of OpenCyc's functionality and data wh…☆21Updated 9 years ago
- A tutorial for DCG's in swi-Prolog☆34Updated 4 years ago
- ChatGPT, embedding search, and retrieval-augmented generation for Squeak/Smalltalk☆15Updated last month
- The SNePS 2 Knowledge Representation and Reasoning System☆12Updated 7 years ago
- MUD Server written in Prolog using Forward chaining☆28Updated 3 years ago
- ☆30Updated last week
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆41Updated 6 months ago
- ClioPatria provides an RDF application platform☆56Updated last month
- Pfc: adding forward chaining and truth maintenance to Prolog☆12Updated 3 years ago
- Leibniz - a Digital Scientific Notation☆36Updated 5 months ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Updated 3 years ago
- a quick system I hacked together to bundle a few thousand pages of notes I mostly haven’t published before up into an archive of pregener…☆16Updated 3 years ago
- A simple Prolog API for the Z3 constraint solver☆15Updated 7 years ago