IBM / ULKBLinks
A HOL-based framework for reasoning over knowledge graphs
☆25Updated this week
Alternatives and similar repositories for ULKB
Users that are interested in ULKB are comparing it to the libraries listed below
Sorting:
- 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
- Explanation Ontology Resource website☆11Updated last year
- Demo for Neuro-Symbolic Agent (LOA)☆16Updated 2 years ago
- Neuro-Symbolic AI Toolkit☆100Updated this week
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆259Updated last year
- mOWL: Machine Learning library with Ontologies☆74Updated last week
- Deep Learning and Logical Reasoning from Data and Knowledge☆314Updated 10 months ago
- Deep relational learning through differentiable logic programming.☆108Updated last month
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆280Updated last week
- Python interface for SWI-Prolog☆49Updated last week
- A package for ontology engineering with deep learning and language models.☆254Updated last week
- ☆36Updated last year
- Teaching material relevant to KGs☆107Updated 8 months ago
- A collection of papers of neural-symbolic AI (mainly focus on NLP applications)☆284Updated last year
- Embedding OWL ontologies☆105Updated last month
- LLMs4OL: Large Language Models for Ontology Learning☆132Updated 11 months ago
- 'Cooking with Python and KBpedia' recipes and Jupyter Notebooks☆28Updated 4 years ago
- AutoMATES: Automated Model Assembly from Text, Equations, and Software☆25Updated 2 years ago
- A libary for using and learning symbolic rules for knowledge graphs☆40Updated 9 months ago
- An inductive logic programming system☆237Updated last month
- Ontology representing a 360-view of a person (or cohort) that spans across multiple domains, from health to social.☆34Updated last year
- Neuro-symbolic interpretation learning (mostly just language-learning, for now)☆174Updated last week
- Resources from the Interest Group meet-ups☆73Updated last week
- Python package for Sentential Decision Diagrams (SDD)☆66Updated 7 months ago
- Ontology matching system based on formal concept analysis☆35Updated 4 years ago
- DeepLogic: Towards End-to-End Differentiable Logical Reasoning☆25Updated 5 years ago
- OWL Class Expressions Learning in Python☆51Updated last week
- 🐍 Python Implementation and Extension of RDF2Vec☆261Updated 3 months ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆125Updated 11 months ago
- Knowledge Graph Toolkit☆399Updated 2 months ago