 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| q |
Integrate
tools into Consistency Reasoning And
Visualization
|
|
Environment
(CRAVE)
|
|
|
|
q |
Focus on
DAML-S modeling and ontology merging and evolution
|
|
|
| q |
Develop
BugVISor
|
|
|
|
q |
DAML ontology
for ontology bugs and debugging advice
|
|
|
| q |
Integrate
ConsVISor, BugVISor and Specware/SNARK into
|
|
|
Consistency
Reasoning Agent (CRA)
|
|
|
|
q |
Used
standalone or with UML tool
|
|
|
|
q |
Can also be
used to check consistency of annotation/markup
|
|
|
| q |
Metrics:
|
|
|
|
q |
%
of known seeded errors found
|
|
|
|
q |
%
of errors found that are legitimate errors
|
|
|
|
q |
Processing
time required to check ontologies related to
|
|
|
size/complexity
of ontologies
|
|
