General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Assignee Updated
29COOLFeatureNewNormalImplement PML via using gmlmip07/20/2014 11:57 AM
28COOLFeatureNewNormalWeb-Interface07/20/2014 11:56 AM
22COOLFeatureNewNormalDirectly implement GML using linear unequalitiesThorsten Wißmann05/17/2014 01:16 PM
21COOLFeatureNewHighAllow Reasoner nodes to be Or-nodesThorsten Wißmann05/17/2014 01:13 PM
19COOLBugNewNormalGML formula takes longThorsten Wißmann03/20/2017 02:26 PM
15COOLFeatureClosedHighCreate test suite 05/16/2014 09:13 PM
14COOLBugClosedNormalStrange CL result05/12/2014 01:32 PM
13COOLBugClosedNormalWrong CL resultThorsten Wißmann05/15/2014 12:13 PM
12COOLBugClosedImmediateParser error: any gml formula gives "index out of bounds"05/04/2014 12:13 PM
11COOLFeatureNewNormalImplement OWL query: unsatThorsten Wißmann04/22/2014 09:13 PM
10COOLFeatureNewNormalImplement OWL query: realizeThorsten Wißmann04/22/2014 09:12 PM
9COOLFeatureNewLowImplement OWL query: instance retrivalThorsten Wißmann04/22/2014 09:12 PM
8COOLFeatureNewLowImplement OWL query: concept subsumptionThorsten Wißmann04/22/2014 09:11 PM
7COOLFeatureNewLowImplement OWL query: explainThorsten Wißmann04/22/2014 09:11 PM
6COOLFeatureNewNormalImplement OWL query: entailThorsten Wißmann04/22/2014 09:13 PM
5COOLFeatureNewNormalImplement OWL query: consistencyThorsten Wißmann05/06/2014 11:04 AM
4COOLFeatureNewNormalImplement OWL query: classifyThorsten Wißmann04/22/2014 09:10 PM
3COOLFeatureIn ProgressHighRead OWL functional syntaxThorsten Wißmann04/22/2014 09:14 PM
2COOLFeatureIn ProgressNormalFull OWL supportThorsten Wißmann05/06/2014 11:04 AM
1COOLFeatureNewLowREPLThorsten Wißmann05/17/2014 01:37 PM
    (1-20/20)

    Also available in: Atom CSV PDF