thahmann / macleod
Ontology development environment for Common Logic (CL)
☆23Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for macleod
- logic programming with SPARQL☆47Updated last year
- Automatically exported from code.google.com/p/colore☆69Updated 8 months ago
- A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.☆39Updated this week
- Ontological Interpretations for Web Property Graphs☆28Updated 3 years ago
- Form UI elements driven by SHACL Shapes☆48Updated 5 months ago
- tools for common-logic☆19Updated 11 years ago
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆36Updated 2 years ago
- Ontology-driven Linked Data processor and server for SPARQL backends. Apache License.☆58Updated last year
- 🖧 Quads in Git - Distributed Version Control for RDF Knowledge Bases☆102Updated 4 months ago
- Tools to update and export ontology RDF.☆34Updated last month
- Euler Yet another proof Engine☆126Updated this week
- Pythonic representation of OWL through the OWL functional syntax☆50Updated last year
- Virtual Knowledge Graph Creation from RDB with R2RML☆42Updated last year
- Tentris is a tensor-based RDF triple store with SPARQL support.☆55Updated 5 months ago
- ☆10Updated 2 years ago
- Reactive Reasoning☆38Updated 3 months ago
- Advanced support for working with RDF in Prolog.☆17Updated 2 months ago
- information artifact ontology☆78Updated 6 months ago
- ☆53Updated 3 years ago
- SHACL/ShEx implementation☆78Updated 2 months ago
- Generic Linked Data browser and UX component framework. Apache license.☆121Updated last week
- OWL verbalizer: making machine-readable knowledge also human-readable☆36Updated last year
- W3C's Notation 3 (N3) Community Group☆48Updated 6 months ago
- Bayes OWL Ontology Merging☆21Updated last month
- Simple RDF Editor with SHACL support☆28Updated this week
- Extension of LinkML runtime for converting instances of LinkML classes to OWL (classes or instances)☆11Updated 5 months ago
- OWL2 library for Prolog☆108Updated 5 years ago
- CoModIDE plugin for Protégé☆25Updated last month
- OWL ontology graphing program☆30Updated 5 years ago