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 ⓘ
Alternatives and complementary repositories for Konclude
- Openllet is an OWL 2 reasoner in Java, build on top of Pellet.☆100Updated last month
- Ontological Interpretations for Web Property Graphs☆28Updated 3 years ago
- Whelk is an OWL EL reasoner☆24Updated 2 weeks ago
- A Java-based OWL 2 EL reasoner☆94Updated 4 months ago
- logic programming with SPARQL☆47Updated last year
- ☆55Updated last year
- Reactive Reasoning☆38Updated 3 months ago
- Java library based on the VLog rule engine☆32Updated 5 months ago
- A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.☆39Updated this week
- a set of command line tools for OWL files powered by owl-api☆20Updated 5 years ago
- Euler Yet another proof Engine☆125Updated this week
- ☆12Updated 3 years ago
- A library for skolemising (or canonicalising) blank node labels in RDF graphs.☆19Updated last year
- ONT-API (OWL-API over Apache Jena)☆44Updated 2 weeks ago
- ☆53Updated 3 years ago
- Tentris is a tensor-based RDF triple store with SPARQL support.☆55Updated 5 months ago
- Java API for working with the SWRL rule and SQWRL query languages☆99Updated last year
- Tools to update and export ontology RDF.☆34Updated 3 weeks ago
- The OntoUML/UFO Catalog is a collaborative, structured and open-source catalog of OntoUML and UFO ontology models.☆45Updated this week
- A simple implementation of the OWL2 RL Profile on top of RDFLib: it expands the graph with all possible triples that OWL RL defines. It c…☆144Updated 3 weeks ago
- OWL ontology graphing program☆30Updated 5 years ago
- A collection of tools and Java libraries to process RDF* data and SPARQL* queries.☆70Updated 2 years ago
- SHACL/ShEx implementation☆78Updated 2 months ago
- Ontology development environment for Common Logic (CL)☆23Updated 2 years ago
- A highly scalable RDF triple store with full-text and GeoSPARQL support☆79Updated last week
- RDF-star specification☆120Updated last year
- A collection of Jena-extensions for hiding SPARQL-complexity from the application layer☆57Updated last year
- A repository for BFO 2020 artifacts specified in ISO 21838-2:2020☆79Updated 2 months ago
- HDT Java library and tools.☆94Updated 9 months ago
- Streaming, transforming, SPARQL-based CSV to RDF converter. Apache license.☆54Updated last year