OpenMath / CDs
The OpenMath Content Dictionaries
☆12Updated 2 years ago
Alternatives and similar repositories for CDs:
Users that are interested in CDs are comparing it to the libraries listed below
- List of projects related to Ontology engineering and Semantic Web technologies that make a geek smile for they exist.☆14Updated 5 years ago
- RightField is an open-source tool for adding ontology term selection to Excel spreadsheets. RightField is used by a 'Template Creator' to…☆31Updated last year
- 🔍️ Extract provenance information (W3C PROV) from GitLab projects.☆16Updated last year
- This ontology is a Linked Data Hub for mathematics☆57Updated last year
- The eNanoMapper ontology☆18Updated 3 weeks ago
- This is the development repository for the STATistics Ontology (STATO). For more information and demonstration on the ontology content, p…☆33Updated this week
- Automatically exported from code.google.com/p/colore☆70Updated 2 months ago
- MathWebSearch Implementation☆47Updated 2 years ago
- information artifact ontology☆82Updated 9 months ago
- AceWiki is a semantic wiki based on controlled natural language.☆70Updated 3 weeks ago
- Pythonic representation of OWL through the OWL functional syntax☆51Updated last year
- Free-form web data notebook - "Data management for little guys"☆26Updated 2 years ago
- The sample web app for the yFiles use case about an Ontology Visualizer.☆11Updated 3 years ago
- Python bindings for upgraded FaCT++ description logic reasoner☆23Updated 5 months ago
- Euler Yet another proof Engine☆134Updated this week
- YAMZ - a crowdsourced metadata dictionary☆13Updated 2 years ago
- PyRDM is a Python-based library for research data management (RDM). It facilitates the automated publication of scientific software and a…☆32Updated 3 years ago
- OWL verbalizer: making machine-readable knowledge also human-readable☆37Updated last year
- Research Articles in Simplified HTML (RASH) Framework includes a markup language defined as a subset of HTML+RDF for writing scientific a…☆83Updated 6 years ago
- MIRO – Minimal Information for Reporting of an Ontology☆12Updated 6 years ago
- logic programming with SPARQL☆47Updated 2 years ago
- Extension of LinkML runtime for converting instances of LinkML classes to OWL (classes or instances)☆11Updated 8 months ago
- NLP toolkit for those nonsensical ontologies☆16Updated this week
- 🖧 Quads in Git - Distributed Version Control for RDF Knowledge Bases☆102Updated 7 months ago
- BibServer is open-source software what makes it easy to publish, manage and find bibliographies. BibServer is RESTful and web-friendly.☆126Updated 6 years ago
- OpenCitations provides in RDF accurate citation information harvested from the scholarly literature.☆68Updated 7 years ago
- Sigma Knowledge Engineering Environment☆104Updated this week
- Convert RDF Turtle to N-Triples or N3P☆14Updated 6 years ago
- A library for Web Ontology Language in Python created using a bridge from horned-owl to python using PyO3.☆14Updated this week
- Online tool to automatically generate documentation and evaluation for Ontologies hosted on GitHub☆88Updated 10 months ago