eyereasoner / eyeLinks
Euler Yet another proof Engine
β152Updated this week
Alternatives and similar repositories for eye
Users that are interested in eye are comparing it to the libraries listed below
Sorting:
- A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.β55Updated this week
- π§ Quads in Git - Distributed Version Control for RDF Knowledge Basesβ106Updated last year
- W3C's Notation 3 (N3) Community Groupβ49Updated last year
- SHACL/ShEx implementationβ83Updated 5 months ago
- OWL2 library for Prologβ112Updated 6 years ago
- Reactive Reasoningβ47Updated last year
- RDF-star specificationβ125Updated 2 years ago
- logic programming with SPARQLβ47Updated 2 years ago
- Standards-compliant triple store for RDF, OWL, and SPARQLβ63Updated 11 months ago
- Automatically exported from code.google.com/p/coloreβ71Updated 9 months ago
- β63Updated 4 years ago
- A Java-based OWL 2 EL reasonerβ103Updated last year
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DLβ37Updated 3 years ago
- π¦ Versioned RDF triple store (OffSet-enabled TRIple store for CHangesets)β46Updated 3 weeks ago
- SPARQL dev Community Groupβ124Updated 4 months ago
- The RMLMapper executes RML rules to generate high quality Linked Data from multiple originally (semi-)structured data sourcesβ179Updated 2 weeks ago
- Transform UML into a formal OWL ontology and SHACL shapesβ38Updated 2 weeks ago
- The RMLStreamer executes RML rules to generate high quality Linked Data from multiple originally (semi-)structured data sources in a streβ¦β52Updated last year
- 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β¦β154Updated last month
- Streaming generic JSON to RDF converterβ90Updated 2 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 last month
- A collection of tools and Java libraries to process RDF* data and SPARQL* queries.β72Updated 3 years ago
- OWL 2 Reasoner built on DataFrogβ90Updated this week
- A pretty sweet RML engine, for RDF.β109Updated this week
- RDF Linked Data in Markdownβ38Updated last year
- β57Updated 2 years ago
- Advanced support for working with RDF in Prolog.β18Updated last year
- Generic Linked Data browser and UX component framework. Apache license.β122Updated last month
- Ontology-driven Linked Data processor and server for SPARQL backends. Apache License.β63Updated 2 years ago
- Data Shapes WG repoβ117Updated last week