EXTENDING WEB-PROTÉGÉ TO SUPPORT REASONING

A L O K D S A G A R 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

APPROACHES

• • • Restricting Write Access: • 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

TABS PORTLETS

Configuration File

Loosely Coupled System Architecture

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

METHODOLOGY

• • • • Google Web Toolkit: • • 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.

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.

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 • Inferred Hierarchy • 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 !