From f1d1827f3d4f777a7baf5d287bdb0d88e52c19fd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20Sch=C3=A4rtl?= <andreas@schaertl.me>
Date: Tue, 16 Jun 2020 11:23:12 +0200
Subject: [PATCH] report: add some references
---
doc/report/references.bib | 36 +++++++++++++++++++++++++++++++++++-
1 file changed, 35 insertions(+), 1 deletion(-)
diff --git a/doc/report/references.bib b/doc/report/references.bib
index 09a4433..dede40a 100644
--- a/doc/report/references.bib
+++ b/doc/report/references.bib
@@ -44,4 +44,38 @@
date = {2020},
urldate = {2020-06-10},
url = {http://graphdb.ontotext.com/documentation/free/using-graphdb-with-the-rdf4j-api.html},
-}
\ No newline at end of file
+}
+
+@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}
+}
+
+@online{tetra,
+ title={Towards a Heterogeneous Query Language for Mathematical Knowledge},
+ author={Bercic, Katja Kohlhase, Michael Rabe, Florian},
+ urldate = {2020-06-16},
+ url = {https://kwarc.info/people/mkohlhase/papers/cicm20-search.pdf},
+}
+
+@article{mmtbase,
+ 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}
+}
+
+@book{owl,
+ title={A semantic web primer},
+ author={Antoniou, Grigoris and Van Harmelen, Frank},
+ year={2004},
+ pages={113--152},
+ chapter={4},
+ publisher={MIT press}
+}
--
GitLab