OpenMath / CDsLinks
The OpenMath Content Dictionaries
☆14Updated 3 years ago
Alternatives and similar repositories for CDs
Users that are interested in CDs are comparing it to the libraries listed below
Sorting:
- List of projects related to Ontology engineering and Semantic Web technologies that make a geek smile for they exist.☆18Updated 5 years ago
- MathWebSearch Implementation☆48Updated 2 years ago
- Automatically exported from code.google.com/p/colore☆71Updated 7 months ago
- The eNanoMapper ontology☆19Updated last week
- OWL verbalizer: making machine-readable knowledge also human-readable☆39Updated last year
- Python library and command-line interface for inspecting and visualizing RDF models aka ontologies.☆232Updated last year
- This is the development repository for the STATistics Ontology (STATO). For more information and demonstration on the ontology content, p…☆35Updated 5 months ago
- This ontology is a Linked Data Hub for mathematics☆61Updated last year
- Pythonic representation of OWL through the OWL functional syntax☆55Updated 2 years ago
- The sample web app for the yFiles use case about an Ontology Visualizer.☆12Updated 4 months ago
- The Semantic Web Application Platform: cwm etc☆35Updated last year
- Sigma Knowledge Engineering Environment☆112Updated this week
- Automatically exported from code.google.com/p/swoop☆33Updated 10 years ago
- visualization tools for Wikidata SPARQL queries☆28Updated 2 years ago
- A comprehensive graph of mathematical domains and topics☆22Updated 3 years ago
- Euler Yet another proof Engine☆151Updated this week
- Data Science Ontology☆38Updated 3 months ago
- AceWiki is a semantic wiki based on controlled natural language.☆72Updated 6 months ago
- BFO repository including source code and latest documents☆281Updated last year
- Reasonable Python is a module which adds F-Logic to Python☆25Updated 14 years 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
- Prepare consistent BibTeX files for your LaTeX documents☆11Updated 4 months ago
- Mathematical Genealogy Grapher — a tool to build graphs of mathematician advisor-advisee networks☆53Updated last year
- Main repository for sharing files and documents about OpenDreamKit☆91Updated 4 years ago
- The OntoUML/UFO Catalog is a collaborative, structured and open-source catalog of OntoUML and UFO ontology models.☆61Updated last month
- Wikidata property explorer☆17Updated last year
- logic programming with SPARQL☆47Updated 2 years ago
- Convert graphs generated by Graphviz to LaTeX friendly formats☆158Updated 3 weeks ago
- OWL API for python, built using rdflib☆13Updated 11 years ago
- MIRO – Minimal Information for Reporting of an Ontology☆12Updated 6 years ago