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
- A comprehensive graph of mathematical domains and topics☆22Updated 3 years ago
- OWL verbalizer: making machine-readable knowledge also human-readable☆39Updated last year
- Automatically exported from code.google.com/p/colore☆71Updated 8 months ago
- Backend map and tile generation and webserver for the Paperscape map☆45Updated last month
- This ontology is a Linked Data Hub for mathematics☆61Updated last year
- Euler Yet another proof Engine☆152Updated this week
- A python library to deal with scientific papers.☆17Updated 9 years ago
- Python library and command-line interface for inspecting and visualizing RDF models aka ontologies.☆234Updated last year
- Pythonic representation of OWL through the OWL functional syntax☆55Updated 2 years ago
- AceWiki is a semantic wiki based on controlled natural language.☆72Updated 7 months ago
- Browser client for the Paperscape map☆104Updated last month
- RDFa 1.1 distiller/parser library: can extract RDFa 1.1 (and RDFa 1.0, if properly set via a @version attribute) from (X)HTML, SVG, or XM…☆68Updated 3 years ago
- Code for analysing Wikidata SPARQL query logs☆12Updated 2 years ago
- Formal Concept Analysis with Python☆116Updated 2 months ago
- Pandoc filter to use Wikidata as reference manager☆17Updated 4 years ago
- BFO repository including source code and latest documents☆284Updated last year
- Automatically exported from code.google.com/p/swoop☆34Updated 10 years ago
- visualization tools for Wikidata SPARQL queries☆29Updated 2 years ago
- CiteSeerX public repository☆133Updated last year
- Generates map in form of a graph from tags on StackExchange sites, e.g. StackOverflow.☆54Updated 10 years ago
- logic programming with SPARQL☆47Updated 2 years 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 last month
- This is the development repository for the STATistics Ontology (STATO). For more information and demonstration on the ontology content, p…☆36Updated 6 months ago
- Sigma Knowledge Engineering Environment☆113Updated last week
- 🖧 Quads in Git - Distributed Version Control for RDF Knowledge Bases☆106Updated last year
- Repository for the allofplos project.☆65Updated 3 months ago
- Prepare consistent BibTeX files for your LaTeX documents☆12Updated 4 months ago
- The eNanoMapper ontology☆19Updated last month