cycorp / api-suite
The Java API suite for interacting with the Cyc inference engine and knowledge base.
☆35Updated 6 years ago
Alternatives and similar repositories for api-suite:
Users that are interested in api-suite are comparing it to the libraries listed below
- Examples of common usage of the Cyc APIs.☆17Updated 7 years ago
- A fork of opencyc which adds auto-complete to sentence assertion in the browser interface.☆53Updated 8 years ago
- A lightweight reimplementation of the OpenCyc ontology system. This project aims to replicate most of OpenCyc's functionality and data wh…☆19Updated 9 years ago
- Automatically exported from code.google.com/p/swoop☆33Updated 9 years ago
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆15Updated last year
- tools for common-logic☆19Updated 11 years ago
- A rule engine based on Attempto Controlled English☆18Updated 2 months ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆17Updated 3 weeks ago
- ThoughtTreasure commonsense knowledge base and architecture for natural language processing☆78Updated 9 years ago
- OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data☆29Updated 7 months ago
- English Dependency Relationship Extractor☆85Updated 3 weeks ago
- ☆13Updated 9 years ago
- SDK, Sample-Code, UI-Widgets, Demos☆36Updated last month
- A JavaScript-based interface for graph traversal☆18Updated last year
- Base Forward Chaining Knowledge Base Maintenance System☆18Updated 3 years ago
- Ontology development environment for Common Logic (CL)☆23Updated 2 years ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆56Updated 16 years ago
- Semantic Web database☆19Updated 2 years ago
- https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/☆45Updated last year
- Linked Data Browser☆47Updated 8 years ago
- Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).☆108Updated 6 years ago
- Chatbot impls in Prolog☆15Updated 2 years ago
- This version of Rhizomer is archived, the current version is linked from:☆14Updated 6 years ago
- Large lexicon for APE (~100,000 entries)☆28Updated 6 years ago
- Customizable Knowledge Engineering Tool☆13Updated 8 years ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆11Updated 2 years ago
- Genomic and Proteomic data exploration and pattern mining☆24Updated 2 years ago
- XSB Prolog☆13Updated 14 years ago
- A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners☆16Updated 2 years ago
- Pixy is a declarative vendor-independent graph query language built on the Tinkerpop software stack☆36Updated 2 years ago