CLLKazan / OntoMathProLinks
This ontology is a Linked Data Hub for mathematics
☆58Updated last year
Alternatives and similar repositories for OntoMathPro
Users that are interested in OntoMathPro are comparing it to the libraries listed below
Sorting:
- Automatically exported from code.google.com/p/colore☆70Updated 6 months ago
- Euler Yet another proof Engine☆143Updated this week
- AceWiki is a semantic wiki based on controlled natural language.☆71Updated 5 months ago
- Menthor Editor☆30Updated 4 years ago
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆37Updated 3 years ago
- Pythonic representation of OWL through the OWL functional syntax☆54Updated last year
- A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.☆50Updated this week
- ONT-API (OWL-API over Apache Jena)☆46Updated last month
- 🖧 Quads in Git - Distributed Version Control for RDF Knowledge Bases☆104Updated last year
- OWL verbalizer: making machine-readable knowledge also human-readable☆39Updated last year
- Sigma Knowledge Engineering Environment☆110Updated this week
- Transform UML into a formal OWL ontology and SHACL shapes☆36Updated 2 months ago
- A Synchronized Visual and Text Editor for RDF Graphs☆18Updated 2 years ago
- The OntoUML lightweight editor (OLED) is an environment for the development, evaluation and implementation of domain ontologies using the…☆41Updated 2 years ago
- Online tool to automatically generate documentation and evaluation for Ontologies hosted on GitHub☆92Updated last month
- 🦉 A lightweight C/C++ library for working with Web Ontology Language (OWL) ontologies☆36Updated last week
- RMLEditor Community Edition☆10Updated 5 years ago
- Python bindings for upgraded FaCT++ description logic reasoner☆24Updated 9 months ago
- RDF Linked Data in Markdown☆38Updated last year
- Tools to update and export ontology RDF.☆36Updated 5 months ago
- A graphical editor for the specification and visualization of Graphol ontologies☆77Updated last week
- This is the development repository for the STATistics Ontology (STATO). For more information and demonstration on the ontology content, p…☆33Updated 4 months ago
- 🐦 Versioned RDF triple store (OffSet-enabled TRIple store for CHangesets)☆44Updated last year
- logic programming with SPARQL☆47Updated 2 years ago
- Generic Linked Data browser and UX component framework. Apache license.☆123Updated 2 months ago
- The eNanoMapper ontology☆19Updated last week
- OWL ontology graphing program☆31Updated 6 years ago
- Oxrdflib provides rdflib stores using pyoxigraph☆40Updated last month
- ☆56Updated last year
- Data Science Ontology☆38Updated last month