IBM / datascienceontology
Data Science Ontology
☆36Updated 5 months ago
Alternatives and similar repositories for datascienceontology:
Users that are interested in datascienceontology are comparing it to the libraries listed below
- Semantic flow graphs for data science☆28Updated 2 years ago
- logic programming with SPARQL☆47Updated 2 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆13Updated 5 months ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated last year
- Tutorials for using TerminusDB☆58Updated last year
- ☆13Updated 2 years ago
- Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky☆10Updated 5 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆27Updated last month
- A web-based application for collaborating on simulation models in real-time using Firebase☆35Updated 4 months ago
- RDF Tables in Rust☆17Updated 2 years ago
- 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
- ☆14Updated 4 years ago
- Integrated RDF Surfaces inspired by Pat Hayes, Patrick Hochstenbach and EYE.☆13Updated 4 months ago
- A Python interface to the Prolog pengines library. Makes it exceedingly easy to call out to SWI-Prolog within Python!☆12Updated 4 years ago
- 🐦 Versioned RDF triple store (OffSet-enabled TRIple store for CHangesets)☆43Updated last year
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆35Updated this week
- Transformations transformed☆79Updated this week
- Java library based on the VLog rule engine☆32Updated 9 months ago
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆30Updated last month
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆18Updated 2 months ago
- Generating graph structures from OWL ontologies☆12Updated 7 years ago
- ☆15Updated last year
- A system for computational category theory and applications☆38Updated 8 years ago
- A JavaScript-based interface for graph traversal☆18Updated last year
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆25Updated 9 months ago
- RDF rule engine☆21Updated 7 months ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- AllegroGraph Python client☆41Updated 3 weeks ago