Project

General

Profile

Activity

From 06/21/2014 to 07/20/2014

07/20/2014

04:54 PM Revision d193f4aa (cool): Remove debug output
Thorsten Wißmann
04:04 PM Revision 36bfdafd (cool): Implement parsing of composition of functors
Thorsten Wißmann
12:05 PM Revision ab7dc651 (cool): Disable glpk_stub.c until we do not need GMLMIP anymore
Thorsten Wißmann
11:57 AM Feature #29 (New): Implement PML via using gmlmip
Thorsten Wißmann
11:56 AM Feature #28 (New): Web-Interface
Implement some web-based interface for cool and place it on the chair's homepage Thorsten Wißmann
11:05 AM Revision 86b07be8 (cool): Add formula constructors for PML
Thorsten Wißmann
11:05 AM Revision 4bfb63a1 (cool): Remove unneeded variables
Thorsten Wißmann
11:04 AM Revision bc6db513 (cool): Fix equal_hcFormula_node for CL
Thorsten Wißmann

07/19/2014

06:38 PM Revision 81435cc4 (cool): Add syntax for PML
Thorsten Wißmann
06:36 PM Revision e5422169 (cool): Add syntax for PML
Thorsten Wißmann
05:27 PM Revision da0ea00b (cool): Add more comments to the reasoner core
Thorsten Wißmann

07/17/2014

03:11 PM cool-x86_64-2014-07-17.zip
Thorsten Wißmann
01:20 PM Revision 8bc4dc6e (cool): ruleandright
Dominik Paulus
12:43 PM Revision 0cd56fc0 (cool): Add proof-of-concept atomic ABox solver
Dominik Paulus
12:43 PM Revision 5a95c304 (cool): Instantiate hash-consing for concepts
Dominik Paulus
12:43 PM Revision 275a8023 (cool): Some more stuff
Dominik Paulus
12:43 PM Revision d3f0fb7b (cool): Sets instead of lists
Dominik Paulus
12:43 PM Revision 9460cf0f (cool): foobar
Dominik Paulus
12:43 PM Revision 5e4644fe (cool): PoC Fuzzy ALC stuff
Dominik Paulus
12:43 PM Revision c6b0b985 (cool): Parse inequalities instead of simple assertions
Dominik Paulus
12:43 PM Revision 77299856 (cool): replace/collapse stuff
Dominik Paulus
12:43 PM Revision a5ace238 (cool): Parse role names
Dominik Paulus
12:43 PM Revision 8edd41c1 (cool): Remove unused functions from interface
Dominik Paulus
12:00 PM Revision afec59bf (cool): Fix name of testsuite section K*KD
Thorsten Wißmann
11:46 AM Revision 02491e96 (cool): Add bash -e flag to makestatic.sh
Thorsten Wißmann
11:28 AM Revision fb2c1297 (cool): Implement OWL axioms DISJOINTUNION and DISJOINTCLASSES
Thorsten Wißmann
10:50 AM Revision 57192479 (cool): Update dependencies in INSTALL file
Thorsten Wißmann

07/16/2014

01:43 AM Revision d1c3e8ff (cool): Port glpk_stub.c to GLPK 4.54 and add it to _oasis
Some options and functions are still missing, e.g. MILP support Dominik Paulus
01:41 AM Revision 21b7f7bc (cool): run astyle on glpk_stub.c
Dominik Paulus
01:41 AM Revision df7f16dc (cool): Import ocaml-glpk from https://github.com/smimram/ocaml-glpk
Dominik Paulus
03:37 PM Revision 1c4f2133 (cool): Omit benchmarks in static tarball
Thorsten Wißmann
03:35 PM Revision a9243a88 (cool): Fixup coalg-example call
Thorsten Wißmann
03:35 PM Revision 9066f726 (cool): Add script for static tarball creation
Thorsten Wißmann
02:59 PM Revision b03cc745 (cool): Use generic functor parsing in coalg
Thorsten Wißmann
02:50 PM Revision db23edf7 (cool): Implement more generic functor parsing/printing
Thorsten Wißmann
02:28 PM Revision 68ba7342 (cool): Implement sortTable generation
Thorsten Wißmann
01:53 PM Revision 9a28ed81 (cool): Fix testcase for K*KD and add K+KD cases
Thorsten Wißmann
01:53 PM Revision 3879f710 (cool): Implement parsing of complex functors
Thorsten Wißmann
12:58 PM Revision 57224165 (cool): Reconfigure setup.ml on _oasis change
Thorsten Wißmann
12:08 PM Revision 672429b4 (cool): Make Or-step in And-Or-rules lazy
Thorsten Wißmann
12:08 PM Revision c41abd35 (cool): Add testcases for K×KD (i.e. for fusion)
Thorsten Wißmann
12:08 PM Revision 01bf25db (cool): Add many comments in CoAlgReasoner.ml
Thorsten Wißmann
12:08 PM Revision c68a1021 (cool): Add more comments to CoAlgReasoner.ml
Thorsten Wißmann
12:08 PM Revision b36e57bc (cool): Remove Disjunctive ruleEnumerations
Propagation of satisfiability and unsatisfiability does not cover
disjunctions and I don't get how propagation works,...
Thorsten Wißmann
12:08 PM Revision 69243f7f (cool): Generalize ruleEnumeration by introducing lazylist
Introduce a new generic data type lazylist, e.g. used for lazy rule
enumerations.
Thorsten Wißmann
12:08 PM Revision a9949a25 (cool): Use lazylists to remove redudancy
Thorsten Wißmann
12:08 PM Revision e8afbb67 (cool): Make insertRule more disjunctive-aware
Thorsten Wißmann
12:08 PM Revision 5043b258 (cool): Add more testcases for K
Thorsten Wißmann
12:08 PM Revision 269d93e5 (cool): Introduce junctions (Disjunction, Conjunction)
Thorsten Wißmann

07/15/2014

11:47 PM Revision acc47724 (cool): Make Or-step in And-Or-rules lazy
Thorsten Wißmann
11:30 PM Revision 6a87d644 (cool): Use lazylists to remove redudancy
Thorsten Wißmann
10:03 PM Revision a1e7b9b7 (cool): Generalize ruleEnumeration by introducing lazylist
Introduce a new generic data type lazylist, e.g. used for lazy rule
enumerations.
Thorsten Wißmann
09:41 PM Revision f5e17a6b (cool): Remove Disjunctive ruleEnumerations
Propagation of satisfiability and unsatisfiability does not cover
disjunctions and I don't get how propagation works,...
Thorsten Wißmann

07/14/2014

10:54 PM Revision a5642329 (cool): Add more comments to CoAlgReasoner.ml
Thorsten Wißmann
09:37 PM Revision 4eaab241 (cool): Add many comments in CoAlgReasoner.ml
Thorsten Wißmann

07/11/2014

07:06 PM Revision 76234774 (cool): Add more testcases for K
Thorsten Wißmann
03:01 AM Revision e5426cbb (cool): Make insertRule more disjunctive-aware
Thorsten Wißmann
03:01 AM Revision 5ebac877 (cool): Some partial progress, DONT MERGE TO MASTER
Thorsten Wißmann
03:01 AM Revision b856538d (cool): Make junctions compile
Thorsten Wißmann
03:01 AM Revision f71032c3 (cool): Add smallest DL98 testcases to testsuite
Thorsten Wißmann

07/10/2014

10:32 PM Revision 7fe1f7bb (cool): Add dummy Makefile
Thorsten Wißmann
 

Also available in: Atom