IBM / ULKBLinks
A HOL-based framework for reasoning over knowledge graphs
☆25Updated 7 months ago
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.☆12Updated 3 years ago
- Demo for Neuro-Symbolic Agent (LOA)☆15Updated 2 years ago
- mOWL: Machine Learning library with Ontologies☆67Updated 4 months ago
- ☆33Updated last year
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆237Updated 9 months ago
- Members of the Knowledge Graphs Interest Group at the Alan Turing Institute☆25Updated 10 months ago
- Neuro-Symbolic AI Toolkit☆91Updated last year
- Experimentation framework for Popper☆22Updated last year
- Python interface for SWI-Prolog☆49Updated last month
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.☆12Updated 2 years ago
- Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover☆12Updated 4 years ago
- DeepLogic: Towards End-to-End Differentiable Logical Reasoning☆25Updated 4 years ago
- RuDaS: Synthetic Datasets for Rule Learning☆19Updated 2 years ago
- Deep relational learning through differentiable logic programming.☆105Updated 10 months ago
- Resources from the Interest Group meet-ups☆70Updated 4 months ago
- Teaching material relevant to KGs☆102Updated 4 months ago
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆37Updated 3 years ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Updated 2 years ago
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆20Updated last year
- ☆45Updated last year
- ☆37Updated 6 months ago
- Ontology representing a 360-view of a person (or cohort) that spans across multiple domains, from health to social.☆34Updated last year
- A libary for using and learning symbolic rules for knowledge graphs☆39Updated 5 months ago
- Embedding OWL ontologies☆100Updated last year
- PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.☆26Updated 8 months ago
- Python package for Sentential Decision Diagrams (SDD)☆62Updated 3 months ago
- Extracting action sequences and generating domain models.☆14Updated 2 years ago
- A package for ontology engineering with deep learning and language models.☆229Updated this week
- ☆34Updated 5 months ago
- Neural Logic Reasoning for Question Answering☆74Updated 4 years ago