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
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 6 months ago
• thahmann / macleod
  Ontology development environment for Common Logic (CL)
  ☆23Updated 2 years ago
• ontology-tools / py-horned-owl
  A library for Web Ontology Language in Python created using a bridge from horned-owl to python using PyO3.
  ☆15Updated last month
• rali-udem / gophi
  GOPHI: an AMR-to-English Verbalizer
  ☆11Updated 5 years ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆58Updated 3 months ago
• 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
• Kaljurand / owl-verbalizer
  OWL verbalizer: making machine-readable knowledge also human-readable
  ☆38Updated last year
• INCATools / whelk
  Whelk is an OWL EL reasoner
  ☆29Updated 2 months ago
• INCATools / kgcl
  Datamodel for KGCL (Knowledge Graph Change Language)
  ☆17Updated 5 months ago
• JanWielemaker / sCASP
  top-down interpreter for ASP programs with constraints
  ☆17Updated 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
  ☆37Updated 2 years ago
• KNowledgeOnWebScale / retina
  Integrated RDF Surfaces inspired by Pat Hayes, Patrick Hochstenbach and EYE.
  ☆13Updated 5 months ago
• oxigraph / oxrdflib
  Oxrdflib provides rdflib stores using pyoxigraph
  ☆39Updated last week
• potassco / clorm
  🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner
  ☆55Updated 10 months ago
• yWorks / ontology-visualizer
  The sample web app for the yFiles use case about an Ontology Visualizer.
  ☆12Updated last month
• Harold-Solbrig / funowl
  Pythonic representation of OWL through the OWL functional syntax
  ☆53Updated last year
• linkml / sparqlfun
  sparql templates for linkml (alpha)
  ☆11Updated 3 years ago
• cknoll / yamlpyowl
  python based YAML-to-OWL-converter
  ☆17Updated 2 years ago
• knowsys / rulewerk
  Java library based on the VLog rule engine
  ☆32Updated 10 months ago
• LogicalContracts / LogicalEnglish
  ☆32Updated last week
• balhoff / arachne
  RDF rule engine
  ☆22Updated 9 months ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆46Updated last month
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆46Updated last week
• linkml / prefixmaps
  Semantic prefix map registry
  ☆12Updated 6 months ago
• gruninger / colore
  Automatically exported from code.google.com/p/colore
  ☆70Updated 4 months ago
• OP-TED / model2owl
  Transform UML into a formal OWL ontology and SHACL shapes
  ☆33Updated last week
• linkml / linkml-runtime
  Runtime support for linkml generated models
  ☆33Updated this week
• oeg-upm / Chowlk
  Tool to transform an ontology diagram into OWL code.
  ☆26Updated 3 weeks ago
• linkml / owlstar
  Ontological Interpretations for Web Property Graphs
  ☆33Updated 4 years ago