konclude / KoncludeLinks
Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL
☆39Updated 3 years ago
Alternatives and similar repositories for Konclude
Users that are interested in Konclude are comparing it to the libraries listed below
Sorting:
- Openllet is an OWL 2 reasoner in Java, build on top of Pellet.☆114Updated 2 months ago
- Euler Yet another proof Engine☆156Updated last week
- ☆57Updated 2 years ago
- SHACL API in Java based on Apache Jena☆232Updated 3 weeks ago
- A Java-based OWL 2 EL reasoner☆106Updated last year
- RDF-star specification☆125Updated 2 years ago
- OWL Engineering & Reasoning in Python☆45Updated last week
- A highly scalable RDF triple store with full-text and GeoSPARQL support☆109Updated this week
- OWL ontology graphing program☆32Updated 6 years ago
- SHACL/ShEx implementation☆85Updated 6 months ago
- logic programming with SPARQL☆47Updated 2 years ago
- Ontological Interpretations for Web Property Graphs