Alternatives and similar repositories for tptp:

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

• spechub / Hets
  The Heterogeneous Tool Set
  ☆58Updated 2 months ago
• konclude / Konclude
  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
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆45Updated last week
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 5 months ago
• cmungall / sparqlprog
  logic programming with SPARQL
  ☆47Updated 2 years ago
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆45Updated 2 weeks ago
• thahmann / macleod
  Ontology development environment for Common Logic (CL)
  ☆23Updated 2 years ago
• Kaljurand / owl-verbalizer
  OWL verbalizer: making machine-readable knowledge also human-readable
  ☆38Updated last year
• ian-andrich / PythonPengines
  A Python interface to the Prolog pengines library. Makes it exceedingly easy to call out to SWI-Prolog within Python!
  ☆12Updated 4 years ago
• OP-TED / model2owl
  Transform UML into a formal OWL ontology and SHACL shapes
  ☆33Updated 2 weeks ago
• SWI-Prolog / packages-mqi
  Machine Query Interface
  ☆18Updated 2 weeks ago
• Aluriak / clyngor
  Handy python wrapper around Potassco's Clingo ASP solver.
  ☆34Updated last year
• knowsys / rulewerk
  Java library based on the VLog rule engine
  ☆32Updated 10 months ago
• phillord / hermit-reasoner
  ☆59Updated 4 years ago
• yWorks / ontology-visualizer
  The sample web app for the yFiles use case about an Ontology Visualizer.
  ☆12Updated 2 weeks ago
• gruninger / colore
  Automatically exported from code.google.com/p/colore
  ☆71Updated 4 months ago
• rali-udem / gophi
  GOPHI: an AMR-to-English Verbalizer
  ☆11Updated 5 years ago
• Harold-Solbrig / funowl
  Pythonic representation of OWL through the OWL functional syntax
  ☆53Updated last year
• ghxiao / owl-toolkit
  a set of command line tools for OWL files powered by owl-api
  ☆20Updated 5 years ago
• AceWiki / AceWiki
  AceWiki is a semantic wiki based on controlled natural language.
  ☆71Updated 2 months ago
• rzese / trill
  TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.
  ☆13Updated this week
• karmaresearch / vlog
  ☆56Updated last year
• ontodev / rdftab.rs
  RDF Tables in Rust
  ☆17Updated 2 years ago
• LogicalContracts / LogicalEnglish
  ☆32Updated last month
• md-k-sarker / OWLAx
  OWL Axiomatizer
  ☆10Updated last year
• INCATools / kgcl
  Datamodel for KGCL (Knowledge Graph Change Language)
  ☆15Updated 5 months ago
• balhoff / arachne
  RDF rule engine
  ☆21Updated 8 months ago
• ClioPatria / ClioPatria
  ClioPatria provides an RDF application platform
  ☆53Updated last year
• jrbn / vlog
  VLog is a high-performance Datalog engine. It is highly memory efficient and can process large programs with thousands of rules.
  ☆17Updated 7 years ago
• CLLKazan / OntoMathPro
  This ontology is a Linked Data Hub for mathematics
  ☆58Updated last year