A lightweight reimplementation of the OpenCyc ontology system. This project aims to replicate most of OpenCyc's functionality and data while remaining reasonably simple to use, efficient, and with low-memory usage. This need came about to address issues with OpenCyc's stability, accessibility, memory usage, and perhaps speed (though it is not ye…
☆22Nov 26, 2015Updated 10 years ago
Alternatives and similar repositories for CycDAG
Users that are interested in CycDAG are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A fork of opencyc which adds auto-complete to sentence assertion in the browser interface.☆55Jun 4, 2016Updated 9 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Oct 2, 2021Updated 4 years ago
- A json version of the OpenCyc-latest.owl Ontology☆13Oct 27, 2011Updated 14 years ago
- tools for common-logic☆22Mar 5, 2013Updated 13 years ago
- Save, track and query 3D+time locations of objects in the AtomSpace☆16Apr 3, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Poplog☆21Nov 18, 2010Updated 15 years ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆12Sep 6, 2022Updated 3 years ago
- Pengines: Prolog engines☆12Apr 22, 2026Updated last week
- Provides client functionality for the Protege Desktop application to connect to an OWL Ontology Server.☆16Apr 2, 2018Updated 8 years ago
- The Java API suite for interacting with the Cyc inference engine and knowledge base.☆36Jan 15, 2019Updated 7 years ago
- Former home Java language client (master) for SWI-Prolog pengines - see simularity/JavaPengine☆10May 8, 2016Updated 9 years ago
- A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners☆16Feb 6, 2022Updated 4 years ago
- Category Theory in Agda☆13Jan 16, 2018Updated 8 years ago
- ☆13Mar 17, 2023Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Simulation game where you play as a colonist on a new planet with your new husband.☆29Aug 22, 2023Updated 2 years ago
- (RDF) Protege Desktop☆12Jun 7, 2021Updated 4 years ago
- ISWC 2020 Tutorial: How to build large knowledge graphs efficiently (LKGT)☆15Nov 2, 2020Updated 5 years ago
- https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/☆44Aug 17, 2023Updated 2 years ago
- vscode-lsl☆11Jun 26, 2024Updated last year
- The New Kids☆13Feb 22, 2026Updated 2 months ago
- Dataset of spoken conversational search utterances☆14Aug 27, 2021Updated 4 years ago
- Cornell AMR Semantic Parser (Artzi et al., EMNLP 2015)☆24Apr 13, 2020Updated 6 years ago
- A free implementation of DCE RPC, with development aimed at implementing DCOM for Linux (and other UNIX systems).☆10Sep 5, 2013Updated 12 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- FURWARE text is a text-on-prim script for Second Life (R).☆12May 17, 2014Updated 11 years ago
- 9P kernel modules☆10Aug 25, 2014Updated 11 years ago
- Discuss future development☆21Sep 25, 2015Updated 10 years ago
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆18Apr 17, 2023Updated 3 years ago
- Drools Multi Agent System (experimental)☆22May 26, 2022Updated 3 years ago
- ClimateViewer | GIS on Steroids☆23May 10, 2018Updated 7 years ago
- Support for root over network block device☆12Aug 3, 2016Updated 9 years ago
- ThoughtTreasure commonsense knowledge base and architecture for natural language processing☆81Jul 31, 2015Updated 10 years ago
- Exploits for TRENDNet routers☆14Apr 21, 2020Updated 6 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆23Mar 29, 2026Updated last month
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Oct 17, 2020Updated 5 years ago
- A secure utmp/wtmp implementation☆19Apr 4, 2026Updated 3 weeks ago
- Tool for sending Mindwave data over LSL.☆13Mar 1, 2020Updated 6 years ago
- Metalanguage analysis☆10Dec 10, 2018Updated 7 years ago
- cute little chatbot in Prolog☆19Mar 29, 2012Updated 14 years ago
- Port of Cyc to Common Lisp☆23Apr 11, 2026Updated 3 weeks ago