Skip to content
Snippets Groups Projects
Commit bd636d2c authored by Thorsten Wißmann's avatar Thorsten Wißmann
Browse files

Add BUGS file

parent 564f50ee
No related branches found
No related tags found
No related merge requests found
BUGS 0 → 100644
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
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment