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
  ☆139Updated this week
• 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
• AceWiki / AceWiki
  AceWiki is a semantic wiki based on controlled natural language.
  ☆71Updated 2 months ago
• eyereasoner / eye-js
  A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.
  ☆48Updated this week
• sisinflab-swot / cowl
  🦉 A lightweight C/C++ library for working with Web Ontology Language (OWL) ontologies
  ☆36Updated this week
• yWorks / ontology-visualizer
  The sample web app for the yFiles use case about an Ontology Visualizer.
  ☆12Updated 2 weeks ago
• Harold-Solbrig / funowl
  Pythonic representation of OWL through the OWL functional syntax
  ☆53Updated last year
• gruninger / colore
  Automatically exported from code.google.com/p/colore
  ☆71Updated 4 months ago
• cmungall / sparqlprog
  logic programming with SPARQL
  ☆47Updated 2 years ago
• NinePts / OntoGraph
  OWL ontology graphing program
  ☆31Updated 6 years ago
• dbpedia / archivo
  DBpedia Archivo - Augmented Ontology Archive powered by Databus
  ☆25Updated 7 months ago
• w3c / rdf-star
  RDF-star specification
  ☆122Updated last year
• pbonte / roxi
  Reactive Reasoning
  ☆43Updated 8 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…
  ☆152Updated last month
• costezki / awesome-semantic-tools
  List of projects related to Ontology engineering and Semantic Web technologies that make a geek smile for they exist.
  ☆16Updated 5 years ago
• tilde-lab / pyfactxx
  Python bindings for upgraded FaCT++ description logic reasoner
  ☆24Updated 7 months ago
• oeg-upm / Chowlk
  Tool to transform an ontology diagram into OWL code.
  ☆25Updated last week
• OnToology / OnToology
  Online tool to automatically generate documentation and evaluation for Ontologies hosted on GitHub
  ☆89Updated this week
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆25Updated last week
• joachimvh / SPARQLAlgebra.js
  SPARQL to SPARQL algebra converter
  ☆22Updated 2 months ago
• dbpedia / ontology-tracker
  Here we keep track of modification requests in the DBpedia Ontology
  ☆36Updated last month
• w3c / N3
  W3C's Notation 3 (N3) Community Group
  ☆47Updated 11 months ago
• dice-group / tentris
  Tentris is a tensor-based RDF triple store with SPARQL support.
  ☆57Updated 4 months ago
• karmaresearch / vlog
  ☆56Updated last year
• Wikidata / QueryAnalysis
  Code for analysing Wikidata SPARQL query logs
  ☆12Updated 2 years ago
• semanticarts / ontology-toolkit
  Tools to update and export ontology RDF.
  ☆36Updated 3 months ago
• RMLio / rmleditor-ce
  RMLEditor Community Edition
  ☆10Updated 4 years ago
• OP-TED / model2owl
  Transform UML into a formal OWL ontology and SHACL shapes
  ☆33Updated 3 weeks ago
• Kaljurand / owl-verbalizer
  OWL verbalizer: making machine-readable knowledge also human-readable
  ☆38Updated last year
• owlcs / jfact
  JFact repository
  ☆13Updated 3 years ago