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
 
 
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
 
« Previous Next »

Also available in: PDF PNG