markburgess / SemanticSpaceTimeLinks
☆14Updated last year
Alternatives and similar repositories for SemanticSpaceTime
Users that are interested in SemanticSpaceTime are comparing it to the libraries listed below
Sorting:
- Convert RDF to Semantic MediaWiki facts in MediaWiki XML format, with a standalone commandline tool☆19Updated 3 months ago
- Integrated RDF Surfaces inspired by Pat Hayes, Patrick Hochstenbach and EYE.☆13Updated 8 months ago
- Beer EXpert System is a rule-based expert system which suggests a beer to drink according to taste and meal☆17Updated last year
- The Heterogeneous Tool Set☆58Updated 5 months ago
- This is the project planning repository for the CLARIAH-PLUS project. It groups all technical documents and discussions pertaining to CLA…☆10Updated 4 months ago
- Documentation, backgrounders and tutorial material related to information design, engineering, semantics, ontologies, and vocabularies☆13Updated 2 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- A web-based repository for distributed ontologies.☆32Updated 7 years ago
- A JavaScript-based interface for graph traversal☆18Updated 2 years ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆18Updated last month
- A simple but effective pure GNU Prolog client connecting with Redis, no libraries required.☆16Updated 8 years ago
- Maturity Model for the Enterprise Knowledge Graph☆13Updated last year
- Terminus DB Schemas - Formal descriptions and documentation of all the internal data structures used by Terminus DB☆10Updated 5 years ago
- Paper and poster to revive the original idea of hypertext based on transclusion☆14Updated 2 years ago
- Security research organization dedicated to finding low hanging, critical, vulnerabilities.☆16Updated 3 years ago
- RTEC is an Event Calculus implementation optimised for stream reasoning☆94Updated last month
- Tutorials for using TerminusDB☆58Updated 2 years ago
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- 💊 Qualitative and quantitative optimization in answer set programming☆20Updated last year
- Data Science Ontology☆38Updated 2 months ago
- Prolog binding for terminusdb-store☆21Updated 3 years ago
- TypeDB (Core and Cloud) RPC Communication Protocol☆17Updated last week
- Sharable Grakn knowledge graphs☆13Updated 2 years ago
- A stream processing language and compiler for small-scale monitoring☆14Updated 4 months ago
- AceWiki is a semantic wiki based on controlled natural language.☆71Updated 5 months ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆29Updated 2 weeks ago
- A simulation language☆21Updated 4 years ago
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆14Updated last week
- SWI-Prolog WebAssembly build as a NPM package☆51Updated last week
- SecEr: Erlang Code Evolution Control Tool☆12Updated 2 years ago