ian-andrich / PythonPengines
A Python interface to the Prolog pengines library. Makes it exceedingly easy to call out to SWI-Prolog within Python!
☆12Updated 4 years ago
Alternatives and similar repositories for PythonPengines:
Users that are interested in PythonPengines are comparing it to the libraries listed below
- logic programming with SPARQL☆47Updated 2 years ago
- A rule engine based on Attempto Controlled English☆18Updated 4 months ago
- ☆56Updated last year
- Web-component for creating & showing VSM-sentences — Visual Syntax Method☆30Updated 3 years ago
- Machine Query Interface☆18Updated this week
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…☆55Updated last week
- ACE View is a natural language based ontology and rule editor. ACE View uses Attempto Controlled English (ACE) in the front-end, and Web …☆8Updated 6 years ago
- sparql templates for linkml (alpha)☆11Updated 2 years ago
- Python interface for SWI-Prolog☆45Updated last week
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆13Updated 6 months ago
- Bayes OWL Ontology Merging☆21Updated 5 months ago
- OWL2 library for Prolog☆111Updated 5 years ago
- Ontology development environment for Common Logic (CL)☆23Updated 2 years ago
- OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data☆29Updated this week
- Extension of LinkML runtime for converting instances of LinkML classes to OWL (classes or instances)☆11Updated 9 months ago
- This is the development repository for the STATistics Ontology (STATO). For more information and demonstration on the ontology content, p…☆33Updated 3 weeks ago
- top-down interpreter for ASP programs with constraints☆17Updated 2 years ago
- Java library based on the VLog rule engine☆32Updated 9 months ago
- Pythonic representation of OWL through the OWL functional syntax☆51Updated last year
- wrapper for multiple linkml storage engines☆20Updated last week
- AllegroGraph Python client☆41Updated last month
- Chatbot impls in Prolog☆15Updated 3 years ago
- pylog: an implementation of Prolog features in Python☆36Updated 3 months ago
- Schema for chemistry ontology classes☆17Updated 8 months ago
- OWL verbalizer: making machine-readable knowledge also human-readable☆38Updated last year
- Base Forward Chaining Knowledge Base Maintenance System☆18Updated 3 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆73Updated last week
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆35Updated last week
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆18Updated 2 months ago