Project

General

Profile

Activity

From 03/25/2014 to 04/23/2014

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

04/11/2014

11:46 AM Revision 7737adc7 (cool): Implement OWL printing
Thorsten Wißmann
02:25 AM Revision bbc6bf4f (cool): Implement comment filtering
Thorsten Wißmann

04/10/2014

01:24 AM Revision 4626ef81 (cool): Add examples
Thorsten Wißmann
01:23 AM Revision 58c30aee (cool): Implement tree printing
Thorsten Wißmann
12:43 PM Revision 090c8b8a (cool): Add first parser version
Thorsten Wißmann

04/07/2014

01:41 PM Revision 831116ec (cool): Add basic and empty OWL ml-files
Thorsten Wißmann
01:41 PM Revision 61f29ad2 (cool): Add tokenizer
Thorsten Wißmann

03/31/2014

03:25 PM Revision e22d9d57 (cool): Add tarball creation
Thorsten Wißmann
03:12 PM Revision 6fb39da4 (cool): Add wrapper Makefile in root directory
Thorsten Wißmann
03:09 PM Revision 07c21167 (cool): Move sources of coalg to src subfolder
Thorsten Wißmann
03:01 PM Revision bd636d2c (cool): Add BUGS file
Thorsten Wißmann
 

Also available in: Atom