General

Profile

Gantt

Filters

Zoom in Zoom out

months from Apply Clear

Feature #2: Full OWL support
Feature #4: Implement OWL query: classify
Feature #5: Implement OWL query: consistency
Feature #6: Implement OWL query: entail
Feature #7: Implement OWL query: explain
Feature #8: Implement OWL query: concept subsumption
Feature #9: Implement OWL query: instance retrival
Feature #10: Implement OWL query: realize
Feature #11: Implement OWL query: unsat
Feature #3: Read OWL functional syntax
Bug #19: GML formula takes long
Feature #22: Directly implement GML using linear unequalities
Feature #21: Allow Reasoner nodes to be Or-nodes
Feature #28: Web-Interface
Feature #29: Implement PML via using gmlmip
Bug #30: console mode not working
Feature #31: Native support of if ... then ... else
Feature #32: variables used in the program and their names
Feature #33: calling console from GUI
 
 
49
50
51
52
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
 
« Previous Next »

Also available in: PDF PNG