Commits · fd5051080f8cc6c051ddabb5d97a7056abc63770 · supervision / schaertl_andreas

Jun 23, 2020
- experimental/ulo: create statistics on what predicates are actually used · fd505108
  Andreas Schärtl authored 4 years ago
  
  fd505108
- [x] read up on ULO/RDF features again · f77376fc
  Andreas Schärtl authored 4 years ago
  f77376fc
Jun 22, 2020
- doc/timeline: add week26 todos · 959878e2
  Andreas Schärtl authored 4 years ago
  
  959878e2
Jun 17, 2020
- experimental/ulo: explain problems with data properties · 79b7460c
  Andreas Schärtl authored 4 years ago
  
  79b7460c
- experimental/ulo: narrow down bugs in coq export · e00013bd
  Andreas Schärtl authored 4 years ago
  
  e00013bd
Jun 16, 2020
- report: explain components · 6a1c9512
  Andreas Schärtl authored 4 years ago
  
  6a1c9512
- report: start section on components · 0831211e
  Andreas Schärtl authored 4 years ago
  
  0831211e
- report: intro: introduce ULO/RDF · ed7c89a1
  Andreas Schärtl authored 4 years ago
  
  ed7c89a1
- report: add intro · 4203ed45
  Andreas Schärtl authored 4 years ago
  
  4203ed45
- report: use serif fonts for everything · e981bcc3
  Andreas Schärtl authored 4 years ago
  
  e981bcc3
- report: add abstract · e1ce3345
  Andreas Schärtl authored 4 years ago
  
  e1ce3345
- report: add some references · f1d1827f
  Andreas Schärtl authored 4 years ago
  
  f1d1827f
- note down bugs in the Coq export · df8717e9
  Andreas Schärtl authored 4 years ago
  
  df8717e9
Jun 15, 2020
- ulo-storage-endpoint: add some counting functionality · da4fbf21
  Andreas Schärtl authored 4 years ago
  
  da4fbf21
- ulo: investiage what predicates are used · 17d92769
  Andreas Schärtl authored 4 years ago
  17d92769
Jun 12, 2020
- [x] set up sparql endpoint · 44d792ea
  Andreas Schärtl authored 4 years ago
  
  44d792ea
- [x] set up work items in Gitlab · ac38e386
  Andreas Schärtl authored 4 years ago
  
  ac38e386
Jun 10, 2020
- report: write about apps · 2959874c
  Andreas Schärtl authored 4 years ago
  2959874c
- report: port markdown about endpoints to latex · 61d7b0e5
  Andreas Schärtl authored 4 years ago
  
  61d7b0e5
- doc: add report directory w/ latex template · 04f7d8cc
  Andreas Schärtl authored 4 years ago
  
  04f7d8cc
- doc: explain RDF4J endpoint · 9634c906
  Andreas Schärtl authored 4 years ago
  
  9634c906
- doc: explain SPARQL endpoint · e1622f27
  Andreas Schärtl authored 4 years ago
  
  e1622f27
- doc: add .gitignore · 994af339
  Andreas Schärtl authored 4 years ago
  
  994af339
Jun 09, 2020
- [x] upstream diff in mmt isabelle exporter · 624b6910
  Andreas Schärtl authored 4 years ago
  
  624b6910
- [x] think of nomenclature for projects · dead05ea
  Andreas Schärtl authored 4 years ago
  
  dead05ea
- rename src/ulo-rdf4j -> ulo-onotology-rdf4j-generator · 5146a694
  Andreas Schärtl authored 4 years ago
  
  5146a694
- rename src/uloapi -> src/ulo-storage-endpoint · d4baa2d7
  Andreas Schärtl authored 4 years ago
  
  d4baa2d7
- rename src/ulocollect -> ulo-storage-collect · 9e917730
  Andreas Schärtl authored 4 years ago
  
  9e917730
- timeline: don't bother w/ time tracking · e6ed2976
  Andreas Schärtl authored 4 years ago
  
  e6ed2976
Jun 08, 2020
- timeline: add week24.txt · a4b851b4
  Andreas Schärtl authored 4 years ago
  
  a4b851b4
May 29, 2020
- doc: add june.txt · b8059705
  Andreas Schärtl authored 4 years ago
  b8059705
May 28, 2020
- mv /experimental/ulapi -> /src · 30b916ad
  Andreas Schärtl authored 4 years ago
  
  30b916ad
May 26, 2020
- uloapi: use full ULO.java · e14f509b
  Andreas Schärtl authored 4 years ago
  e14f509b
- Add generate-ulo-rdf4j.sh · a79d856a
  Andreas Schärtl authored 4 years ago
  a79d856a
May 25, 2020
- experimental/graphdb: add .gitignore · 23a66aaa
  Andreas Schärtl authored 4 years ago
  
  23a66aaa
- uloapi: run example query · bc204790
  Andreas Schärtl authored 4 years ago
  bc204790
- doc/timeline: add week22.txt · 67c7af54
  Andreas Schärtl authored 4 years ago
  
  67c7af54
- uloapi: add /statistics HTML demo · 53ec1693
  Andreas Schärtl authored 4 years ago
  53ec1693
- uoapi: set up html rendering · dddbf2bf
  Andreas Schärtl authored 4 years ago
  dddbf2bf
May 24, 2020
- luapi: graphdb wrapper: annotate type parameter · 77259ea0
  Andreas Schärtl authored 4 years ago
  
  77259ea0