OpenMath / CDsLinks
The OpenMath Content Dictionaries
☆15Updated 3 years ago
Alternatives and similar repositories for CDs
Users that are interested in CDs are comparing it to the libraries listed below
Sorting:
- MathWebSearch Implementation☆48Updated 2 years ago
 - This ontology is a Linked Data Hub for mathematics☆64Updated last year
 - List of projects related to Ontology engineering and Semantic Web technologies that make a geek smile for they exist.☆18Updated 6 years ago
 - Automatically exported from code.google.com/p/colore☆73Updated 10 months ago
 - Backend map and tile generation and webserver for the Paperscape map☆44Updated 3 months ago
 - A comprehensive graph of mathematical domains and topics☆22Updated 3 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
 - Pandoc filter to use Wikidata as reference manager☆18Updated 4 years ago
 - A python library to deal with scientific papers.☆17Updated 9 years ago
 - Generates map in form of a graph from tags on StackExchange sites, e.g. StackOverflow.☆54Updated 11 years ago
 - Reasonable Python is a module which adds F-Logic to Python☆25Updated 14 years ago
 - The sample web app for the yFiles use case about an Ontology Visualizer.☆12Updated 7 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…☆159Updated 3 months ago
 - Sigma Knowledge Engineering Environment☆113Updated last week
 - Evolutionary Graph Pattern Learner that learns SPARQL queries for a given set of source-target-pairs from an endpoint.☆91Updated 2 years ago
 - Automatically exported from code.google.com/p/swoop☆35Updated 10 years ago
 - Euler Yet another proof Engine☆156Updated last week
 - Handy python wrapper around Potassco's Clingo ASP solver.☆34Updated 2 years ago
 - IEEE Taxonomy in RDF (with Python tool for converting it from txt to rdf)☆12Updated 7 months ago
 - A simple wrapper around the ORCID.org API.☆33Updated 6 years ago
 - The eNanoMapper ontology☆19Updated 3 months ago
 - A simple ontology and RDF visualization tool.☆139Updated 3 years ago
 - 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…☆70Updated 3 years ago
 - A Python Markdown extension that lets authors embed RDFa Lite in markdown documents rendered to HTML.☆41Updated 6 years ago
 - Code for analysing Wikidata SPARQL query logs☆12Updated 2 years ago
 - Browser client for the Paperscape map☆103Updated 3 months ago
 - 🖧 Quads in Git - Distributed Version Control for RDF Knowledge Bases☆108Updated last year
 - Python library and command-line interface for inspecting and visualizing RDF models aka ontologies.☆235Updated last year
 - IPython Magic Functions☆16Updated 8 years ago
 - Pythonic representation of OWL through the OWL functional syntax☆56Updated last month