From 05/05/2014 to 06/03/2014
- 01:37 PM Feature #1: REPL
- Possible names:
* cocolore (*Co* lored *Co* algebraic *Lo* gic *RE* PL)
* cooli (The Cool Interface)
- 01:15 PM Feature #22 (New): Directly implement GML using linear unequalities
- 01:14 PM Bug #19: GML formula takes long
- Should be fixed as soon our own implementation of GML works.
- 01:13 PM Feature #21 (New): Allow Reasoner nodes to be Or-nodes
- If a logic generates rules for a set of formulas, then these are treaten conjunktively. I.e. The set of formulas is s...
- 09:17 PM Revision 233d5f2b (cool): Mention the testsuite in the INSTALL file
- 09:13 PM Feature #15 (Closed): Create test suite
- Testsuite created. Its the new @cool-testsuite@ command.
- 09:11 PM Revision 2483bba8 (cool): Add CL testcases
- 09:04 PM Revision dcb82f00 (cool): Add statistics to testsuite output
- 08:49 PM Revision ee45f2fd (cool): Add testcases for nominal
- 08:43 PM Revision abc6c263 (cool): Add testcases for KD
- 08:18 PM Revision ab2d3adc (cool): Add basic testcase checking
- 07:22 PM Revision b33c1f3f (cool): Add basic testsuite skeleton
- 05:53 PM Bug #19: GML formula takes long
- If you run the following input with glmmip, it takes very long (in the sense of: not terminating within minutes). It'...
- 12:57 PM Bug #19 (New): GML formula takes long
- The following GML formula takes much time:...
- 12:13 PM Bug #13 (Closed): Wrong CL result
- Fixed by η-conversion via commit:6e618918d31464ad719c8cc00ec429d4e9fd719d.
- 12:10 PM Revision 202433a6 (cool): Beautify conversion cliques->coalitions
- The code converting maximal cliques to coalitions of CL is now much more
- 12:10 PM Revision 6e618918 (cool): Do not throw all CL coalitions in one bset
- As ocaml is not purely functional, the following code snippets have
- 11:53 AM Revision 77a804ab (cool): Add some debug output (in comments)
- 11:12 AM Revision 26e21f07 (cool): Add coalition list printing
- 01:52 PM Feature #15 (Closed): Create test suite
- Create a test suite to check correctness and performance of the implementations of all the logics.
- 01:41 PM Bug #13: Wrong CL result
- The published version of cool from january also tells "unsatisfiable". So it's a bug being there since the beginning ...
- 01:33 PM Bug #13 (In Progress): Wrong CL result
- Tatl claims the formula to be satisfiable. Running...
- 01:32 PM Bug #14 (Closed): Strange CL result
- 01:32 PM Bug #14: Strange CL result
- Tatl claims the solution to be satisfiable:...
- 03:34 PM Bug #14 (Closed): Strange CL result
- What would tatl do?
- 03:33 PM Bug #13 (Closed): Wrong CL result
- The formula ([1,3] C) ∧ ([2,3] ¬C) should be satisfiable but coalg says:...
- 11:04 AM Feature #5: Implement OWL query: consistency
- Consistency checking already is translated. Nominals and cardinality restrictions are still missing.
- 08:30 AM Revision ca99d0c6 (cool): Improve OWL -> CoAlg conversion
- 08:00 AM Revision c78c1ce0 (cool): Connect OWL ontologies with CoAlgReasoner
Also available in: Atom