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:
- PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.☆529Updated 4 months ago
- Deep Learning and Logical Reasoning from Data and Knowledge☆319Updated 11 months ago
- Python interface for SWI-Prolog☆49Updated last week
- Python library that enables using prolog syntax and logic programming in python☆128Updated 2 years ago
- MELT - Matching EvaLuation Toolkit☆53Updated last month
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆272Updated last year
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆39Updated 3 years ago
- Knowledge Graph Toolkit☆403Updated 4 months ago
- RODI Relational-to-Ontology Mapping Quality Benchmark☆11Updated 8 years ago
- Suggested Upper Merged Ontology (SUMO)☆246Updated last week
- 🐍 Python Implementation and Extension of RDF2Vec☆263Updated 4 months ago
- ☆172Updated 2 years ago
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆378Updated last month
- A HOL-based framework for reasoning over knowledge graphs☆26Updated last month
- LogMap: An Ontology Alignment and Alignment Repair System☆140Updated last month
- OWL API main repository☆872Updated last week
- ☆36Updated last year
- Python library and command-line interface for inspecting and visualizing RDF models aka ontologies.☆235Updated last year
- A repository containing the original C&C CCG parser sources and newer modifications☆25Updated 6 years ago
- Character-based seq2seq models (english => predicate logic)☆15Updated 4 years ago
- Formal Concept Analysis with Python☆117Updated this week
- Covid-on-the-Web Dataset☆31Updated 2 years ago
- Ontology matching system based on formal concept analysis☆36Updated 4 years ago
- Language, Knowledge, Cognition☆619Updated 2 months ago
- ☆29Updated 2 years ago
- Links and description of Knowledge Graphs Construction Tools☆68Updated last year
- 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…☆159Updated 3 months ago
- 'Cooking with Python and KBpedia' recipes and Jupyter Notebooks☆28Updated 4 years ago
- General Inductive Logic Programming System☆18Updated 3 years ago
- Java API for working with the SWRL rule and SQWRL query languages☆101Updated 9 months ago