k00ni / owl-reasoner-listLinks
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
Alternatives and similar repositories for owl-reasoner-list
Users that are interested in owl-reasoner-list are comparing it to the libraries listed below
Sorting:
- RDF Graph Compression Tool. Hash RDF subjects based on a checksum of their triples, effectively consolidating together subjects that cont…☆14Updated last year
- A library for Web Ontology Language in Python created using a bridge from horned-owl to python using PyO3.☆15Updated last week
- Whelk is an OWL EL reasoner☆31Updated 4 months ago
- A RDF-based vocabulary to express OWL ontologies into Mermaid diagram language☆24Updated 9 months ago
- Extension of LinkML runtime for converting instances of LinkML classes to OWL (classes or instances)☆14Updated last year
- Tool to transform an ontology diagram into OWL code.☆28Updated 3 months ago
- Schema for chemistry ontology classes☆19Updated 2 weeks ago
- Command line interface based RDF processing toolkit to run sequences of SPARQL statements ad-hoc on RDF datasets, streams of bindings and…☆42Updated 3 weeks ago
- Ontological Interpretations for Web Property Graphs☆34Updated 4 years ago
- Pythonic representation of OWL through the OWL functional syntax☆54Updated last year
- Transform UML into a formal OWL ontology and SHACL shapes☆37Updated 2 months ago
- RDF Serializer, to be used in a git commit-hook to force automatic correct rewrite of every OWL ontology☆71Updated this week
- python program to generate template shacl graphs☆26Updated 3 months ago
- sparql templates for linkml (alpha)☆11Updated 3 years ago
- Runtime support for linkml generated models☆40Updated this week
- Materialize OWL existential relations☆21Updated 2 months ago
- Automatically exported from code.google.com/p/ogms☆23Updated 2 weeks ago
- Structure your data in a FAIR way using google sheets or TSVs. These are then converted to LinkML, and from there other formats☆44Updated 2 months ago
- RMLEditor Community Edition☆10Updated 5 years ago
- Datamodel for KGCL (Knowledge Graph Change Language)☆18Updated 8 months ago
- Virtual Knowledge Graph Creation from RDB with R2RML☆43Updated 2 years ago
- Bayes OWL Ontology Merging☆21Updated 9 months ago
- 🖧 Quads in Git - Distributed Version Control for RDF Knowledge Bases☆105Updated last year
- The documentation repository is part of the Corporate Linked Data Catalog - short: COLID - application.☆44Updated 2 years ago
- Tentris is a tensor-based RDF triple store with SPARQL support.☆59Updated 7 months ago
- 🐸 Idiomatic conversion between URIs and compact URIs (CURIEs) in Python☆24Updated 2 months ago
- The SPARQL Anything Python library☆18Updated 3 weeks ago
- Semantic prefix map registry☆12Updated 9 months ago
- Drag and drop SPARQL queries and data ingestion for virtuoso and soon other SPARQL endpoints☆39Updated 4 months ago
- logic programming with SPARQL☆47Updated 2 years ago