BugVISor: A DAML Debugging Tool

1
BugVISor A DAML Debugging Tool

• Mitch Kokar
• Versatile Information Systems, Inc.
• VIS_at_mindspring.com

2
ConsVISor consistency checking

• ConsVISor
• Checks axioms of DAML
• Displays results (errors and hints)
• ConsVISor is available for use at
  http//vis.home.mindspring.com

3
ConsVISor - example
4
Num ID Message
1 0034 The classes http//quantlabs.com/vis/ont/vehicle.damlWaterCraft and http//quantlabs.com/vis/ont/vehicle.damlLandVehicle were declared to be disjoint, but they both contain http//quantlabs.com/vis/ont/vehicle.damlavk3379.
5
BugVISor

• BugVISor would extend ConsVISor by
• Annotating errors and warnings found by ConsVISor
  using a DAML ontology (BugOntology.daml)
• Reasoning about errors and warnings
• Finding and displaying the cause of errors and
  warnings

6
BugVISor - context
Ontology Or Annotated Source
DAML Axioms
ConsVISor
Errors
BugVISor
Bug Locations Explanations
DAML Bug Ontology
7
BugVISor proposed features

• Built on DAML philosophy
• Use a Bug Ontology in DAML
• Automatically annotate errors
• Reason about errors
• Would grow together with DAML

8
WOW! Factors

• Would make finding errors easier, simpler, faster
• Would make DAML more user-friendly and attractive
• Bottom Line
• INCREASED PRODUCTIVITY of ontology developers and
  annotators
• IMPROVED QUALITY of ontologies and annotations

9
WOW! Factors Example

• We tested one of the ontologies on daml.org
• ConsVISor found 76 errors
• 75 were related to a single typo
• damlont instead of damloil
• It was not that easy to find the error
• BugVISor would help!