alreich / qualreas
Qualitative Reasoning: Spatio-Temporal Reasoning using Relation Algebras and Constraint Networks. Documentation is under construction at ReadTheDocs. See link below.
☆33Updated last year
Alternatives and similar repositories for qualreas:
Users that are interested in qualreas are comparing it to the libraries listed below
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆36Updated 2 years ago
- Sigma Knowledge Engineering Environment☆105Updated last week
- A Benchmark for Machine Learning from Structured Data☆21Updated 3 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…☆151Updated 3 weeks ago
- Python interface for SWI-Prolog☆45Updated last week
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- Deep relational learning through differentiable logic programming.☆102Updated 8 months ago
- System for eXtended Hybrid Abductive Inductive Learning☆25Updated 3 years ago
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Updated 8 years ago
- Ontolex modules☆33Updated last month
- python based YAML-to-OWL-converter☆17Updated 2 years ago
- ☆37Updated 4 months ago
- Tools to update and export ontology RDF.☆36Updated 3 months ago
- Qualitative Spatial Relations library☆18Updated 4 years ago
- Builds a knowledge graph from the [COVID-19 Open Research Dataset (CORD-19)](https://pages.semanticscholar.org/coronavirus-research) data…☆16Updated 5 years ago
- ☆56Updated last year
- Relational data mining in python☆31Updated 2 years ago
- Visualize RDF data in Jupyter with Pandas☆134Updated 3 years ago
- TPTP python library and benchmarking service☆13Updated 5 years ago
- Ontology development environment for Common Logic (CL)☆23Updated 2 years ago
- All ontologies used in NIF 2.0 (NIF-Core + vocabulary modules + helper modules)☆36Updated 7 years ago
- 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
- This repository contains the Framester resource, the main outcome of the framester project.☆33Updated 4 years ago
- 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
- TheyBuyForYou Knowledge Graph (KG)☆33Updated 3 years ago
- Pythonic representation of OWL through the OWL functional syntax☆52Updated last year
- An implementation of Defeasible Logic in Python☆16Updated 6 years ago
- RDF rule engine☆21Updated 8 months ago
- AllegroGraph Python client☆42Updated last month
- Python library that enables using prolog syntax and logic programming in python☆121Updated 2 years ago