ian-andrich / PythonPenginesLinks
A Python interface to the Prolog pengines library. Makes it exceedingly easy to call out to SWI-Prolog within Python!
☆12Updated 5 years ago
Alternatives and similar repositories for PythonPengines
Users that are interested in PythonPengines are comparing it to the libraries listed below
Sorting:
- Ontology development environment for Common Logic (CL)☆24Updated 3 years ago
- logic programming with SPARQL☆47Updated 3 years ago
- Bayes OWL Ontology Merging☆22Updated last year
- Pfc: adding forward chaining and truth maintenance to Prolog☆11Updated 2 years ago
- Pythonic representation of OWL through the OWL functional syntax☆56Updated last month
- Extension of LinkML runtime for converting instances of LinkML classes to OWL (classes or instances)☆17Updated 3 weeks ago
- Machine Query Interface☆20Updated last week
- Integrated OBO ontology store☆48Updated 3 months ago
- Automatically exported from code.google.com/p/colore☆73Updated last year
- An instance of KG Hub to produce a knowledge graph for COVID-19 response.☆82Updated 2 years ago
- ☆57Updated 2 years ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆12Updated 3 years ago
- Bayesian OWL ontology merging☆32Updated 8 months ago
- Data transformation framework for LinkML data models☆60Updated last week
- SQL and SQLite builds of OWL ontologies☆55Updated 3 months ago
- Web-component for creating & showing VSM-sentences — Visual Syntax Method☆30Updated 4 years ago
- Graph-based modeling environment for biology, including prototype editor and services☆41Updated this week
- A simple system for specifying OWL class design patterns for OBO-ish ontologies.☆47Updated last month
- OWLTools☆116Updated last year
- Schema for chemistry ontology classes☆20Updated last month
- OWL2 library for Prolog☆112Updated 6 years ago
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆41Updated 3 years ago
- Suggested Upper Merged Ontology (SUMO)☆252Updated last week
- wrapper for multiple linkml storage engines☆24Updated 2 weeks ago
- First pass at a thin wrapper around the Monarch API and ChatGPT plugin☆12Updated 10 months ago
- Tools for working with KGCL☆19Updated last year
- 🖧 Quads in Git - Distributed Version Control for RDF Knowledge Bases☆110Updated last year
- OWL verbalizer: making machine-readable knowledge also human-readable☆40Updated 2 years ago
- Ontology for representing scientific evidence and provenance information☆51Updated 4 months ago
- ROBOT is an OBO Tool☆295Updated 3 months ago