Project

General

Profile

Activity

From 04/18/2014 to 05/17/2014

05/17/2014

01:37 PM Feature #1: REPL
Possible names:
* cocolore (*Co* lored *Co* algebraic *Lo* gic *RE* PL)
* cooli (The Cool Interface)
Thorsten Wißmann
01:15 PM Feature #22 (New): Directly implement GML using linear unequalities
Thorsten Wißmann
01:14 PM Bug #19: GML formula takes long
Should be fixed as soon our own implementation of GML works. Thorsten Wißmann
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... Thorsten Wißmann

05/16/2014

09:17 PM Revision 233d5f2b (cool): Mention the testsuite in the INSTALL file
Thorsten Wißmann
09:13 PM Feature #15 (Closed): Create test suite
Testsuite created. Its the new @cool-testsuite@ command. Thorsten Wißmann
09:11 PM Revision 2483bba8 (cool): Add CL testcases
Thorsten Wißmann
09:04 PM Revision dcb82f00 (cool): Add statistics to testsuite output
Thorsten Wißmann
08:49 PM Revision ee45f2fd (cool): Add testcases for nominal
Thorsten Wißmann
08:43 PM Revision abc6c263 (cool): Add testcases for KD
Thorsten Wißmann
08:18 PM Revision ab2d3adc (cool): Add basic testcase checking
Thorsten Wißmann
07:22 PM Revision b33c1f3f (cool): Add basic testsuite skeleton
Thorsten Wißmann

