cycorp / cycorp.github.io
☆10Updated this week
Related projects: ⓘ
- The Java API suite for interacting with the Cyc inference engine and knowledge base.☆35Updated 5 years ago
- A lightweight reimplementation of the OpenCyc ontology system. This project aims to replicate most of OpenCyc's functionality and data wh…☆18Updated 8 years ago
- tools for common-logic☆19Updated 11 years ago
- Automatically exported from code.google.com/p/swoop☆33Updated 9 years ago
- Former home Java language client (master) for SWI-Prolog pengines - see simularity/JavaPengine☆10Updated 8 years ago
- Examples of common usage of the Cyc APIs.☆17Updated 6 years ago
- Provides client functionality for the Protege Desktop application to connect to an OWL Ontology Server.☆16Updated 6 years ago
- The CSNePS Knowledge Representation and Reasoning System☆25Updated 2 months ago
- A query engine for SPARQL-DL. Originally written by Derivo Systems (http://www.derivo.de/en/resources/sparql-dl-api.html)☆12Updated 3 years ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆10Updated 2 years ago
- OWL2 library for Prolog☆108Updated 5 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆17Updated 2 years ago
- Victory Programmer Environment (used in M code Development; esp. for VISTA)☆11Updated 5 years ago
- The graphics toolkit for SWI-Prolog☆15Updated this week
- Ontology development environment for Common Logic (CL)☆22Updated last year
- A Web UI for LinkGrammar and RelEx☆12Updated 4 years ago
- AceWiki is a semantic wiki based on controlled natural language.☆69Updated 6 months ago
- Prolog Slack Client☆7Updated 2 years ago
- Pengines: Prolog engines☆11Updated 2 weeks ago
- The SWI-Prolog RDF store☆28Updated 2 weeks ago
- ☆21Updated this week
- Semantic data wiki as well as Linked Data publishing engine☆204Updated 3 months ago
- constructivist AI language and runtime☆35Updated 2 years ago
- A rule engine based on Attempto Controlled English☆18Updated 11 months ago
- XSB Prolog☆13Updated 14 years ago
- Automatically exported from code.google.com/p/colore☆66Updated 6 months ago
- Menthor Editor☆30Updated 3 years ago
- A fork of opencyc which adds auto-complete to sentence assertion in the browser interface.☆52Updated 8 years ago
- Advanced support for working with RDF in Prolog.☆17Updated 2 weeks ago
- OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data☆26Updated 3 months ago