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

Slides:

Advertisements

Similar presentations

Ontology-Based Computing Kenneth Baclawski Northeastern University and Jarg.

Advertisements

Validation checking and testing that your web pages function as intended.

Reasoning Breakout Session 7/20/01 Richard Fikes Mike Dean DAML PI Meeting Nashua, New Hampshire July 18-20, 2001.

UML-Based Ontology Toolset Dr. Paul Kogut Lockheed Martin Management & Data Systems Valley Forge, PA.

UML-Based Ontology Toolset Dr. Paul Kogut Lockheed Martin Management & Data Systems Valley Forge, PA.

Using NIMAC 2.0: The Accessible Media Producer Portal NIMAC 2.0 for AMPs.

E-Con Sales & Product Configurator What’s new in e-con 4.2.

Javascript Code Quality Check Tools Javascript Code Quality Check Tools JavaScript was originally intended to do small tasks in webpages, but now JavaScript.

Updates and improvements to your liftshare system.

What’s New in Blackboard 9.1 SP 11.  Blackboard 9.1 SP11 takes Blackboard closer to the cloud and introduces a modernized user interface more in line.

April 15, 2004SPIE1 Association in Level 2 Fusion Mieczyslaw M. Kokar Christopher J. Matheus Jerzy A. Letkowski Kenneth Baclawski Paul Kogut.

Building ontologies using Jenkins. Changing requirements for ontology engineering Original ontology build pipeline – What pipeline? – Life on the bleeding.

Debugging CPSC 315 – Programming Studio Fall 2008.

DARPA Agent Markup Language Ashish Jain University of Colorado at Boulder.

PDDL: A Language with a Purpose? Lee McCluskey Department of Computing and Mathematical Sciences, The University of Huddersfield.

From SHIQ and RDF to OWL: The Making of a Web Ontology Language

DB Audit Expert v1.1 for Oracle Copyright © SoftTree Technologies, Inc. This presentation is for DB Audit Expert for Oracle version 1.1 which.

Cummins® Inc. Update Manager 3.0 Training Electronic Service Tools.

1 Consistency Checking of Semantic Web Ontologies Kenneth Baclawski, Northeastern U. & VIS Mieczyslaw M. Kokar, Northeastern U. & VIS Richard Waldinger,

Cummins® Inc. Update Manager 3.1 Training Electronic Service Tools.

Struts 2.0 an Overview ( )

Nicole Hu, User Testing John Newcomb, Documentation Lakshmi Prathivadi, Team Manager Prasanth Veerina, Development GoalFriends Design Team Making exercise.

Exceptions and Mistakes CSE788 John Eisenlohr. Big Question How can we improve the quality of concurrent software?

Advanced Lesson 1: Advanced Data Organization In Excel 2007, you can use a table to manage and organize related data. You can use the Autofilter tools.

Introduction to WordPress with SiteControl By: Web Services.

PowerINSPECT World’s leading hardware-independent inspection software

The NetBeans IDE CSIS 3701: Advanced Object Oriented Programming.

GENERAL CONCEPTS OF OOPS INTRODUCTION With rapidly changing world and highly competitive and versatile nature of industry, the operations are becoming.

Consistency Checking of RM-ODP Specifications Kenneth Baclawski Mieczyslaw Kokar Jeffrey Smith Jerzy Letkowski.

Extending UML to Support Ontology Engineering Kenneth Baclawski and Mieczylaw K. Kokar Northeastern University Paul A. Kogut, William S. Holmes III and.

1/13 Multimedia on the Semantic Web Jacco van Ossenbruggen Multimedia and Human-Computer Interaction (INS2) CWI Amsterdam.

Interpreted Declarative Representations of Task Knowledge June 21, 2012 Randolph M. Jones, PhD.

SAWA: An Assistant for Higher-Level Fusion and Situation Awareness Christopher J. Matheus, Mieczyslaw M. Kokar, Kenneth Baclawski, Jerzy A. Letkowski,

