alreich / qualreasLinks
Qualitative Reasoning: Spatio-Temporal Reasoning using Relation Algebras and Constraint Networks. Documentation is under construction at ReadTheDocs. See link below.
☆38Updated 2 years ago
Alternatives and similar repositories for qualreas
Users that are interested in qualreas are comparing it to the libraries listed below
Sorting:
- Python library that enables using prolog syntax and logic programming in python☆128Updated 2 years ago
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆380Updated 2 months ago
- Python interface for SWI-Prolog☆49Updated 2 weeks ago
- Sigma Knowledge Engineering Environment☆114Updated this week
- A Benchmark for Machine Learning from Structured Data☆22Updated 4 years ago
- Suggested Upper Merged Ontology (SUMO)☆247Updated this week
- 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 c…☆161Updated 2 weeks ago
- Formal Concept Analysis with Python☆118Updated 2 weeks ago
- AllegroGraph Python client☆45Updated this week
- The Common Core Ontology Repository holds the current released version of the Common Core Ontology suite.☆279Updated this week
- Euler Yet another proof Engine☆157Updated this week
- Machine Query Interface☆20Updated 2 weeks ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆275Updated last year
- Deep relational learning through differentiable logic programming.☆112Updated 3 months ago
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆39Updated 3 years ago
- Python library and command-line interface for inspecting and visualizing RDF models aka ontologies.☆235Updated last year
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆86Updated 4 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆78Updated 2 months ago
- ☆280Updated 5 years ago
- ☆36Updated last year
- An extensible, lightweight relational/logic programming DSL written in pure Python☆231Updated 3 months ago
- Pythonic representation of OWL through the OWL functional syntax☆56Updated 2 months ago
- OWL2 library for Prolog☆112Updated 6 years ago
- Metagol - an inductive logic programming system☆205Updated 4 years ago
- Tool for building graph-based hierarchical knowledge representation systems☆87Updated 2 years ago
- 🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner☆59Updated 3 months ago
- An inductive logic programming system☆244Updated last month
- Integrated RDF Surfaces inspired by Pat Hayes, Patrick Hochstenbach and EYE.☆13Updated 3 months ago
- Classical CHAT80 NLP system for Prolog☆23Updated 8 months ago
- Ontology development environment for Common Logic (CL)☆24Updated 3 years ago