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.
☆22Updated 8 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-star specification☆125Updated 2 years ago
- A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.☆55Updated this week
- Whelk is an OWL EL reasoner☆34Updated 6 months ago
- W3C's Notation 3 (N3) Community Group☆49Updated last year
- Euler Yet another proof Engine☆152Updated this week
- RDF Linked Data in Markdown☆38Updated last year
- Transform UML into a formal OWL ontology and SHACL shapes☆38Updated 2 weeks ago
- CoModIDE plugin for Protégé☆27Updated last month
- Validate RDF data purely in JavaScript. An implementation of the W3C SHACL specification on top of the RDFJS stack.☆112Updated last month
- A system to propagate changes between RDF Datasets☆84Updated last week
- Form UI elements driven by SHACL Shapes☆53Updated 3 months ago
- QUDT -Quantities, Units, Dimensions and dataTypes - public repository☆136Updated last week
- RMLEditor Community Edition☆10Updated 5 years ago
- Tool to transform an ontology diagram into OWL code.☆29Updated 5 months ago
- SPARQL-Generate implementation over Apache Jena☆70Updated 5 months ago
- Streaming generic JSON to RDF converter☆90Updated 2 years ago
- Data Shapes WG repo☆117Updated this week
- A tool to create RDF cubes from CSV files☆14Updated last month
- A RDF-based vocabulary to express OWL ontologies into Mermaid diagram language☆24Updated 11 months ago
- 🖧 Quads in Git - Distributed Version Control for RDF Knowledge Bases☆106Updated last year
- The RMLStreamer executes RML rules to generate high quality Linked Data from multiple originally (semi-)structured data sources in a stre…☆52Updated last year
- Ontology of units of Measure☆95Updated 5 months ago
- A collection of tools and Java libraries to process RDF* data and SPARQL* queries.☆72Updated 3 years ago
- Tentris is a tensor-based triplestore that natively supports worst-case optimal joins. This is the research version of Tentris. A commer…☆63Updated 3 weeks ago
- OWL 2 Reasoner built on DataFrog☆89Updated last week
- A Java-based OWL 2 EL reasoner☆103Updated last year
- RDF Serializer, to be used in a git commit-hook to force automatic correct rewrite of every OWL ontology☆72Updated last month
- 💠 An index for linked open data & standard knowledge descriptions (ontologies, vocabularies, shapes, queries, mappings)☆43Updated last year
- logic programming with SPARQL☆47Updated 2 years ago
- OWL ontology graphing program☆32Updated 6 years ago