IBM / ULKBLinks
A HOL-based framework for reasoning over knowledge graphs
☆26Updated 4 months ago
Alternatives and similar repositories for ULKB
Users that are interested in ULKB are comparing it to the libraries listed below
Sorting:
- Neuro-Symbolic AI Toolkit☆110Updated 4 months ago
- Demo for Neuro-Symbolic Agent (LOA)☆17Updated 3 years ago
- A service that parses a sentence using AMR and returns a set of Verbnet logic predicates grounded with the roles of the input sentence.☆13Updated 3 years ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆294Updated last year
- Explanation Ontology Resource website☆12Updated last year
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆302Updated 3 weeks ago
- Deep Learning and Logical Reasoning from Data and Knowledge☆341Updated last year
- Deep relational learning through differentiable logic programming.☆113Updated 5 months ago
- Python interface for SWI-Prolog☆49Updated 3 weeks ago
- mOWL: Machine Learning library with Ontologies☆83Updated last week
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆320Updated this week
- Character-based seq2seq models (english => predicate logic)☆16Updated 5 years ago
- 'Cooking with Python and KBpedia' recipes and Jupyter Notebooks☆27Updated 4 years ago
- LLMs4OL: Large Language Models for Ontology Learning☆147Updated last year
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆144Updated last year
- A collection of papers of neural-symbolic AI (mainly focus on NLP applications)☆291Updated last year
- Embedding OWL ontologies☆111Updated 5 months ago
- A package for ontology engineering with deep learning and language models.☆279Updated this week
- ☆38Updated 2 years ago
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆55Updated 4 months ago
- Ontology matching system based on formal concept analysis☆36Updated 5 years ago
- 🐍 Python Implementation and Extension of RDF2Vec☆265Updated 7 months ago
- ☆21Updated 3 years ago
- ACPBench: Reasoning about Action, Change, and Planning☆31Updated last month
- Neuro-symbolic interpretation learning (mostly just language-learning, for now)☆187Updated last week
- An inductive logic programming system☆261Updated 4 months ago
- DeepLogic: Towards End-to-End Differentiable Logical Reasoning☆25Updated 5 years ago
- OWL Class Expressions Learning in Python☆61Updated last week
- Resources from the Interest Group meet-ups☆73Updated 3 months ago
- Teaching material relevant to KGs☆108Updated last month