Alternatives and similar repositories for tptp

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

• OP-TED / model2owl
  Transform UML into a formal OWL ontology and SHACL shapes
  ☆45Updated 2 weeks ago
• cmungall / sparqlprog
  logic programming with SPARQL
  ☆47Updated 2 years ago
• liveontologies / elk-reasoner
  A Java-based OWL 2 EL reasoner
  ☆108Updated last year
• OntoUML / ontouml-models
  The OntoUML/UFO Catalog is a collaborative, structured and open-source catalog of OntoUML and UFO ontology models.
  ☆67Updated last month
• nemo-ufes / ontouml-lightweight-editor
  The OntoUML lightweight editor (OLED) is an environment for the development, evaluation and implementation of domain ontologies using the…
  ☆43Updated 2 years ago
• gruninger / colore
  Automatically exported from code.google.com/p/colore
  ☆73Updated last year
• thahmann / macleod
  Ontology development environment for Common Logic (CL)
  ☆24Updated 3 years ago
• eyereasoner / eye
  Euler Yet another proof Engine
  ☆157Updated last week
• fekaputra / shacl-plugin
  SHACL4Protege - SHACL constraint validation plugin for Protégé
  ☆38Updated last week
• konclude / Konclude
  Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL
  ☆41Updated 3 years ago
• oxigraph / oxrdflib
  Oxrdflib provides rdflib stores using pyoxigraph
  ☆47Updated last month
• oeg-upm / Chowlk
  Tool to transform an ontology diagram into OWL code.
  ☆33Updated 8 months ago
• Harold-Solbrig / funowl
  Pythonic representation of OWL through the OWL functional syntax
  ☆56Updated 3 months ago
• SPARQL-Anything / PySPARQL-Anything
  The SPARQL Anything Python library
  ☆19Updated 6 months ago
• information-artifact-ontology / IAO
  information artifact ontology
  ☆94Updated 2 months ago
• RMLio / RMLStreamer
  The RMLStreamer executes RML rules to generate high quality Linked Data from multiple originally (semi-)structured data sources in a stre…
  ☆55Updated last year
• yWorks / ontology-visualizer
  The sample web app for the yFiles use case about an Ontology Visualizer.
  ☆12Updated 8 months ago
• linkml / owlstar
  Ontological Interpretations for Web Property Graphs
  ☆35Updated 4 years ago
• fatestigma / ontology-visualization
  A simple ontology and RDF visualization tool.
  ☆19Updated 4 years ago
• ontolex / lexinfo
  LexInfo - Data Category Ontology for OntoLex-Lemon
  ☆25Updated 3 months ago
• Triply-Dev / YASGUI.YASR-deprecated
  Deprecated, see https://github.com/TriplyDB/Yasgui for the Yasgui monorepo
  ☆26Updated 5 years ago
• owlcs / ont-api
  ONT-API (OWL-API over Apache Jena)
  ☆47Updated 5 months ago
• Galigator / openllet
  Openllet is an OWL 2 reasoner in Java, build on top of Pellet.
  ☆116Updated 4 months ago
• ghxiao / owl-toolkit
  a set of command line tools for OWL files powered by owl-api
  ☆20Updated 6 years ago
• INCATools / whelk
  Whelk is an OWL EL reasoner
  ☆36Updated 9 months 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…
  ☆163Updated 3 weeks ago
• tilde-lab / pyfactxx
  Python bindings for upgraded FaCT++ description logic reasoner
  ☆29Updated this week
• the-qa-company / qEndpoint
  A highly scalable RDF triple store with full-text and GeoSPARQL support
  ☆109Updated last week
• MenthorTools / menthor-editor
  Menthor Editor
  ☆31Updated 4 years ago
• floresbakker / OntoMermaid
  A RDF-based vocabulary to express OWL ontologies into Mermaid diagram language
  ☆31Updated last month