IBM / datascienceontology

Related projects: ⓘ

• IBM / semanticflowgraph
  Semantic flow graphs for data science
  ☆28Updated 2 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• cmungall / sparqlprog
  logic programming with SPARQL
  ☆46Updated last year
• rzese / trill
  TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.
  ☆10Updated 2 weeks ago
• davidar / stochaskell
  ☆11Updated last year
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆25Updated last month
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 2 months ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated 9 months ago
• alviano / wasp
  ☆19Updated 9 months ago
• julianmendez / cel
  A lightweight Description Logic reasoner for large-scale biomedical ontologies
  ☆17Updated 9 months ago
• CLLKazan / OntoMathPro
  This ontology is a Linked Data Hub for mathematics
  ☆57Updated 7 months ago
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆30Updated 2 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆35Updated 8 years ago
• probonto / ontology
  ☆15Updated last year
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆20Updated 3 months ago
• joshsh / jig
  A JavaScript-based interface for graph traversal
  ☆18Updated last year
• jrbn / vlog
  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
• ontodev / rdftab.rs
  RDF Tables in Rust
  ☆16Updated 2 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 4 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 2 years ago
• idaks / PW-explorer
  ☆16Updated 3 years ago
• knowsys / rulewerk
  Java library based on the VLog rule engine
  ☆32Updated 3 months ago
• AlgebraicJulia / ModelExploration.jl
  Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.
  ☆11Updated 10 months ago
• CategoricalData / FQL
  Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky
  ☆10Updated 5 years ago
• opencog / generate
  Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)
  ☆29Updated last year
• ml4ai / automates
  AutoMATES: Automated Model Assembly from Text, Equations, and Software
  ☆25Updated last year
• ian-andrich / PythonPengines
  A Python interface to the Prolog pengines library. Makes it exceedingly easy to call out to SWI-Prolog within Python!
  ☆12Updated 4 years ago
• terminusdb / terminusdb-tutorials
  Tutorials for using TerminusDB
  ☆57Updated last year
• Kappa-Dev / ReGraph
  Tool for building graph-based hierarchical knowledge representation systems
  ☆73Updated last year
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆29Updated 4 years ago