IBM / ULKBLinks
A HOL-based framework for reasoning over knowledge graphs
☆26Updated 2 months ago
Alternatives and similar repositories for ULKB
Users that are interested in ULKB are comparing it to the libraries listed below
Sorting:
- Demo for Neuro-Symbolic Agent (LOA)☆16Updated 3 years ago
- Neuro-Symbolic AI Toolkit☆107Updated 2 months ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆275Updated last year
- Explanation Ontology Resource website☆11Updated last year
- 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
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆292Updated last month
- mOWL: Machine Learning library with Ontologies☆79Updated last month
- Deep relational learning through differentiable logic programming.☆112Updated 3 months ago
- Deep Learning and Logical Reasoning from Data and Knowledge☆320Updated last year
- A collection of papers of neural-symbolic AI (mainly focus on NLP applications)☆286Updated last year
- 'Cooking with Python and KBpedia' recipes and Jupyter Notebooks☆28Updated 4 years ago
- Python interface for SWI-Prolog☆49Updated 2 weeks ago
- Teaching material relevant to KGs☆107Updated 10 months ago
- ☆36Updated last year
- A package for ontology engineering with deep learning and language models.☆262Updated last week
- DeepLogic: Towards End-to-End Differentiable Logical Reasoning☆25Updated 5 years ago
- An inductive logic programming system☆244Updated last month
- Embedding OWL ontologies☆106Updated 3 months ago
- Resources from the Interest Group meet-ups☆73Updated 3 weeks ago
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆304Updated last week
- OWL Class Expressions Learning in Python☆57Updated this week
- Neuro-symbolic interpretation learning (mostly just language-learning, for now)☆178Updated 2 weeks ago
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆380Updated 2 months ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆29Updated last year
- for work by the Cognitive AI community group☆66Updated last week
- ☆38Updated last year
- Members of the Knowledge Graphs Interest Group at the Alan Turing Institute☆26Updated 3 months ago
- An implementation of Defeasible Logic in Python☆15Updated 7 years ago
- Ontology matching system based on formal concept analysis☆36Updated 5 years ago
- BERTMap: A BERT-Based Ontology Alignment System☆68Updated last year