Presentation is loading. Please wait.

Presentation is loading. Please wait.

1 BugVISor: A DAML Debugging Tool Mitch Kokar Versatile Information Systems, Inc.

Similar presentations


Presentation on theme: "1 BugVISor: A DAML Debugging Tool Mitch Kokar Versatile Information Systems, Inc."— Presentation transcript:

1 1 BugVISor: A DAML Debugging Tool Mitch Kokar Versatile Information Systems, Inc. VIS@mindspring.com

2 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 3 ConsVISor - example

4 4 NumIDMessage 1:0034 The 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 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 6 BugVISor - context Ontology Or Annotated Source DAML Axioms ConsVISor Bug Locations Explanations BugVISor Errors DAML Bug Ontology

7 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 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 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!


Download ppt "1 BugVISor: A DAML Debugging Tool Mitch Kokar Versatile Information Systems, Inc."

Similar presentations


Ads by Google