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
- Bayes OWL Ontology Merging☆22Updated last year
- SQL and SQLite builds of OWL ontologies☆55Updated last month
- logic programming with SPARQL☆47Updated 2 years ago
- Extension of LinkML runtime for converting instances of LinkML classes to OWL (classes or instances)☆16Updated last year
- Integrated OBO ontology store☆48Updated 2 months ago
- Data transformation framework for LinkML data models☆60Updated last week
- Schema for chemistry ontology classes☆20Updated last week
- Pythonic representation of OWL through the OWL functional syntax☆56Updated 3 months ago
- A simple system for specifying OWL class design patterns for OBO-ish ontologies.☆46Updated 2 weeks ago
- Ontological Interpretations for Web Property Graphs☆35Updated 4 years ago
- Bayesian OWL ontology merging☆32Updated 6 months ago
- Customizable translation of OBO graphs to dot for visualization using graphviz and other tools☆26Updated 10 months ago
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆40Updated 3 years ago
- ☆57Updated 2 years ago
- Graph-based modeling environment for biology, including prototype editor and services☆40Updated 2 weeks ago
- RDF Tables in Rust☆17Updated 3 years ago
- wrapper for multiple linkml storage engines☆23Updated this week
- Automatically exported from code.google.com/p/colore☆73Updated last year
- First pass at a thin wrapper around the Monarch API and ChatGPT plugin☆12Updated 9 months ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆11Updated last year
- Materialize OWL existential relations☆20Updated last month
- Basic and Advanced OBO Graphs: specification and reference implementation☆68Updated 2 months ago
- Tools for working with KGCL☆18Updated last year
- Web-component for creating & showing VSM-sentences — Visual Syntax Method☆30Updated 4 years ago
- Structure your data in a FAIR way using google sheets or TSVs. These are then converted to LinkML, and from there other formats☆49Updated 7 months ago
- Ontobee is a linked data server for ontologies. See: http://www.ontobee.org.☆28Updated last year
- Ontology for representing scientific evidence and provenance information☆51Updated 2 months ago
- Euler Yet another proof Engine☆157Updated last week
- BBC Wildlife ontology and data☆16Updated 3 years ago