k00ni / owl-reasoner-list
This repository contains a list of information about OWL reasoners as well as systems, which use a third-party OWL reasoner.
☆17Updated 5 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:
- A library for Web Ontology Language in Python created using a bridge from horned-owl to python using PyO3.☆15Updated last month
- Command line interface based RDF processing toolkit to run sequences of SPARQL statements ad-hoc on RDF datasets, streams of bindings and…☆42Updated last month
- python program to generate template shacl graphs☆25Updated 3 weeks ago
- A heterogeneous data mapping language based on Shape Expressions☆16Updated this week
- Runtime support for linkml generated models☆33Updated this week
- Structure your data in a FAIR way using google sheets or TSVs. These are then converted to LinkML, and from there other formats☆45Updated last week
- Materialize OWL existential relations☆20Updated 7 months ago
- The Software Ontology (SWO) is a resource for describing software tools, their types, tasks, versions, licences, provenance and associate…☆44Updated 2 years ago
- Transform UML into a formal OWL ontology and SHACL shapes☆33Updated 2 weeks ago
- A system to propagate changes between RDF Datasets☆78Updated this week
- Whelk is an OWL EL reasoner☆29Updated 2 months ago
- Ontological Interpretations for Web Property Graphs☆33Updated 4 years ago
- Tools to update and export ontology RDF.☆36Updated 4 months ago
- Schema for chemistry ontology classes☆18Updated 2 weeks ago
- RML-Core: Main features for RDF generation with RML☆15Updated last month
- Pythonic representation of OWL through the OWL functional syntax☆53Updated last year
- Oxrdflib provides rdflib stores using pyoxigraph☆40Updated last week
- 🖧 Quads in Git - Distributed Version Control for RDF Knowledge Bases☆104Updated 10 months ago
- Semantic prefix map registry☆12Updated 6 months ago
- 🐸 Idiomatic conversion between URIs and compact URIs (CURIEs) in Python☆23Updated last week
- Bayes OWL Ontology Merging☆21Updated 7 months ago
- sparql templates for linkml (alpha)☆11Updated 3 years ago
- Tool to transform an ontology diagram into OWL code.☆26Updated last month
- The RMLStreamer executes RML rules to generate high quality Linked Data from multiple originally (semi-)structured data sources in a stre…☆50Updated last year
- RMLEditor Community Edition☆10Updated 4 years ago
- logic programming with SPARQL☆47Updated 2 years ago
- Simple RDF Editor with SHACL support☆30Updated 3 months ago
- RDF rule engine☆22Updated 9 months ago
- This is the development repository for the STATistics Ontology (STATO). For more information and demonstration on the ontology content, p…☆33Updated 2 months ago
- KOMMA - RDF object mapper for Java☆37Updated 2 weeks ago