leoprover / tptpLinks
TPTP python library and benchmarking service
☆13Updated 5 years ago
Alternatives and similar repositories for tptp
Users that are interested in tptp are comparing it to the libraries listed below
Sorting:
- The Heterogeneous Tool Set☆58Updated 5 months ago
- Datamodel for KGCL (Knowledge Graph Change Language)☆18Updated 8 months ago
- Data Science Ontology☆38Updated 2 months ago
- Pythonic representation of OWL through the OWL functional syntax☆54Updated last year
- OWL verbalizer: making machine-readable knowledge also human-readable☆39Updated last year
- Automatically exported from code.google.com/p/colore☆71Updated 7 months ago
- Here we keep track of modification requests in the DBpedia Ontology☆37Updated last month
- Tool to transform an ontology diagram into OWL code.☆28Updated 3 months ago
- A rule engine based on Attempto Controlled English☆18Updated 8 months ago
- logic programming with SPARQL☆47Updated 2 years ago
- RDF Tables in Rust☆17Updated 2 years ago
- A library for Web Ontology Language in Python created using a bridge from horned-owl to python using PyO3.☆15Updated last week
- Ontolex modules☆33Updated last week
- Transform UML into a formal OWL ontology and SHACL shapes☆37Updated 2 months ago
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆14Updated last week
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆37Updated 3 years ago
- Extension of LinkML runtime for converting instances of LinkML classes to OWL (classes or instances)☆14Updated last year
- RMLEditor Community Edition☆10Updated 5 years ago
- This ontology is a Linked Data Hub for mathematics☆58Updated last year
- A WordNet in GF☆27Updated last week
- Source for lemon-model.net☆11Updated 3 years ago
- The OntoUML/UFO Catalog is a collaborative, structured and open-source catalog of OntoUML and UFO ontology models.☆59Updated last month
- sparql templates for linkml (alpha)☆11Updated 3 years ago
- wrapper for multiple linkml storage engines☆21Updated last month
- Whelk is an OWL EL reasoner☆31Updated 4 months ago
- GOPHI: an AMR-to-English Verbalizer☆11Updated 5 years ago
- This repository contains a list of information about OWL reasoners as well as systems, which use a third-party OWL reasoner.☆19Updated 7 months ago
- Bayes OWL Ontology Merging☆21Updated 9 months ago
- Oxrdflib provides rdflib stores using pyoxigraph☆40Updated 2 months ago
- Handy python wrapper around Potassco's Clingo ASP solver.☆34Updated 2 years ago