markburgess / SemanticSpaceTime
☆14Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for SemanticSpaceTime
- Convert RDF to Semantic MediaWiki facts in MediaWiki XML format, with a standalone commandline tool☆18Updated 5 years ago
- Terminus DB Schemas - Formal descriptions and documentation of all the internal data structures used by Terminus DB☆10Updated 4 years ago
- A JavaScript-based interface for graph traversal☆18Updated last year
- A web-based repository for distributed ontologies.☆32Updated 7 years ago
- MeTTa Optimal Reduction Kernel☆11Updated this week
- A demo of analyzing a TLA+ state graph☆29Updated last year
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆16Updated 4 months ago
- Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.☆21Updated 2 years ago
- Category theory in Coq, by Jason Gross☆12Updated 9 years ago
- Security research organization dedicated to finding low hanging, critical, vulnerabilities.☆14Updated 2 years ago
- A render engine and editor for html markup that is stored seperate from the content - out of band - as Ted Nelson would like.☆34Updated 2 years ago
- Integrated RDF Surfaces inspired by Pat Hayes, Patrick Hochstenbach and EYE.☆13Updated 3 months ago
- ClioPatria provides an RDF application platform☆52Updated 8 months ago
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆12Updated last month
- answering questions using LLMs, search (RAG) and other tools - example code☆11Updated 2 months ago
- Cleaning other people's dirty data.☆52Updated 3 years ago
- Part of the Timeless Stack -- Reproducible I/O. Snapshots of files, transport, content-addressing, wow.☆12Updated 2 years ago
- tools for common-logic☆19Updated 11 years ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 4 years ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆17Updated 10 months ago
- ☆9Updated 8 years ago
- Tail the Binlog of a database☆15Updated 2 years ago
- Maturity Model for the Enterprise Knowledge Graph☆13Updated 5 months ago
- A LevelDB-backed RDFLib Store for RDFLib=>6.0☆16Updated 5 months ago
- Generic Linked Data framework for SPARQL tripestore backends. Apache license.☆38Updated last month
- Integrating the CAP theorem into distributed language design.☆12Updated 5 years ago
- CG Note on JSON-LD*☆24Updated 2 weeks ago
- A collection of libraries in Scheme☆12Updated 3 years ago
- LMNL syntax processing library. Currently an XSLT 2.0 stylesheet pipeline.☆12Updated 2 years ago