Project

General

Profile

Statistics
| Branch: | Revision:

cool / BUGS @ master

History | View | Annotate | Download (804 Bytes)

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