Project

General

Profile

Activity

From 04/05/2014 to 05/04/2014

05/04/2014

12:13 PM Bug #12 (Closed): Parser error: any gml formula gives "index out of bounds"
Fixed by commit:b5352205. 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

04/23/2014

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

04/22/2014

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