Kappa-Dev / ReGraph
Tool for building graph-based hierarchical knowledge representation systems
☆76Updated last year
Related projects ⓘ
Alternatives and complementary repositories for ReGraph
- Logic Programming in Python☆30Updated 3 years ago
- TypeDB Loader - Data Migration Tool for TypeDB☆60Updated 8 months ago
- Evolutionary Graph Pattern Learner that learns SPARQL queries for a given set of source-target-pairs from an endpoint.☆85Updated last year
- Deep relational learning through differentiable logic programming.☆100Updated 3 months ago
- pylog: an implementation of Prolog features in Python☆35Updated last month
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 3 years ago
- Python interface for SWI-Prolog☆42Updated this week
- An extensible, lightweight relational/logic programming DSL written in pure Python☆183Updated last year
- Euler Yet another proof Engine☆125Updated this week
- Your favorite Python graph libraries, scalable and interoperable. Graph databases in memory, and familiar graph APIs for cloud databases.☆89Updated 5 months ago
- Unified Rule Engine. Graph rewriting system for the AtomSpace. Used as reasoning engine for OpenCog.☆54Updated 7 months ago
- A Benchmark for Machine Learning from Structured Data☆21Updated 3 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆69Updated this week
- TypeDB Driver Example Projects and Tutorials☆84Updated 5 months ago
- Python implementation of Cypher parser (the language used by Neo4J)☆24Updated 3 weeks ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 4 months ago
- Open Semantic Visual Linked Data Graph Explorer: Open Source tool (web app) and user interace (UI) for discovery, exploration and visuali…☆78Updated 4 years ago
- Python library that enables using prolog syntax and logic programming in python☆116Updated last year
- Semantic flow graphs for data science☆28Updated 2 years ago
- Data Science Ontology☆36Updated 2 months ago
- Reasonable Python is a module which adds F-Logic to Python☆25Updated 13 years ago
- Python bindings for upgraded FaCT++ description logic reasoner☆23Updated 2 months ago
- AllegroGraph Python client☆38Updated last month
- Metagol - an inductive logic programming system☆201Updated 3 years ago
- 🖧 Quads in Git - Distributed Version Control for RDF Knowledge Bases☆102Updated 4 months ago
- A GraphQL to Cypher query execution layer for Neo4j and Python GraphQL implementations.☆21Updated 2 years ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆85Updated 3 years ago
- Symbolic Generators for Complex Networks☆43Updated last year