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:
- Neuro-Symbolic AI Toolkit☆92Updated 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
- Demo for Neuro-Symbolic Agent (LOA)☆15Updated 2 years ago
- Explanation Ontology Resource website☆11Updated last year
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆247Updated 11 months ago
- mOWL: Machine Learning library with Ontologies☆68Updated 5 months ago
- A `Neural = Symbolic` framework for sound and complete weighted real-value logic☆274Updated 2 months ago
- Deep relational learning through differentiable logic programming.☆105Updated 11 months ago
- ☆33Updated last year
- Deep Learning and Logical Reasoning from Data and Knowledge☆302Updated 8 months ago
- Python interface for SWI-Prolog☆49Updated 3 weeks ago
- Members of the Knowledge Graphs Interest Group at the Alan Turing Institute☆25Updated 11 months ago
- Embedding OWL ontologies☆102Updated last year
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆27Updated 9 months ago
- This repo in the implementation of EMNLP'21 paper "SPARQLing Database Queries from Intermediate Question Decompositions" by Irina Saparin…☆34Updated 3 years ago
- Resources from the Interest Group meet-ups☆70Updated last week
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.☆12Updated 2 years ago
- Neuro-symbolic interpretation learning (mostly just language-learning, for now)☆165Updated this week
- OWL Class Expressions Learning in Python☆49Updated last week
- 'Cooking with Python and KBpedia' recipes and Jupyter Notebooks☆28Updated 4 years ago
- for work by the Cognitive AI community group☆62Updated this week
- Data Science Ontology☆38Updated 2 months ago
- ☆49Updated 4 months ago
- An inductive logic programming system☆231Updated last month
- Neuro-symbolic approaches to reasoning problems from abstract argumentation☆23Updated 2 years ago
- ☆37Updated 8 months ago
- Teaching material relevant to KGs☆102Updated 6 months ago
- A package for ontology engineering with deep learning and language models.☆234Updated 2 weeks ago
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆120Updated 9 months ago
- Python package for Sentential Decision Diagrams (SDD)☆63Updated 4 months ago