A Core Ontology for Situation Awareness Christopher J. Matheus Versatile Information Systems, Inc. Mieczyslaw M. Kokar Kenneth Baclawski Northeastern University/VIS.

Dynamic Debug Output and Error Handling in CF5 and CFMX November 12, 2002 By Douglas M. Smith Application Architect for Teratech, Inc.

SBIR Topic A04-105: An Ontologically-Based Data Fusion Model Chris Matheus & Mitch Kokar Versatile Information Systems, Inc. cmatheus,

Support for Context-Aware Intelligibility and Control Anind K. Dey Human-Computer Interaction Institute Carnegie Mellon University, Pittsburgh

Sketchmate: A Computer-Aided Sketching and Simulation Tool for Teaching Graph Algorithms Dissertation Proposal Kristy VanHornweder April 11, 2011.

Semantic Web Technologies Brief Readings Discussion Class work: Research topics and Project discussion Research Presentation Topics assigned Building lightweight.

Nick Hodges' Fourteen Reasons Why You Should Upgrade to BDS 2006 Oregon Delphi User Group November 2006.

Artificial Intelligence 2004 Ontology

DAML+OIL: an Ontology Language for the Semantic Web.

OilEd An Introduction to OilEd Sean Bechhofer. Topics we will discuss Basic OilEd use –Defining Classes, Properties and Individuals in an Ontology –This.

© University of Manchester Simplifying OWL Learning lessons from Anaesthesia Nick Drummond BioHealth Informatics Group.

2nd Sept 2004UK e-Science all hands meeting1 Designing User Interfaces to Minimise Common Errors in Ontology Development Alan Rector, Nick Drummond, Matthew.

DataLink for the Office 2007 Platform Jason King OSIsoft, Inc.

David Streader Computer Science Victoria University of Wellington Copyright: David Streader, Victoria University of Wellington Debugging COMP T1.

Ontology domain & modeling extensions. Modeling enhancements: overview Enhancements: – Increased expressivity in ontology – Increased expressivity in.

INSTRUCTIONAL DESIGN PRINCIPLES And How They Apply to Web Design Susie Kozak Grand Canyon University TECH542 July 19,2011.

TODAY Android Studio Installation Getting started Creating your 1 st App Beginning to understanding Intents.

April 2002HEC-RAS Version 3.0 FY02Slide 1 of 12 HEC-RAS Version 3.1 Troubleshooting.

Versatile Information Systems, Inc International Semantic Web Conference An Application of Semantic Web Technologies to Situation.

Ccs.  Ontologies are used to capture knowledge about some domain of interest. ◦ An ontology describes the concepts in the domain and also the relationships.

OOP Tirgul 7. What We’ll Be Seeing Today  Packages  Exceptions  Ex4 2.

Sung-Dong Kim, Dept. of Computer Engineering, Hansung University Java - Introduction.

Chapter 7: Function.

Context … for projects and MyDB

Eclipse 20-Sep-18.

CSCE 315 – Programming Studio, Fall 2017 Tanzir Ahmed

MicroSoft Word 2007 The purpose of this PowerPoint presentation is to show you some of the major differences in Word 2007 from the version we had here.

Scientific Notation ADVANCED

Extending UML to Support Ontology Engineering

OSS Development Team in a Company

ADVANCED Scientific Notation

Test-Driven Ontology Development in Protégé

Perl Programming Dr Claire Lambert

Types of Errors And Error Analysis.

SIDE: The Summarization IDE

University of Manchester

Complete Vehicle Systems.

Presentation transcript:

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

2 ConsVISor: consistency checking ConsVISor Checks axioms of DAML Displays results (errors and hints) ConsVISor is available for use at:

3 ConsVISor - example

4 NumIDMessage 1:0034 The classes and were declared to be disjoint, but they both contain

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 Bug Locations Explanations BugVISor Errors 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 daml+ont instead of daml+oil It was not that easy to find the error BugVISor would help!