alreich / qualreasLinks
Qualitative Reasoning: Spatio-Temporal Reasoning using Relation Algebras and Constraint Networks. Documentation is under construction at ReadTheDocs. See link below.
☆36Updated last year
Alternatives and similar repositories for qualreas
Users that are interested in qualreas are comparing it to the libraries listed below
Sorting:
- Python interface for SWI-Prolog☆49Updated last month
- Sigma Knowledge Engineering Environment☆110Updated last week
- Python library that enables using prolog syntax and logic programming in python☆124Updated 2 years ago
- 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…☆153Updated 2 months ago
- Tools to update and export ontology RDF.☆36Updated 5 months ago
- Relational data mining in python☆31Updated 2 years ago
- A Benchmark for Machine Learning from Structured Data☆21Updated 3 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- Deep relational learning through differentiable logic programming.☆105Updated 10 months ago
- This repository contains the Framester resource, the main outcome of the framester project.☆33Updated 5 years ago
- Pythonic representation of OWL through the OWL functional syntax☆54Updated last year
- Ontology development environment for Common Logic (CL)☆23Updated 2 years ago
- Formal Concept Analysis with Python☆116Updated this week
- ☆33Updated last year
- 🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner☆56Updated 11 months ago
- Visualize RDF data in Jupyter with Pandas☆135Updated 3 years ago
- 💊 Qualitative and quantitative optimization in answer set programming☆20Updated last year
- Metagol - an inductive logic programming system☆201Updated 3 years ago
- AllegroGraph Python client☆43Updated 3 months ago
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆343Updated 2 months ago
- Data Science Ontology☆38Updated 3 weeks 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
- Classical CHAT80 NLP system for Prolog☆22Updated 3 months ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆75Updated 3 weeks ago
- GQR, a Fast Reasoner for Binary Qualitative Constraint Calculi☆17Updated 7 years ago
- OWL verbalizer: making machine-readable knowledge also human-readable☆39Updated last year
- Source Code for 'Ontologies with Python' by Lamy Jean-Baptiste☆31Updated 3 years ago
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.☆12Updated 2 years ago
- Suggested Upper Merged Ontology (SUMO)☆236Updated this week
- Prolog is suitable enviroment for writting planners. However there is no way how to work with PDDL files so far. In this library we provi…☆19Updated 3 years ago