From bd636d2cff5e8e653a9955171f77c6d9b673ffc2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thorsten=20Wi=C3=9Fmann?= <uni@thorsten-wissmann.de>
Date: Mon, 31 Mar 2014 15:01:14 +0200
Subject: [PATCH] Add BUGS file

---
 BUGS | 34 ++++++++++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)
 create mode 100644 BUGS

diff --git a/BUGS b/BUGS
new file mode 100644
index 0000000..721511a
--- /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
-- 
GitLab