IBM / ULKBLinks
A HOL-based framework for reasoning over knowledge graphs
☆25Updated 9 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)☆15Updated 2 years ago
- Neuro-Symbolic AI Toolkit☆96Updated 2 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…☆254Updated last year
- Explanation Ontology Resource website☆11Updated last year
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆276Updated 2 weeks ago
- mOWL: Machine Learning library with Ontologies☆70Updated 6 months ago
- Deep relational learning through differentiable logic programming.☆106Updated last year
- 'Cooking with Python and KBpedia' recipes and Jupyter Notebooks☆28Updated 4 years ago
- Deep Learning and Logical Reasoning from Data and Knowledge☆307Updated 8 months ago
- OWL Class Expressions Learning in Python☆49Updated this week
- Resources from the Interest Group meet-ups☆70Updated 2 weeks ago
- Embedding OWL ontologies☆102Updated last year
- A package for ontology engineering with deep learning and language models.☆244Updated last week
- LLMs4OL: Large Language Models for Ontology Learning☆120Updated 10 months ago
- A libary for using and learning symbolic rules for knowledge graphs☆40Updated 7 months ago
- Semantic flow graphs for data science☆29Updated 2 years ago
- A collection of papers of neural-symbolic AI (mainly focus on NLP applications)☆277Updated 11 months ago
- 🐍 Python Implementation and Extension of RDF2Vec☆258Updated last month
- BERTMap: A BERT-Based Ontology Alignment System☆65Updated last year
- ☆35Updated last year
- Python interface for SWI-Prolog☆49Updated this week
- Knowledge Graph Toolkit☆394Updated last month
- An explainable inference software supporting annotated, real valued, graph based and temporal logic☆286Updated last week
- An inductive logic programming system☆234Updated last month
- Teaching material relevant to KGs☆102Updated 6 months ago
- ☆46Updated last year
- ☆37Updated 8 months ago
- ☆18Updated 3 years ago
- DeepLogic: Towards End-to-End Differentiable Logical Reasoning☆25Updated 5 years ago