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

2. 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.

3. 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

4. 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

5. TABS
PORTLETS
After this, take to demo.
Configuration File

6. 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

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

8. Demo

9. 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.

10. 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.

11. 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 

12. Thank you !