diff --git a/BUGS b/BUGS new file mode 100644 index 0000000000000000000000000000000000000000..721511a5ed6450514e567b925d52776cf65d8ba3 --- /dev/null +++ b/BUGS @@ -0,0 +1,34 @@ +BUGS +==== +List of bugs and planed features. + +Problems +-------- +No bugs known yet. + +Features +-------- + +OWL Ontologies +~~~~~~~~~~~~~~ +Read OWL Ontologies. Implementing support for ABoxes + +REPL +~~~~ +Add command line interface, similar to Perl's Term::Shell +http://search.cpan.org/~shlomif/Term-Shell-0.05/lib/Term/Shell.pod + +Common OWL queries +~~~~~~~~~~~~~~~~~~ + - classify -- Classify the ontology and display the hierarchy + - consistency + - entail + - explain -- Explains one or more inferences in a given ontology including + ontology inconsistency + - concept subsumption + - instance retrival + - realize -- Compute and display the most specific instances for each class + - unsat -- find unsatisfiable classes in the ontology + + +// vim: tw=80 ft=asciidoc