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{graphdb,
    title = {GraphDB 9.3 documentation},
    organization = {Ontotext},
    date = {2020},
    urldate = {2020-06-16},
    url = {http://graphdb.ontotext.com/documentation/free/}
}

@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: Extended Report},
    author={Bercic, Katja and Kohlhase, Michael and Rabe, Florian},
    urldate = {2020-06-24},
    url = {https://kwarc.info/people/mkohlhase/papers/tetrasearch.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}
}

@article{groebner,
    title={Gr{\"o}bner bases algorithm},
    author={Ajwa, Iyad A and Liu, Zhuojun and Wang, Paul S},
    journal={Technical Reports of the Institute for Computational Mathematics, ICM-199502-00 (versi{\'o} del 2003) Kent State University},
    year={1995}
}

@techreport{dcreport,
    title={The Dublin core metadata element set},
    author={Kunze, John and Baker, Thomas},
    year={2007},
    institution={RFC 5013, August}
}

@online{dcowl,
    title={DCMI Metadata expressed in RDF Schema Language},
    organization = {Dublin Core Metadata Initiative},
    urldate = {2020-06-30},
    url = {https://www.dublincore.org/schemas/rdfs/},
}
@online{afp,
    title={Archive of Formal Proofs},
    urldate = {2020-07-01},
    url = {https://www.isa-afp.org/},
}