1 bugvisor: a daml debugging tool mitch kokar versatile information systems, inc. [email protected]
TRANSCRIPT
![Page 2: 1 BugVISor: A DAML Debugging Tool Mitch Kokar Versatile Information Systems, Inc. VIS@mindspring.com](https://reader036.vdocuments.net/reader036/viewer/2022082917/5514e08a550346a80c8b45c1/html5/thumbnails/2.jpg)
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
![Page 3: 1 BugVISor: A DAML Debugging Tool Mitch Kokar Versatile Information Systems, Inc. VIS@mindspring.com](https://reader036.vdocuments.net/reader036/viewer/2022082917/5514e08a550346a80c8b45c1/html5/thumbnails/3.jpg)
3
ConsVISor - example
![Page 4: 1 BugVISor: A DAML Debugging Tool Mitch Kokar Versatile Information Systems, Inc. VIS@mindspring.com](https://reader036.vdocuments.net/reader036/viewer/2022082917/5514e08a550346a80c8b45c1/html5/thumbnails/4.jpg)
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.
![Page 5: 1 BugVISor: A DAML Debugging Tool Mitch Kokar Versatile Information Systems, Inc. VIS@mindspring.com](https://reader036.vdocuments.net/reader036/viewer/2022082917/5514e08a550346a80c8b45c1/html5/thumbnails/5.jpg)
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
![Page 6: 1 BugVISor: A DAML Debugging Tool Mitch Kokar Versatile Information Systems, Inc. VIS@mindspring.com](https://reader036.vdocuments.net/reader036/viewer/2022082917/5514e08a550346a80c8b45c1/html5/thumbnails/6.jpg)
6
BugVISor - context
OntologyOr
Annotated Source
DAMLAxioms
ConsVISor
Bug Locations
ExplanationsBugVISor
Errors
DAMLBug
Ontology
![Page 7: 1 BugVISor: A DAML Debugging Tool Mitch Kokar Versatile Information Systems, Inc. VIS@mindspring.com](https://reader036.vdocuments.net/reader036/viewer/2022082917/5514e08a550346a80c8b45c1/html5/thumbnails/7.jpg)
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
![Page 8: 1 BugVISor: A DAML Debugging Tool Mitch Kokar Versatile Information Systems, Inc. VIS@mindspring.com](https://reader036.vdocuments.net/reader036/viewer/2022082917/5514e08a550346a80c8b45c1/html5/thumbnails/8.jpg)
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
![Page 9: 1 BugVISor: A DAML Debugging Tool Mitch Kokar Versatile Information Systems, Inc. VIS@mindspring.com](https://reader036.vdocuments.net/reader036/viewer/2022082917/5514e08a550346a80c8b45c1/html5/thumbnails/9.jpg)
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!