Grakn Core: The Knowledge Graph

A collection of research on knowledge graphs

code and docs for my EMNLP paper "DeepPath: A Reinforcement Learning Method for Knowledge Graph Reasoning"

Recognition to Cognition Networks (code for the model in "From Recognition to Cognition: Visual Commonsense Reasoning", CVPR 2019)

Semantic filesystem for Linux, with relation reasoner, autotagging plugins and a deduplication service

A Reasoning System for a First-Order Logic of Limited Belief, written in C++

Knowledge-Aware Graph Networks for Commonsense Reasoning (EMNLP-IJCNLP 19)

Recurrent Event Network: Autoregressive Structure Inference over Temporal Knowledge Graphs (EMNLP 2020)

A qualitative probabilistic programming language based on ranking theory

A simple implementation of the OWL2 RL Profile on top of RDFLib: it expands the graph with all possible triples that OWL RL defines. It can be used together with RDFLib to expand an RDFLib Graph object, or as a stand alone service with its own serialization.

Graql: Grakn Query Language

Tree-based mapping of beliefs, arguments, and evidence. (client)

An implementation of Probabilistic Soft Logic Engine using Python/Gurobi

Material for GO OWL/Protege Tutorial

HyLAR reasoner

A general Inference API based on two of the most popular Big Data processing engines: Apache Spark and Apache Flink

General reasoning component for applications based on NARS theory.

A collection of papers of neural-symbolic AI (mainly focus on NLP applications)

Reasoning over Multiple Sentences (Multi-RC)

A Dataset for SPAtial REasoning on Three-View Line Drawings

OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data

For <Does It Make Sense? And Why? A Pilot Study for Sense Making and Explanation>. Accepted by ACL2019

An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics

debugging biological networks to reach coherence, completeness and consistency

An Implementation of NLR: Neural Collaborative Reasoning, paper: https://arxiv.org/abs/2005.08129

ARCADE198 Dataset from the ACL 2018 MRQA Workshop

Saliency calculation module for Chainer