General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Assignee Updated
21COOLFeatureNewHighAllow Reasoner nodes to be Or-nodesThorsten Wißmann05/17/2014 01:13 PM
3COOLFeatureIn ProgressHighRead OWL functional syntaxThorsten Wißmann04/22/2014 09:14 PM
19COOLBugNewNormalGML formula takes longThorsten Wißmann03/20/2017 02:26 PM
22COOLFeatureNewNormalDirectly implement GML using linear unequalitiesThorsten Wißmann05/17/2014 01:16 PM
2COOLFeatureIn ProgressNormalFull OWL supportThorsten Wißmann05/06/2014 11:04 AM
5COOLFeatureNewNormalImplement OWL query: consistencyThorsten Wißmann05/06/2014 11:04 AM
6COOLFeatureNewNormalImplement OWL query: entailThorsten Wißmann04/22/2014 09:13 PM
11COOLFeatureNewNormalImplement OWL query: unsatThorsten Wißmann04/22/2014 09:13 PM
10COOLFeatureNewNormalImplement OWL query: realizeThorsten Wißmann04/22/2014 09:12 PM
4COOLFeatureNewNormalImplement OWL query: classifyThorsten Wißmann04/22/2014 09:10 PM
1COOLFeatureNewLowREPLThorsten Wißmann05/17/2014 01:37 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
    (1-14/14)

    Also available in: Atom CSV PDF