dityas / AtheneLinks
A description logic reasoner for python.
☆16Updated 7 years ago
Alternatives and similar repositories for Athene
Users that are interested in Athene are comparing it to the libraries listed below
Sorting:
- Python library that enables using prolog syntax and logic programming in python☆126Updated 2 years 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
- Python interface for SWI-Prolog☆49Updated 2 months ago
- Links and description of Knowledge Graphs Construction Tools☆66Updated 9 months 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 weeks ago
- ☆37Updated 7 months ago
- Extracting action sequences and generating domain models.☆14Updated 2 years ago
- Deep Fact Validation☆58Updated 2 years ago
- Formal Concept Analysis with Python☆116Updated 2 weeks ago
- Deep Learning and Logical Reasoning from Data and Knowledge☆298Updated 7 months ago
- Suggested Upper Merged Ontology (SUMO)☆238Updated this week
- ☆158Updated 2 years ago
- RODI Relational-to-Ontology Mapping Quality Benchmark☆11Updated 8 years ago
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆349Updated 3 months ago
- A tool for supervised Machine Learning in OWL and Description Logics☆152Updated last year
- A service that parses a sentence using AMR and returns a set of Verbnet logic predicates grounded with the roles of the input sentence.☆13Updated 3 years ago
- A Benchmark for Machine Learning from Structured Data☆21Updated 3 years ago
- OWL Class Expressions Learning in Python☆48Updated this week
- TPTP python library and benchmarking service☆13Updated 5 years ago
- A tool for explainability and debugging in Answer Set Programming.☆14Updated 3 months ago
- Read and query HDT documents with ease in Python☆13Updated 5 years ago
- MELT - Matching EvaLuation Toolkit☆50Updated 8 months ago
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆23Updated last year
- Tool for building graph-based hierarchical knowledge representation systems☆81Updated 2 years ago
- Java library based on the VLog rule engine☆34Updated last year
- Python library and command-line interface for inspecting and visualizing RDF models aka ontologies.☆231Updated last year
- NL2Flow: A PDDL Interface to Flow Construction☆11Updated last month
- Java API for working with the SWRL rule and SQWRL query languages☆102Updated 5 months ago
- General Inductive Logic Programming System☆17Updated 2 years ago
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆58Updated 3 years ago