BFergerson / Arthur
Semantic language-agnostic source code schema
☆16Updated last year
Alternatives and similar repositories for Arthur:
Users that are interested in Arthur are comparing it to the libraries listed below
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆45Updated 2 years ago
- Sharable Grakn knowledge graphs☆13Updated 2 years ago
- A rule engine based on Attempto Controlled English☆18Updated 4 months ago
- Decision Model & Notation in Markdown table format☆22Updated last year
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…☆55Updated this week
- Advanced Scripting IDE for JVM based languages.☆28Updated 3 years ago
- An RDF TripleStore in Java☆46Updated 3 years ago
- Whole Platform Language Workbench☆27Updated 9 months ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆18Updated 2 months ago
- Port of SwiftyKanren to Kotlin☆17Updated 4 years ago
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆30Updated last month
- TypeDB (Core and Cloud) RPC Communication Protocol☆16Updated 2 months ago
- Java library based on the VLog rule engine☆32Updated 9 months ago
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆16Updated last year
- A JavaScript-based interface for graph traversal☆18Updated last year
- VLog is a high-performance Datalog engine. It is highly memory efficient and can process large programs with thousands of rules.☆17Updated 6 years ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated 9 months ago
- Block-style programming environment for tackling graph structure and graph algorithm, based on MIT Scratch.☆18Updated last month
- Machine Query Interface☆18Updated last month
- OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data☆29Updated 8 months ago
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆17Updated this week
- 🐦 Versioned RDF triple store (OffSet-enabled TRIple store for CHangesets)☆43Updated last year
- oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus☆18Updated 2 months ago
- A demo of analyzing a TLA+ state graph☆29Updated last year
- A collection of resources to dive into making OSLC applications☆16Updated 4 months ago
- The SNePS 2 Knowledge Representation and Reasoning System☆11Updated 6 years ago
- Polyglot Live Programming with GraalVM, the Language Server Protocol (LSP), and VS Code.☆37Updated 4 years ago
- Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;☆42Updated 2 years ago
- Convert RDF to Semantic MediaWiki facts in MediaWiki XML format, with a standalone commandline tool☆19Updated 5 years ago
- Type checking and logical inference for JetBrains MPS☆32Updated 3 months ago