Extending Web-Protégé to Support Reasoning Alok D Sagar T

Web ProtegE Lightweight, web-based ontology editor. Open source, well documented, thus extending it would be easy Built with a goal of supporting the process of collaborative ontology development in a web environment.

Motivation: What it Lacks Some cross Navigation, adding equivalence Reasoning !! Ontology Versioning* Reasoning an ontology in Web Protégé requires Exporting to a local file Reasoning locally Making required changes Uploading the extended version (Slide name)What is missing Motivation* Reasoning an ontology in WP requires Exporting to a local file Reasoning locally making required changes Uploaded the updated version

Approaches Restricting Write Access: Reasoning Current Snapshot: Lock the existing ontology when reasoning is been performed. When ontology is been reasoned, no other user can be allowed to edit it i.e. No multiuser write access. Reasoning Current Snapshot: Reason the snapshot of the ontology currently available. However, current user might lose out on updates someone else is making to the same ontology simultaneously. Tradeoff Apporaches considered: Locking existing ontology when reasoning.(no one else cannot be allwd to edit onto) Reasoning the current snapshot(current user can lose out on updates someone else is making simulatnosuly) Tradeoff

TABS PORTLETS After this, take to demo. Configuration File

Loosely Coupled System Architecture Java API Pellet REST-ful API Request: method=InfH&path=xxx Pellet Manager Request: OntoPath and Method Response Call Rest Web service for Reasoning Web Protege Reasoning Authentication Module Controller Re Save Inferred Hierarchy & Snapshot Snapshot Local Repository

Methodology Google Web Toolkit: Create REST API and invoke Pellet. Google Web Toolkit (GWT) is a development toolkit for building and optimizing complex browser-based applications. The GWT SDK provides a set of core Java APIs and Widgets. These allow you to write AJAX applications in Java and then compile the source to highly optimized JavaScript that runs across all browsers Create REST API and invoke Pellet. Local Storage for inferred hierarchy and ontology snapshots. GWT User Interface. Remove, can add GWT somewhere instead of this

Demo

Future Work Incremental reasoning :ability of the reasoner to process updates (additions or removals) applied to an ontology without having to perform all the reasoning steps from scratch. Pellet supports two different incremental reasoning techniques: incremental consistency checking and incremental classification. However, lack of support for OWL API forced us to confine the approach to reasoning. Lack of support for OWL API has forced us to confine the apporach to reasoning.

Related Work & Evaluation As far as Online Reasoning is concerned, no known system is available. The comparison between Standard Reasoning Vs Incremental Reasoning Will have to wait till support for OWL-API is provided. So the only other evaluation aspect would be the with the manual approach used, that of exporting the Ontology.

Conclusion Reasoning Capability to Web Protégé added as portlets To invoke Pellet Reasoner (As a REST WS) that offers Inferred Hierarchy Consistency Checking Save and Retrieve Snapshots of Ontology The plan would be Testing with more Ontologies Little more work on the UI part Send it over to Web Protégé guys and hopefully it gets incorporated at some point 

Thank you !