Alternatives and similar repositories for Athene

Users that are interested in Athene are comparing it to the libraries listed below

• yuce / pyswip
  PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
  ☆541Updated 7 months ago
• ML-KULeuven / problog
  ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
  ☆393Updated 4 months ago
• MNoorFawi / pytholog
  Python library that enables using prolog syntax and logic programming in python
  ☆128Updated 3 years ago
• konclude / Konclude
  Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL
  ☆42Updated 3 years ago
• ML-KULeuven / deepproblog
  DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…
  ☆295Updated last year
• chrzyki / candc
  A repository containing the original C&C CCG parser sources and newer modifications
  ☆25Updated 6 years ago
• logictensornetworks / logictensornetworks
  Deep Learning and Logical Reasoning from Data and Knowledge
  ☆342Updated last year
• dice-group / Ontolearn
  OWL Class Expressions Learning in Python
  ☆62Updated last week
• ontologyportal / sumo
  Suggested Upper Merged Ontology (SUMO)
  ☆253Updated last week
• xflr6 / concepts
  Formal Concept Analysis with Python
  ☆120Updated 3 weeks ago
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆49Updated 2 weeks ago
• Shivam-Miglani / contextual_drl
  Extracting action sequences and generating domain models.
  ☆15Updated 3 years ago
• SmartDataAnalytics / SML-Bench
  A Benchmark for Machine Learning from Structured Data
  ☆22Updated 4 years ago
• RDFLib / OWL-RL
  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…
  ☆165Updated 2 weeks ago
• ML-KULeuven / deepstochlog
  ☆37Updated 2 years ago
• ontologyportal / sigmakee
  Sigma Knowledge Engineering Environment
  ☆117Updated this week
• eyereasoner / eye
  Euler Yet another proof Engine
  ☆160Updated 3 weeks ago
• cu-clear / semlink
  Official repository for Semlink resources
  ☆37Updated 4 years ago
• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆444Updated last week
• JanWielemaker / chat80
  Classical CHAT80 NLP system for Prolog
  ☆25Updated 11 months ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆71Updated last month
• DeMaCS-UNICAL / I-DLV
  The new intelligent grounder of the logic-based Artificial Intelligence system DLV
  ☆23Updated 2 years ago
• yamadharma / ceurart
  CEUR-WS proceedings style
  ☆19Updated 3 weeks ago
• chrpin / rodi
  RODI Relational-to-Ontology Mapping Quality Benchmark
  ☆11Updated 9 years ago
• opentapioca / opentapioca
  Entity linking system for Wikidata updated by your edits in real time
  ☆258Updated last month
• ilaspltd / ILASP-releases
  ☆39Updated last year
• protegeproject / swrlapi
  Java API for working with the SWRL rule and SQWRL query languages
  ☆102Updated last year
• alreich / qualreas
  Qualitative Reasoning: Spatio-Temporal Reasoning using Relation Algebras and Constraint Networks. Documentation is under construction a…
  ☆41Updated 2 years ago
• IBM / AMR-CSLogic
  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
• JoseCSantos / GILPS
  General Inductive Logic Programming System
  ☆18Updated 3 years ago