IBM / datascienceontology

Related projects ⓘ

Alternatives and complementary repositories for datascienceontology

• IBM / semanticflowgraph
  Semantic flow graphs for data science
  ☆28Updated 2 years ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆24Updated 3 weeks ago
• AlgebraicJulia / ModelExploration.jl
  Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.
  ☆11Updated last year
• julianmendez / cel
  A lightweight Description Logic reasoner for large-scale biomedical ontologies
  ☆17Updated 11 months ago
• CategoricalData / FQL
  Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky
  ☆10Updated 5 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• ontodev / rdftab.rs
  RDF Tables in Rust
  ☆16Updated 2 years ago
• CategoricalData / hydra
  Transformations transformed
  ☆74Updated last week
• cmungall / sparqlprog
  logic programming with SPARQL
  ☆47Updated last year
• KNowledgeOnWebScale / retina
  Integrated RDF Surfaces inspired by Pat Hayes, Patrick Hochstenbach and EYE.
  ☆13Updated last week
• 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
• joshsh / jig
  A JavaScript-based interface for graph traversal
  ☆18Updated last year
• knowsys / rulewerk
  Java library based on the VLog rule engine
  ☆32Updated 5 months ago
• opencog / generate
  Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)
  ☆29Updated last year
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆15Updated 2 years ago
• Harold-Solbrig / funowl
  Pythonic representation of OWL through the OWL functional syntax
  ☆50Updated last year
• UofS-CEPHIL / modelcollab
  A web-based application for collaborating on simulation models in real-time using Firebase
  ☆32Updated 2 weeks ago
• CLLKazan / OntoMathPro
  This ontology is a Linked Data Hub for mathematics
  ☆57Updated 9 months ago
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆20Updated 5 months ago
• AKSW / QuitStore
  🖧 Quads in Git - Distributed Version Control for RDF Knowledge Bases
  ☆102Updated 4 months ago
• rdfio / rdf2smw
  Convert RDF to Semantic MediaWiki facts in MediaWiki XML format, with a standalone commandline tool
  ☆18Updated 5 years ago
• IDLabResearch / validatrr
  ☆14Updated 4 years ago
• tilde-lab / pyfactxx
  Python bindings for upgraded FaCT++ description logic reasoner
  ☆23Updated 2 months ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆57Updated 2 months ago
• INCATools / ubergraph
  Integrated OBO ontology store
  ☆43Updated 2 weeks ago
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆24Updated this week
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 4 months ago
• balhoff / arachne
  RDF rule engine
  ☆21Updated 3 months ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆26Updated last week
• ml4ai / automates
  AutoMATES: Automated Model Assembly from Text, Equations, and Software
  ☆24Updated last year