Skip to content

GitLab

  • Menu
Projects Groups Snippets
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • L loki
  • Project information
    • Project information
    • Activity
    • Labels
    • Planning hierarchy
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 45
    • Issues 45
    • List
    • Boards
    • Service Desk
    • Milestones
  • Deployments
    • Deployments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • pro
  • loki
  • Issues

  • Open 14
  • Closed 3
  • All 17
New issue
  • Priority Created date Updated date Milestone due date Due date Popularity Label priority Manual Title
  • Reasoning unit tests results are not saved in PROV file
    #43 · created Dec 04, 2017 by Krzysztof Kutt   To Do ckexp enhancement
    • 0
    updated Dec 04, 2017
  • PROV: whatWasDone and whyWasDone -- ideas for usability improvements
    #40 · created Nov 23, 2017 by Krzysztof Kutt   To Do enhancement
    • 0
    updated Nov 23, 2017
  • Loki docs: merge loki-tutorial and userman into one page
    #38 · created Oct 22, 2017 by Krzysztof Kutt   To Do documentation enhancement
    • 0
    updated Nov 08, 2017
  • Export to RDF is obsolete in talk: namespace
    #34 · created Oct 16, 2017 by Krzysztof Kutt   To Do enhancement
    • 0
    updated Nov 08, 2017
  • PROV: add xsd types to literals
    #28 · created Aug 30, 2017 by Krzysztof Kutt   To Do ckexp enhancement
    • 0
    updated Nov 08, 2017
  • PROV: add semantic metrics
    #27 · created Aug 21, 2017 by Krzysztof Kutt   To Do ckexp enhancement
    • 0
    updated Nov 08, 2017
  • PROV: add testsPassed information
    #26 · created Aug 21, 2017 by Krzysztof Kutt   To Do ckexp enhancement
    • 0
    updated Nov 08, 2017
  • PROV: change whatWasDone and whyWasDone into an ontology
    #25 · created Aug 21, 2017 by Krzysztof Kutt   To Do ckexp enhancement
    • 0
    updated Nov 08, 2017
  • PROV: scale metrics to [1,5] range and add weightedAverage
    #24 · created Aug 20, 2017 by Krzysztof Kutt   To Do ckexp enhancement
    • 0
    updated Nov 08, 2017
  • Serious integration with HeaRT(Droid)
    #13 · created Jan 13, 2017 by Krzysztof Kutt   To Do discussion enhancement
    • 0
    updated Nov 26, 2017
  • cat all prolog files -> how to change it? SWI-Prolog RDF library?
    #12 · created Jan 13, 2017 by Krzysztof Kutt   To Do enhancement
    • 0
    updated Nov 08, 2017
  • ASK queries, partial tables --> add next/previous page links
    #7 · created Jan 13, 2017 by Krzysztof Kutt   To Do enhancement
    • 0
    updated Nov 08, 2017
  • Change unit tests into **automatic** unit tests
    #6 · created Jan 13, 2017 by Krzysztof Kutt   enhancement support
    • 0
    updated Aug 20, 2017
  • Standalone SWI-Prolog
    #3 · created Jan 13, 2017 by Krzysztof Kutt   To Do enhancement
    • 1
    updated Nov 08, 2017