graph-rewriting

Here are 3 public repositories matching this topic...

opencog / atomspace

The OpenCog (hyper-)graph database and graph rewriting system

knowledge-graph graph-database query-engine logic-programming knowledge-base rewrite-system relational-database query-language relational-algebra knowledge-representation rewriting graph-rewriting atomspace

Updated Dec 17, 2025
C++

opencog / ure

Star

[NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpace. Used as reasoning engine for OpenCog.

rule-engine chainer inference rules-engine backward-chaining inference-engine inference-rules graph-rewriting forward-chaining backward-induction

Updated Sep 24, 2025
C++

lmntal / slim

Star

slim LMNtal implementation

graph-rewriting

Updated Nov 14, 2025
C++

Improve this page

Add a description, image, and links to the graph-rewriting topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the graph-rewriting topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

graph-rewriting

Here are 3 public repositories matching this topic...

opencog / atomspace

opencog / ure

lmntal / slim

Improve this page

Add this topic to your repo