references.bib

@online{sparql,
    title = {SPARQL Query Language for RDF},
    organization = {W3C},
    date = {2009},
    urldate = {2020-06-10},
    url = {https://www.w3.org/TR/rdf-sparql-query/},
}

@online{gosparql,
    title = {package sparql},
    organization = {godoc.org},
    date = {2019},
    urldate = {2020-06-10},
    url = {https://godoc.org/github.com/knakk/sparql},
}

@online{uloisabelle,
    title = {Isabelle: Libraries of the Isabelle proof assistant in OMDoc/MMT representation},
    organization = {MathHub},
    date = {2019},
    urldate = {2020-06-10},
    url = {https://gl.mathhub.info/Isabelle}
}

@online{ulocoq,
    title = {XML Coq Exports},
    organization = {MathHub},
    date = {2019},
    urldate = {2020-06-16},
    url = {https://gl.mathhub.info/Coqxml}
}

@online{sparqlpagination,
    title = {Paginating SPARQL results},
    author = {Joshua Taylor},
    date = {2014},
    urldate = {2020-06-10},
    url = {https://stackoverflow.com/questions/27488403/paginating-sparql-results},
}

@online{rdf4j,
    title = {Eclipse rdf4j},
    organization = {The Eclipse Foundation},
    date = {2020},
    urldate = {2020-06-10},
    url = {https://rdf4j.org/},
}

@online{graphdbapi,
    title = {Using GraphDB with the RDF4J API},
    organization = {Ontotext},
    date = {2020},
    urldate = {2020-06-10},
    url = {http://graphdb.ontotext.com/documentation/free/using-graphdb-with-the-rdf4j-api.html},
}

@inproceedings{ulo,
    title={Relational data across mathematical libraries},
    author={Condoluci, Andrea and Kohlhase, Michael and M{\"u}ller, Dennis and Rabe, Florian and Coen, Claudio Sacerdoti and Wenzel, Makarius},
    booktitle={International Conference on Intelligent Computer Mathematics},
    pages={61--76},
    year={2019},
    organization={Springer}
}

@article{onebrain,
    title={Mathematical knowledge management: transcending the one-brain-barrier with theory graphs},
    author={Kohlhase, Michael},
    journal={European Mathematical Society (EMS) Newsletter},
    volume={92},
    pages={22--27},
    year={2014}
}

@online{tetra,
    title={Towards a Heterogeneous Query Language for Mathematical Knowledge},
    author={Bercic, Katja and Kohlhase, Michael and Rabe, Florian},
    urldate = {2020-06-16},
    url = {https://kwarc.info/people/mkohlhase/papers/cicm20-search.pdf},
}

@book{owl,
    title={A semantic web primer},
    author={Antoniou, Grigoris and Van Harmelen, Frank},
    year={2004},
    pages={113--152},
    chapter={4},
    publisher={MIT press}
}