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
  ☆130Updated this week
• AKSW / QuitStore
  🖧 Quads in Git - Distributed Version Control for RDF Knowledge Bases
  ☆102Updated 6 months ago
• tilde-lab / pyfactxx
  Python bindings for upgraded FaCT++ description logic reasoner
  ☆23Updated 4 months ago
• 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
• gtfierro / reasonable
  OWL 2 Reasoner built on DataFrog
  ☆78Updated 4 months ago
• eyereasoner / eye-js
  A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.
  ☆41Updated this week
• OP-TED / model2owl
  Transform UML into a formal OWL ontology and SHACL shapes
  ☆32Updated this week
• IDLabResearch / validatrr
  ☆14Updated 4 years ago
• w3c / rdf-star
  RDF-star specification
  ☆120Updated last year
• phillord / hermit-reasoner
  ☆57Updated 3 years ago
• AceWiki / AceWiki
  AceWiki is a semantic wiki based on controlled natural language.
  ☆70Updated last month
• NinePts / OntoGraph
  OWL ontology graphing program
  ☆30Updated 6 years ago
• cmungall / sparqlprog
  logic programming with SPARQL
  ☆47Updated 2 years ago
• raytheonbbn / parliament
  Standards-compliant triple store for RDF, OWL, and SPARQL
  ☆59Updated 4 months ago
• gruninger / colore
  Automatically exported from code.google.com/p/colore
  ☆70Updated last month
• elsevierlabs-os / linked-data
  Linked Data Extension for VSCode
  ☆34Updated last month
• w3c / N3
  W3C's Notation 3 (N3) Community Group
  ☆48Updated 8 months ago
• Harold-Solbrig / funowl
  Pythonic representation of OWL through the OWL functional syntax
  ☆50Updated last year
• pbonte / roxi
  Reactive Reasoning
  ☆38Updated 5 months ago
• inovexcorp / mobi
  Mobi is a decentralized, federated, and distributed graph data platform for teams and communities to publish and discover data, data mode…
  ☆46Updated 2 months ago
• AtomGraph / Processor
  Ontology-driven Linked Data processor and server for SPARQL backends. Apache License.
  ☆58Updated last year
• 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…
  ☆146Updated 2 months ago
• weso / shaclex
  SHACL/ShEx implementation
  ☆79Updated 4 months ago
• AtomGraph / Web-Client
  Generic Linked Data browser and UX component framework. Apache license.
  ☆123Updated last week
• OntoUML / ontouml-models
  The OntoUML/UFO Catalog is a collaborative, structured and open-source catalog of OntoUML and UFO ontology models.
  ☆48Updated last week
• AKSW / shaclgen
  python program to generate template shacl graphs
  ☆23Updated 3 months ago
• oxigraph / oxrdflib
  Oxrdflib provides rdflib stores using pyoxigraph
  ☆35Updated this week
• RMLio / rmleditor-ce
  RMLEditor Community Edition
  ☆8Updated 4 years ago
• enanomapper / ontologies
  The eNanoMapper ontology
  ☆18Updated 2 weeks ago