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:
- MELT - Matching EvaLuation Toolkit☆51Updated last 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…☆153Updated 2 weeks ago
- Suggested Upper Merged Ontology (SUMO)☆239Updated last week
- Covid-on-the-Web Dataset☆31Updated 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
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆362Updated 3 weeks ago
- 🐍 Python Implementation and Extension of RDF2Vec☆258Updated 2 months ago
- Links and description of Knowledge Graphs Construction Tools☆67Updated 10 months ago
- ☆163Updated 2 years ago
- Ontolex modules☆33Updated 2 weeks ago
- Java API for working with the SWRL rule and SQWRL query languages☆100Updated 6 months ago
- PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.☆521Updated last month
- Euler Yet another proof Engine☆151Updated this week
- LogMap: An Ontology Alignment and Alignment Repair System☆132Updated 3 months ago
- Python library and command-line interface for inspecting and visualizing RDF models aka ontologies.☆232Updated last year
- Knowledge Graph Toolkit☆394Updated last month
- Language, Knowledge, Cognition☆613Updated this week
- RODI Relational-to-Ontology Mapping Quality Benchmark☆11Updated 8 years ago
- A Java-based OWL 2 EL reasoner☆101Updated last year
- A wrapper for a remote SPARQL endpoint☆548Updated 3 months ago
- Ontology matching system based on formal concept analysis☆35Updated 4 years ago
- A curated list of ontology things☆400Updated 3 months ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆255Updated last year
- ☆12Updated 4 years ago
- A Benchmark for Machine Learning from Structured Data☆21Updated 3 years ago
- Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.☆64Updated 7 years ago
- Python interface for SWI-Prolog☆49Updated this week
- Deep Learning and Logical Reasoning from Data and Knowledge☆306Updated 8 months ago
- CEUR-WS proceedings style☆18Updated 4 months ago
- ☆12Updated last year