Alternatives and similar repositories for OntoMathPro:

Users that are interested in OntoMathPro are comparing it to the libraries listed below

• eyereasoner / eye
  Euler Yet another proof Engine
  ☆137Updated this week
• gruninger / colore
  Automatically exported from code.google.com/p/colore
  ☆70Updated 3 months ago
• AceWiki / AceWiki
  AceWiki is a semantic wiki based on controlled natural language.
  ☆71Updated last month
• konclude / Konclude
  Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL
  ☆36Updated 2 years ago
• eyereasoner / eye-js
  A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.
  ☆46Updated this week
• knowsys / rulewerk
  Java library based on the VLog rule engine
  ☆32Updated 9 months ago
• cmungall / sparqlprog
  logic programming with SPARQL
  ☆47Updated 2 years ago
• rdfostrich / ostrich
  🐦 Versioned RDF triple store (OffSet-enabled TRIple store for CHangesets)
  ☆43Updated last year
• AKSW / QuitStore
  🖧 Quads in Git - Distributed Version Control for RDF Knowledge Bases
  ☆103Updated 8 months ago
• w3c / N3
  W3C's Notation 3 (N3) Community Group
  ☆47Updated 10 months ago
• ontologyportal / sigmakee
  Sigma Knowledge Engineering Environment
  ☆105Updated this week
• phillord / hermit-reasoner
  ☆58Updated 4 years ago
• owlcs / ont-api
  ONT-API (OWL-API over Apache Jena)
  ☆44Updated 2 months ago
• RDFLib / OWL-RL
  A simple implementation of the OWL2 RL Profile on top of RDFLib: it expands the graph with all possible triples that OWL RL defines. It c…
  ☆149Updated last week
• NinePts / OntoGraph
  OWL ontology graphing program
  ☆30Updated 6 years ago
• RDFLib / rdflib-hdt
  A Store back-end for rdflib to allow for reading and querying HDT documents
  ☆27Updated 3 months ago
• ozekik / markdown-ld
  RDF Linked Data in Markdown
  ☆31Updated 11 months ago
• w3c / rdf-star
  RDF-star specification
  ☆121Updated last year
• pbonte / roxi
  Reactive Reasoning
  ☆42Updated 7 months ago
• MadsHolten / sparql-visualizer
  Visualization of how room requirements can be modeled with BOT and OPM
  ☆43Updated 2 years ago
• gtfierro / reasonable
  OWL 2 Reasoner built on DataFrog
  ☆78Updated last week
• IBM / datascienceontology
  Data Science Ontology
  ☆37Updated 6 months ago
• ClioPatria / ClioPatria
  ClioPatria provides an RDF application platform
  ☆53Updated last year
• LOD-Laundromat / LOD-Laundromat
  Cleaning other people's dirty data.
  ☆53Updated 3 years ago
• weso / shaclex
  SHACL/ShEx implementation
  ☆79Updated 6 months ago
• sisinflab-swot / cowl
  🦉 A lightweight C/C++ library for working with Web Ontology Language (OWL) ontologies
  ☆36Updated last week
• ge-semtk / semtk
  Drag and drop SPARQL queries and data ingestion for virtuoso and soon other SPARQL endpoints
  ☆38Updated last week
• OP-TED / model2owl
  Transform UML into a formal OWL ontology and SHACL shapes
  ☆32Updated 3 weeks ago
• karmaresearch / vlog
  ☆56Updated last year
• AtomGraph / JSON2RDF
  Streaming generic JSON to RDF converter
  ☆85Updated last year