Project

General

Profile

Statistics
| Branch: | Revision:

cool / BUGS @ master

History | View | Annotate | Download (804 Bytes)

1 2bda8737 Hans-Peter Deifel
// -*- mode: adoc; fill-column: 80; -*-
2 bd636d2c Thorsten WiƟmann
BUGS
3
====
4
List of bugs and planed features.
5
6
Problems
7
--------
8
No bugs known yet.
9
10
Features
11
--------
12
13
OWL Ontologies
14
~~~~~~~~~~~~~~
15
Read OWL Ontologies. Implementing support for ABoxes
16
17
REPL
18
~~~~
19
Add command line interface, similar to Perl's Term::Shell
20
http://search.cpan.org/~shlomif/Term-Shell-0.05/lib/Term/Shell.pod
21
22
Common OWL queries
23
~~~~~~~~~~~~~~~~~~
24
  - classify -- Classify the ontology and display the hierarchy
25
  - consistency
26
  - entail
27
  - explain --  Explains one or more inferences in a given ontology including
28
    ontology inconsistency
29
  - concept subsumption
30
  - instance retrival
31
  - realize -- Compute and display the most specific instances for each class
32
  - unsat -- find unsatisfiable classes in the ontology
33
34
35
// vim: tw=80 ft=asciidoc