IBM / datascienceontologyLinks
Data Science Ontology
☆38Updated 3 months ago
Alternatives and similar repositories for datascienceontology
Users that are interested in datascienceontology are comparing it to the libraries listed below
Sorting:
- Semantic flow graphs for data science☆29Updated 2 years ago
- logic programming with SPARQL☆47Updated 2 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆31Updated last week
- Graph programming language☆100Updated this week
- ☆69Updated 3 months ago
- The main repository integrating the LaTeX beamer-based slides☆27Updated 3 months ago
- Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky☆11Updated 5 years ago
- Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at☆122Updated last week
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago
- The MMT Language and System☆75Updated last year
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆66Updated last year
- A web-based application for collaborating on simulation models in real-time using Firebase☆37Updated 9 months ago
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆81Updated 2 years ago
- Tool for building graph-based hierarchical knowledge representation systems☆82Updated 2 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- This is the development repository for the STATistics Ontology (STATO). For more information and demonstration on the ontology content, p…☆35Updated 5 months ago
- ☆15Updated 2 years ago
- ☆22Updated 9 months ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- Logic Programming in Python☆31Updated 3 years ago
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆31Updated 6 months ago
- Polynomial-time Meta-Interpretive Learning☆128Updated 5 months ago
- Sheaves library for graph abstractions based on NetworkX☆15Updated 6 years ago
- A graphical editor for graph-like structures☆100Updated last year
- Tutorials for using TerminusDB☆58Updated 2 years ago
- Simplicial Sets and the Discrete Exterior Calculus☆38Updated this week
- ☆13Updated 2 years ago
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆43Updated 2 months ago
- Euler Yet another proof Engine☆152Updated this week
- The Heterogeneous Tool Set☆58Updated 6 months ago