Project

General

Profile

Activity

From 03/24/2014 to 04/22/2014

04/22/2014

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