dityas / Athene
A description logic reasoner for python.
☆14Updated 6 years ago
Related projects: ⓘ
- Formal Concept Analysis with Python☆108Updated 6 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…☆142Updated last month
- Python interface for SWI-Prolog☆36Updated last week
- Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.☆58Updated 6 years ago
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆35Updated 2 years ago
- Sigma Knowledge Engineering Environment☆101Updated 2 weeks ago
- A service that parses a sentence using AMR and returns a set of Verbnet logic predicates grounded with the roles of the input sentence.☆12Updated 2 years ago
- A Benchmark for Machine Learning from Structured Data☆21Updated 2 years ago
- Suggested Upper Merged Ontology (SUMO)☆223Updated 2 weeks ago
- ☆25Updated 7 months ago
- General Inductive Logic Programming System☆17Updated last year
- Euler Yet another proof Engine☆125Updated this week
- 🐍 Python Implementation and Extension of RDF2Vec☆244Updated 2 weeks ago
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆305Updated 3 months ago
- Ontology matching system based on formal concept analysis☆32Updated 3 years ago
- ☆137Updated last year
- Learning by Reading pipeline of NLP and Entity Linking tools☆82Updated last year
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 3 years ago
- Python library and command-line interface for inspecting and visualizing RDF models aka ontologies.☆220Updated 6 months ago
- Python API to query a SPARQL endpoint☆33Updated 2 years ago
- Openllet is an OWL 2 reasoner in Java, build on top of Pellet.☆97Updated last month
- MELT - Matching EvaLuation Toolkit☆46Updated this week
- A repository containing the original C&C CCG parser sources and newer modifications☆24Updated 5 years ago
- 🤖 Neural SPARQL Machines for Knowledge Graph Question Answering.☆222Updated last year
- This repository contains the Framester resource, the main outcome of the framester project.☆34Updated 4 years ago
- Table to Wikidata Mapping Language☆22Updated last year
- Handy python wrapper around Potassco's Clingo ASP solver.☆34Updated last year
- Deep Fact Validation☆58Updated 2 years ago
- 'Cooking with Python and KBpedia' recipes and Jupyter Notebooks☆28Updated 3 years ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆184Updated last month