BUGS

// -*- mode: adoc; fill-column: 80; -*-
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