eyereasoner / eye
Euler Yet another proof Engine
☆140Updated this week
Alternatives and similar repositories for eye:
Users that are interested in eye are comparing it to the libraries listed below
- A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.☆49Updated this week
- Reactive Reasoning☆43Updated 8 months ago
- RDF-star specification☆122Updated last year
- W3C's Notation 3 (N3) Community Group☆48Updated 11 months ago
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆37Updated 2 years ago
- logic programming with SPARQL☆47Updated 2 years ago
- ☆59Updated 4 years ago
- Example N3 scripts to demonstrate the various built-in functions☆13Updated 4 months ago
- SHACL/ShEx implementation☆80Updated 3 weeks ago
- 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…☆152Updated last month
- Standards-compliant triple store for RDF, OWL, and SPARQL☆61Updated 7 months ago
- 🦉 A lightweight C/C++ library for working with Web Ontology Language (OWL) ontologies☆36Updated last week
- SPARQL dev Community Group☆124Updated this week
- The RMLStreamer executes RML rules to generate high quality Linked Data from multiple originally (semi-)structured data sources in a stre…☆50Updated last year
- Tools to update and export ontology RDF.☆36Updated 4 months ago
- Data Shapes WG repo☆110Updated this week
- Transform UML into a formal OWL ontology and SHACL shapes☆33Updated last week
- Form UI elements driven by SHACL Shapes☆52Updated 3 months ago
- Automatically exported from code.google.com/p/colore☆70Updated 4 months ago
- 🖧 Quads in Git - Distributed Version Control for RDF Knowledge Bases☆104Updated 10 months ago
- A system to propagate changes between RDF Datasets☆78Updated last week
- The RMLMapper executes RML rules to generate high quality Linked Data from multiple originally (semi-)structured data sources☆167Updated last week
- SHACL API in Java based on Apache Jena☆226Updated 3 months ago
- A Java-based OWL 2 EL reasoner☆99Updated 9 months ago
- The SWI-Prolog RDF store☆32Updated last week
- Tentris is a tensor-based RDF triple store with SPARQL support.☆57Updated 5 months ago
- A collection of tools and Java libraries to process RDF* data and SPARQL* queries.☆71Updated 3 years ago
- A RDF-based vocabulary to express OWL ontologies into Mermaid diagram language☆20Updated 6 months ago
- Python bindings for upgraded FaCT++ description logic reasoner☆24Updated 8 months ago
- A repository for BFO 2020 artifacts specified in ISO 21838-2:2020☆97Updated 4 months ago