Alternatives and similar repositories for tptp

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

• cmungall / sparqlprog
  logic programming with SPARQL
  ☆47Updated 2 years ago
• thahmann / macleod
  Ontology development environment for Common Logic (CL)
  ☆24Updated 2 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
  ☆38Updated 3 years ago
• liveontologies / elk-reasoner
  A Java-based OWL 2 EL reasoner
  ☆105Updated last year
• gruninger / colore
  Automatically exported from code.google.com/p/colore
  ☆72Updated 10 months ago
• INCATools / whelk
  Whelk is an OWL EL reasoner
  ☆35Updated 7 months ago
• karmaresearch / vlog
  ☆57Updated 2 years ago
• Harold-Solbrig / funowl
  Pythonic representation of OWL through the OWL functional syntax
  ☆56Updated last month
• oxigraph / oxrdflib
  Oxrdflib provides rdflib stores using pyoxigraph
  ☆41Updated last week
• OP-TED / model2owl
  Transform UML into a formal OWL ontology and SHACL shapes
  ☆40Updated this week
• monarch-initiative / kboom
  Bayes OWL Ontology Merging
  ☆22Updated last year
• vangelisv / thea
  OWL2 library for Prolog
  ☆112Updated 6 years ago
• MenthorTools / menthor-editor
  Menthor Editor
  ☆31Updated 4 years ago
• owlcs / jfact
  JFact repository
  ☆16Updated 3 years ago
• tilde-lab / pyfactxx
  Python bindings for upgraded FaCT++ description logic reasoner
  ☆27Updated last year
• ontodev / rdftab.rs
  RDF Tables in Rust
  ☆17Updated 3 years ago
• SPARQL-Anything / PySPARQL-Anything
  The SPARQL Anything Python library
  ☆19Updated 3 months ago
• phillord / hermit-reasoner
  ☆63Updated 4 years ago
• eyereasoner / eye
  Euler Yet another proof Engine
  ☆156Updated this week
• AKSW / shaclgen
  python program to generate template shacl graphs
  ☆27Updated 6 months ago
• ghxiao / owl-toolkit
  a set of command line tools for OWL files powered by owl-api
  ☆20Updated 6 years ago
• sage-org / sage-engine
  🧙 Sage: a SPARQL query engine for public Linked Data providers
  ☆44Updated last year
• knowsys / rulewerk
  Java library based on the VLog rule engine
  ☆34Updated 3 months ago
• Aluriak / clyngor
  Handy python wrapper around Potassco's Clingo ASP solver.
  ☆34Updated 2 years ago
• dice-group / owlapy
  OWL Engineering & Reasoning in Python
  ☆44Updated 2 weeks ago
• Kaljurand / owl-verbalizer
  OWL verbalizer: making machine-readable knowledge also human-readable
  ☆40Updated 2 years ago
• ontolex / ontolex
  Ontolex modules
  ☆33Updated 2 months ago
• OntoUML / ontouml-models
  The OntoUML/UFO Catalog is a collaborative, structured and open-source catalog of OntoUML and UFO ontology models.
  ☆62Updated 4 months ago
• oeg-upm / Chowlk
  Tool to transform an ontology diagram into OWL code.
  ☆29Updated 6 months ago
• aidhog / blabel
  A library for skolemising (or canonicalising) blank node labels in RDF graphs.
  ☆19Updated 2 years ago