AndrewSmart / opencyc
A fork of opencyc which adds auto-complete to sentence assertion in the browser interface.
☆54Updated 8 years ago
Alternatives and similar repositories for opencyc:
Users that are interested in opencyc are comparing it to the libraries listed below
- Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).☆109Updated 6 years ago
- ThoughtTreasure commonsense knowledge base and architecture for natural language processing☆79Updated 9 years ago
- A lightweight reimplementation of the OpenCyc ontology system. This project aims to replicate most of OpenCyc's functionality and data wh…☆20Updated 9 years ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆57Updated 16 years ago
- OPS5 Production System☆57Updated 12 years ago
- Sigma Knowledge Engineering Environment☆108Updated last week
- A rule engine based on Attempto Controlled English☆18Updated 6 months ago
- Parser for Attempto Controlled English (ACE)☆197Updated last year
- OWL2 library for Prolog☆111Updated 5 years ago
- The Java API suite for interacting with the Cyc inference engine and knowledge base.☆35Updated 6 years ago
- Automatically exported from code.google.com/p/swoop☆33Updated 10 years ago
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆16Updated 2 years ago
- ☆266Updated 4 years ago
- ☆80Updated last year
- Development of the Gellish Communicator reference application and tools for universal data exchange and data integration supporting Forma…☆26Updated 6 years ago
- The SWI-Prolog RDF store☆32Updated last week
- Port of Cyc to Common Lisp☆22Updated 4 years ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆18Updated 4 months ago
- A collection of Prolog libraries.☆88Updated 8 months ago
- NLP functionality on top of the Sigma system☆17Updated 2 weeks ago
- An organizer for arbitrary knowledge, using an object model rather than text as the atomic unit of knowledge. See the web site http://www…☆58Updated last month
- Prolog versions of the WordNet databases☆30Updated last year
- English Dependency Relationship Extractor☆85Updated 4 months ago
- Framework for creating and accessing UBY resources – sense-linked lexical resources in standard UBY-LMF format☆22Updated 6 years ago
- The SNePS 2 Knowledge Representation and Reasoning System☆11Updated 6 years ago
- Classical CHAT80 NLP system for Prolog☆22Updated 2 months ago
- ClioPatria provides an RDF application platform☆53Updated last year
- Large lexicon for APE (~100,000 entries)☆28Updated 6 years ago
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…☆56Updated last month
- Base Forward Chaining Knowledge Base Maintenance System☆19Updated 3 years ago