⚲
Project
General
Profile
Sign in
Home
Projects
Help
Search
:
COOL
Overview
Activity
Issues
Wiki
Files
Repository
Issues
View all issues
Summary
Issues
Filters
Add filter
Status
Tracker
Priority
Author
Assignee
Target version
Category
Subject
Description
Estimated time
% Done
Assignee's role
Created
Updated
Closed
Start date
Due date
Related to
Duplicates
Duplicated by
Blocks
Blocked by
Precedes
Follows
Copied to
Copied from
Parent task
Subtasks
Options
Columns
Available Columns
Project
Parent task
Author
Category
Target version
Start date
Due date
Estimated time
Total estimated time
% Done
Created
Closed
Related issues
Selected Columns
Tracker
Status
Priority
Subject
Assignee
Updated
Group results by
Project
Tracker
Status
Priority
Author
Assignee
Category
Target version
% Done
Show
Description
Totals
Estimated time
Apply
Clear
#
Tracker
Status
Priority
Subject
Assignee
Updated
29
Feature
New
Normal
Implement PML via using gmlmip
07/20/2014 11:57 AM
28
Feature
New
Normal
Web-Interface
07/20/2014 11:56 AM
22
Feature
New
Normal
Directly implement GML using linear unequalities
Thorsten Wißmann
05/17/2014 01:16 PM
21
Feature
New
High
Allow Reasoner nodes to be Or-nodes
Thorsten Wißmann
05/17/2014 01:13 PM
19
Bug
New
Normal
GML formula takes long
Thorsten Wißmann
03/20/2017 02:26 PM
11
Feature
New
Normal
Implement OWL query: unsat
Thorsten Wißmann
04/22/2014 09:13 PM
10
Feature
New
Normal
Implement OWL query: realize
Thorsten Wißmann
04/22/2014 09:12 PM
9
Feature
New
Low
Implement OWL query: instance retrival
Thorsten Wißmann
04/22/2014 09:12 PM
8
Feature
New
Low
Implement OWL query: concept subsumption
Thorsten Wißmann
04/22/2014 09:11 PM
7
Feature
New
Low
Implement OWL query: explain
Thorsten Wißmann
04/22/2014 09:11 PM
6
Feature
New
Normal
Implement OWL query: entail
Thorsten Wißmann
04/22/2014 09:13 PM
5
Feature
New
Normal
Implement OWL query: consistency
Thorsten Wißmann
05/06/2014 11:04 AM
4
Feature
New
Normal
Implement OWL query: classify
Thorsten Wißmann
04/22/2014 09:10 PM
3
Feature
In Progress
High
Read OWL functional syntax
Thorsten Wißmann
04/22/2014 09:14 PM
2
Feature
In Progress
Normal
Full OWL support
Thorsten Wißmann
05/06/2014 11:04 AM
1
Feature
New
Low
REPL
Thorsten Wißmann
05/17/2014 01:37 PM
(1-16/16)
Also available in:
Atom
CSV
PDF
CSV export options
Selected Columns
All Columns
Description
Loading...