CLLKazan / OntoMathProLinks
This ontology is a Linked Data Hub for mathematics
☆57Updated last year
Alternatives and similar repositories for OntoMathPro
Users that are interested in OntoMathPro are comparing it to the libraries listed below
Sorting:
- A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.☆50Updated this week
- Euler Yet another proof Engine☆142Updated this week
- Automatically exported from code.google.com/p/colore☆70Updated 5 months ago
- Python bindings for upgraded FaCT++ description logic reasoner☆24Updated 9 months ago
- OWL 2 Reasoner built on DataFrog☆81Updated last month
- AceWiki is a semantic wiki based on controlled natural language.☆71Updated 4 months ago
- Tools to update and export ontology RDF.☆36Updated 5 months ago
- 🖧 Quads in Git - Distributed Version Control for RDF Knowledge Bases☆104Updated 11 months 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
- W3C's Notation 3 (N3) Community Group☆49Updated last year
- OWL verbalizer: making machine-readable knowledge also human-readable☆39Updated last year
- Sigma Knowledge Engineering Environment☆110Updated last week
- 🦉 A lightweight C/C++ library for working with Web Ontology Language (OWL) ontologies☆36Updated last month
- Pythonic representation of OWL through the OWL functional syntax☆54Updated last year
- Online tool to automatically generate documentation and evaluation for Ontologies hosted on GitHub☆91Updated 2 weeks ago
- ☆56Updated last year
- Reactive Reasoning☆44Updated 9 months ago
- RDF-star specification☆124Updated last year
- Menthor Editor☆30Updated 4 years ago
- Tentris is a tensor-based RDF triple store with SPARQL support.☆57Updated 6 months ago
- Generic Linked Data browser and UX component framework. Apache license.☆123Updated last month
- Transform UML into a formal OWL ontology and SHACL shapes☆36Updated last month
- The OntoUML/UFO Catalog is a collaborative, structured and open-source catalog of OntoUML and UFO ontology models.☆56Updated last week
- logic programming with SPARQL☆47Updated 2 years ago
- RDF Linked Data in Markdown☆35Updated last year
- Data Science Ontology☆38Updated 3 weeks ago
- ☆58Updated 4 years ago
- JFact repository☆14Updated 3 years ago
- The Heterogeneous Tool Set☆58Updated 4 months ago
- 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…☆153Updated 2 months ago