konclude / Konclude
Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL
☆35Updated 2 years ago
Related projects: ⓘ
- logic programming with SPARQL☆46Updated last year
- A Java-based OWL 2 EL reasoner☆94Updated 2 months ago
- Openllet is an OWL 2 reasoner in Java, build on top of Pellet.☆97Updated last month
- Ontological Interpretations for Web Property Graphs☆26Updated 3 years ago
- a set of command line tools for OWL files powered by owl-api☆20Updated 5 years ago
- ☆56Updated last year
- Whelk is an OWL EL reasoner☆20Updated last month
- Reactive Reasoning☆34Updated last month
- A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.☆38Updated this week
- Java library based on the VLog rule engine☆32Updated 3 months ago
- A collection of Jena-extensions for hiding SPARQL-complexity from the application layer☆57Updated last year
- Tools to update and export ontology RDF.☆34Updated this week
- Tentris is a tensor-based RDF triple store with SPARQL support.☆53Updated 3 months ago
- Euler Yet another proof Engine☆125Updated this week
- Ontology development environment for Common Logic (CL)☆22Updated last year
- SHACL/ShEx implementation☆77Updated 2 weeks ago
- ONT-API (OWL-API over Apache Jena)☆44Updated 2 weeks ago
- The RMLStreamer executes RML rules to generate high quality Linked Data from multiple originally (semi-)structured data sources in a stre…☆48Updated 6 months ago
- The OntoUML/UFO Catalog is a collaborative, structured and open-source catalog of OntoUML and UFO ontology models.☆42Updated last week
- Streaming, transforming, SPARQL-based CSV to RDF converter. Apache license.☆54Updated last year
- A library for skolemising (or canonicalising) blank node labels in RDF graphs.☆19Updated last year
- SPARQL-Generate implementation over Apache Jena☆68Updated 7 months ago
- A collection of tools and Java libraries to process RDF* data and SPARQL* queries.☆70Updated 2 years ago
- Virtual Knowledge Graph Creation from RDB with R2RML☆41Updated last year
- RDF-star specification☆119Updated last year
- A SHACL-based Web-Form Generator for Knowledge Graph Editing☆49Updated 2 years ago
- HDT Java library and tools.☆94Updated 6 months ago
- OWL ontology graphing program☆30Updated 5 years ago
- RDF rule engine☆21Updated last month
- Astrea is a software that generates SHACL shapes for one or more OWL ontologies using a set of SPARQL queries that hold the equivalence b…☆14Updated last year