dityas / Athene
A description logic reasoner for python.
☆15Updated 7 years ago
Alternatives and similar repositories for Athene:
Users that are interested in Athene 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
- A repository containing the original C&C CCG parser sources and newer modifications☆25Updated 5 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…☆146Updated 2 months ago
- Suggested Upper Merged Ontology (SUMO)☆227Updated this week
- Python interface for SWI-Prolog☆44Updated last week
- VerbNet semantic parser and related utilities☆35Updated 2 years ago
- Extracting action sequences and generating domain models.☆14Updated 2 years ago
- Learning by Reading pipeline of NLP and Entity Linking tools☆83Updated 2 years ago
- CSKG: The CommonSense Knowledge Graph☆115Updated last year
- Character-based seq2seq models (english => predicate logic)☆14Updated 4 years ago
- This repository contains the Framester resource, the main outcome of the framester project.☆34Updated 4 years ago
- A Large Semantic Knowledge Graph from Wikipedia Categories and Listings☆24Updated last year
- ☆26Updated 11 months ago
- HTTP API to access the C&C/Boxer pipeline☆18Updated 7 years ago
- A tool for supervised Machine Learning in OWL and Description Logics☆152Updated last year
- Deep Learning and Logical Reasoning from Data and Knowledge☆281Updated 2 months ago
- University of Colorado VerbNet☆103Updated 7 months ago
- Deep Fact Validation☆58Updated 2 years ago
- Formal Concept Analysis with Python☆109Updated 10 months ago
- Stand-alone WordNet API☆48Updated 2 years ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆206Updated 5 months ago
- Covid-on-the-Web Dataset☆30Updated last year
- Ontology development environment for Common Logic (CL)☆23Updated 2 years ago
- Table to Wikidata Mapping Language☆23Updated last year
- Lexicon of frame files used by Propbank annotation. A searchable, readable version of the latest release is here: http://propbank.github…☆101Updated last week
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆323Updated 2 months ago
- 🐍 Python Implementation and Extension of RDF2Vec☆252Updated last week
- Euler Yet another proof Engine☆130Updated this week
- General Inductive Logic Programming System☆17Updated 2 years ago
- Examples from knowledge graphs tutorial paper☆74Updated 3 years ago