Issues

Filters

Add filter

Options

#	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

COOL