A description logic reasoner for python.
☆17Dec 15, 2017Updated 8 years ago
Alternatives and similar repositories for Athene
Users that are interested in Athene are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Ontology, parser and system modeling in description logic (DL) for movies☆24Oct 9, 2018Updated 8 years ago
- A Datalog extension to reason about time with CTL operators☆15Nov 29, 2019Updated 6 years ago
- FaCT++ is an efficient Description Logic reasoner compatible with OWL DL and OWL 2.☆13Jan 26, 2016Updated 10 years ago
- 🐍 Python lesson TeX source☆15Apr 2, 2023Updated 3 years ago
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆53May 14, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Julia package for association rule learning☆13May 18, 2020Updated 6 years ago
- ☆12Updated this week
- Wikipedia Citations in Wikidata☆10May 6, 2021Updated 5 years ago
- An Introductory Jupyter Notebook to Manipulate Ontologies with Owlready2☆10Jan 10, 2020Updated 6 years ago
- Semantic Mediawiki Python binding☆15Feb 13, 2014Updated 12 years ago
- Symbolic modeling in Julia!☆12Updated this week
- Julia implementation of Modal Decision Trees & Forests, for interpretable classification of spatial and temporal data. Long live Symbolic…☆15Aug 23, 2024Updated 2 years ago
- Plan visualization for AI Planning. It includes Gantt chart, resource/object utilization swim-lane diagram, line plots for fluents and is…☆12Nov 29, 2024Updated last year
- ☆13Nov 22, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Extracting the signed backbone of intrinsically dense weighted networks.☆10Apr 8, 2021Updated 5 years ago
- Concept schemes, vocabulary definitions and mappings used for KB/Libris☆19Updated this week
- Domain and problem PDDL parser in Python3 using ply.☆13Aug 21, 2018Updated 8 years ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆17Nov 3, 2024Updated last year
- The Databionic swarm is an unsupervised machine learning method for cluster analysis and the visualization of structures of high-dimensio…☆12May 15, 2024Updated 2 years ago
- This repository is the implementation of the paper "Beating Atari with Natural Language Guided Reinforcement Learning"☆12Nov 25, 2018Updated 7 years ago
- Tools for symbolic manipulation related to control theory and system dynamics☆17Oct 8, 2025Updated last year
- ☆19Aug 22, 2026Updated last month
- WikidPad is a single user desktop wiki☆10Feb 29, 2016Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A spiffy theme for LaTex Beamer inspired by Rome☆12Sep 25, 2019Updated 7 years ago
- A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educati…☆14Jan 8, 2014Updated 12 years ago
- Machine Learning algorithms implementation in Python from scratch.☆11Feb 10, 2019Updated 7 years ago
- Codes relevant to ontology alignment☆14Aug 25, 2021Updated 5 years ago
- CloudQuery Go SDK for source and destination plugins☆27Updated this week
- Awesome list of scientific resources and links☆12Apr 18, 2020Updated 6 years ago
- A peer to peer machine intelligence benchmark☆30Mar 24, 2023Updated 3 years ago
- A computer algebra system for propositional logic☆18Jun 6, 2026Updated 4 months ago
- KnetBuilder data integration platform for building knowledge graphs. Previously known as ondex.☆16Sep 30, 2026Updated 2 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Yet another Python project template.☆13Sep 13, 2024Updated 2 years ago
- Image to Latex using Encoder-Decoder architecture☆19May 21, 2025Updated last year
- 'Cooking with Python and KBpedia' recipes and Jupyter Notebooks☆27Feb 15, 2021Updated 5 years ago
- French Machine Reading for Question Answering☆18Sep 21, 2022Updated 4 years ago
- Thesis: Application of Reinforcement Learning for the Control of Nonlinear Dynamical Systems☆18Apr 16, 2020Updated 6 years ago
- Helm v3 chart that deploys CloudQuery to a Kubernetes cluster☆24Oct 9, 2026Updated last week
- NL2Flow: A PDDL Interface to Flow Construction☆16Dec 4, 2025Updated 10 months ago