Project

General

Profile

Issues

Filters

Apply Clear

# Tracker Status Priority Subject Assignee Updated
3FeatureIn ProgressHighRead OWL functional syntaxThorsten Wißmann04/22/2014 09:14 PM
21FeatureNewHighAllow Reasoner nodes to be Or-nodesThorsten Wißmann05/17/2014 01:13 PM
2FeatureIn ProgressNormalFull OWL supportThorsten Wißmann05/06/2014 11:04 AM
4FeatureNewNormalImplement OWL query: classifyThorsten Wißmann04/22/2014 09:10 PM
5FeatureNewNormalImplement OWL query: consistencyThorsten Wißmann05/06/2014 11:04 AM
6FeatureNewNormalImplement OWL query: entailThorsten Wißmann04/22/2014 09:13 PM
10FeatureNewNormalImplement OWL query: realizeThorsten Wißmann04/22/2014 09:12 PM
11FeatureNewNormalImplement OWL query: unsatThorsten Wißmann04/22/2014 09:13 PM
19BugNewNormalGML formula takes longThorsten Wißmann03/20/2017 02:26 PM
22FeatureNewNormalDirectly implement GML using linear unequalitiesThorsten Wißmann05/17/2014 01:16 PM
28FeatureNewNormalWeb-Interface07/20/2014 11:56 AM
29FeatureNewNormalImplement PML via using gmlmip07/20/2014 11:57 AM
1FeatureNewLowREPLThorsten Wißmann05/17/2014 01:37 PM
7FeatureNewLowImplement OWL query: explainThorsten Wißmann04/22/2014 09:11 PM
8FeatureNewLowImplement OWL query: concept subsumptionThorsten Wißmann04/22/2014 09:11 PM
9FeatureNewLowImplement OWL query: instance retrivalThorsten Wißmann04/22/2014 09:12 PM
    (1-16/16)

    Also available in: Atom CSV PDF