05/15/2014

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'... Thorsten Wißmann
12:57 PM Bug #19 (New): GML formula takes long
The following GML formula takes much time:... Thorsten Wißmann
12:13 PM Bug #13 (Closed): Wrong CL result
Fixed by η-conversion via commit:6e618918d31464ad719c8cc00ec429d4e9fd719d. Thorsten Wißmann
12:10 PM Revision 202433a6 (cool): Beautify conversion cliques->coalitions
The code converting maximal cliques to coalitions of CL is now much more
readable.
Thorsten Wißmann
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
different semantics:
List.map (List.fold_lef...
Thorsten Wißmann
11:53 AM Revision 77a804ab (cool): Add some debug output (in comments)
Thorsten Wißmann
11:12 AM Revision 26e21f07 (cool): Add coalition list printing
Thorsten Wißmann

05/12/2014

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. Thorsten Wißmann
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 ... Thorsten Wißmann
01:33 PM Bug #13 (In Progress): Wrong CL result
Tatl claims the formula to be satisfiable. Running... Thorsten Wißmann
01:32 PM Bug #14 (Closed): Strange CL result
Thorsten Wißmann
01:32 PM Bug #14: Strange CL result
Tatl claims the solution to be satisfiable:... Thorsten Wißmann

05/09/2014

03:34 PM Bug #14 (Closed): Strange CL result
What would tatl do? Thorsten Wißmann
03:33 PM Bug #13 (Closed): Wrong CL result
The formula ([1,3] C) ∧ ([2,3] ¬C) should be satisfiable but coalg says:... Thorsten Wißmann

05/06/2014

11:04 AM Feature #5: Implement OWL query: consistency
Consistency checking already is translated. Nominals and cardinality restrictions are still missing. Thorsten Wißmann
08:30 AM Revision ca99d0c6 (cool): Improve OWL -> CoAlg conversion
Thorsten Wißmann
08:00 AM Revision c78c1ce0 (cool): Connect OWL ontologies with CoAlgReasoner
Thorsten Wißmann

05/05/2014

01:16 PM Revision dbcce612 (cool): Implement fuzzy formula conversion to K or GML
Thorsten Wißmann
12:02 PM Revision 0247525c (cool): Add comments for CoAlgFormula.formula constructors
Thorsten Wißmann
11:38 AM Revision 59b6a7fd (cool): Make if conditions in _oasis more conform
Thorsten Wißmann

05/04/2014

06:29 PM Revision d4d7ef59 (cool): Add some basic OWL->CoAlg conversions
Thorsten Wißmann
05:50 PM Revision 4611a507 (cool): Parse URIs within < >
Thorsten Wißmann
05:38 PM Revision c4abe601 (cool): Improve error messages and role parsing
Thorsten Wißmann
04:40 PM Revision 38a9d3cf (cool): Parse basic OWL Annotations
Thorsten Wißmann
02:53 PM Revision 54b29b1f (cool): Parse most of the owl class expressions
Thorsten Wißmann
12:13 PM Bug #12 (Closed): Parser error: any gml formula gives "index out of bounds"
Fixed by commit:b5352205. Thorsten Wißmann
12:06 PM Revision b5352205 (cool): Only use addBSNoChk for simple bitsets
Insert a formula into a bitset without checking for a contradiction. The
former addBS performed a contradiction-check...
Thorsten Wißmann

05/03/2014

04:06 PM Revision ed3a7d47 (cool): Explicitly name all internal moduls
Thorsten Wißmann
03:33 PM Revision edf5c0ed (cool): Compile entiere GMLMIP-0.1 into cool
Thorsten Wißmann
03:12 PM Revision 77125941 (cool): Move more cpp to c
Thorsten Wißmann
12:50 PM Revision 21e4bb67 (cool): Use -cc g++ everywhere in oasis file
Thorsten Wißmann

05/02/2014

10:43 AM Bug #12: Parser error: any gml formula gives "index out of bounds"
The according backtrace:... Thorsten Wißmann

05/01/2014

05:55 PM Bug #12 (Closed): Parser error: any gml formula gives "index out of bounds"
The old version from februrary 2014 gives:... Thorsten Wißmann
05:27 PM Revision 85f4551b (cool): Print time durations as float
Thorsten Wißmann
05:09 PM Revision cac42fce (cool): Add build flat for static linking
Thorsten Wißmann
04:46 PM Revision f82f09b7 (cool): Add coalgcompare frontend
Thorsten Wißmann

04/23/2014

10:08 PM Revision ff936590 (cool): Parse OWL prefixes
Thorsten Wißmann
09:00 PM Revision 6261fa28 (cool): Advanced tree parsing and ontology printing
Thorsten Wißmann
12:46 PM Feature #1: REPL
Add command line interface, similar to Perl's Term::Shell
http://search.cpan.org/~shlomif/Term-Shell-0.05/lib/Term/S...
Thorsten Wißmann
12:44 PM Revision 39cd3579 (cool): Remove old toplevel Makefile
Thorsten Wißmann
12:37 PM Revision 7f2800d0 (cool): Add OWL frontend
Thorsten Wißmann
11:33 AM Revision 7b8150bd (cool): Improve _oasis file
Thorsten Wißmann
11:24 AM Revision 2340c194 (cool): Update INSTALL to oasis build process
Thorsten Wißmann
11:22 AM Revision 52abec3a (cool): Add oasis temp files to .gitignore
Thorsten Wißmann
11:21 AM Revision 7c4d2eb4 (cool): Separate cool into library and coalg frontend
Thorsten Wißmann
10:20 AM Revision 0fe95cdc (cool): Minor _oasis file cleanups
Thorsten Wißmann
10:04 AM Revision c2f74310 (cool): Make coalg build with oasis
Thorsten Wißmann

04/22/2014

12:34 AM Revision b925131a (cool): Make c++ sources compile with oasis
Thorsten Wißmann
11:58 PM Revision aad01c19 (cool): Add first not-yet-working _oasis
Thorsten Wißmann
09:13 PM Feature #11 (New): Implement OWL query: unsat
Find unsatisfiable classes in the ontology Thorsten Wißmann
09:12 PM Feature #10 (New): Implement OWL query: realize
Compute and display the most specific instances for each class Thorsten Wißmann
09:12 PM Feature #9 (New): Implement OWL query: instance retrival
Thorsten Wißmann
09:11 PM Feature #8 (New): Implement OWL query: concept subsumption
Thorsten Wißmann
09:11 PM Feature #7 (New): Implement OWL query: explain
Explains one or more inferences in a given ontology including ontology inconsistency. Thorsten Wißmann
09:10 PM Feature #6 (New): Implement OWL query: entail
Implement entailment. Thorsten Wißmann
09:10 PM Feature #5 (New): Implement OWL query: consistency
Thorsten Wißmann
09:10 PM Feature #4 (New): Implement OWL query: classify
Implement classification. Thorsten Wißmann
09:08 PM Feature #3 (In Progress): Read OWL functional syntax
Read owl files by parsing the OWL's functional style syntax http://www.w3.org/TR/owl2-syntax/ Thorsten Wißmann
09:06 PM Feature #2 (In Progress): Full OWL support
Read any kind of OWL file and interpret as many owl notions as possible. Maybe directly via the java native interface... Thorsten Wißmann
09:04 PM Feature #1 (New): REPL
Implement a readline shell, s.t. various backends can offer a more interactive user interface. Thorsten Wißmann
 

Also available in: Atom