1

BugVISor: A DAML Debugging Tool

Mitch Kokar

Versatile Information Systems, Inc.

VIS@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: 0034The classes http://quantlabs.com/vis/ont/vehicle.daml#WaterCraft and

http://quantlabs.com/vis/ont/vehicle.daml#LandVehicle were declared to be disjoint, but they both contain http://quantlabs.com/vis/ont/vehicle.daml#avk3379.

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

OntologyOr

Annotated Source

DAMLAxioms

ConsVISor

Bug Locations

ExplanationsBugVISor

Errors

DAMLBug

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

daml+ont instead of daml+oil It was not that easy to find the error BugVISor would help!