Presentation on theme: "Extending Web-Protégé to Support Reasoning"— Presentation transcript:
1Extending Web-Protégé to Support Reasoning Alok D Sagar T
2Web ProtegE Lightweight, web-based ontology editor. Open source, well documented, thus extending it would be easyBuilt with a goal of supporting the process of collaborative ontology development in a web environment.
3Motivation: What it Lacks Some cross Navigation, adding equivalenceReasoning !!Ontology Versioning*Reasoning an ontology in Web Protégé requiresExporting to a local fileReasoning locallyMaking required changesUploading the extended version(Slide name)What is missing Motivation*Reasoning an ontology in WP requiresExporting to a local fileReasoning locallymaking required changesUploaded the updated version
4Approaches 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.TradeoffApporaches 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
5TABSPORTLETSAfter this, take to demo.Configuration File
6Loosely Coupled System Architecture Java APIPelletREST-ful APIRequest: method=InfH&path=xxxPellet ManagerRequest: OntoPathand MethodResponseCall Rest Web service for ReasoningWebProtegeReasoningAuthenticationModuleControllerReSave Inferred Hierarchy &SnapshotSnapshotLocal Repository
9Future WorkIncremental 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.
10Related 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.
11Conclusion Reasoning Capability to Web Protégé added as portlets To invoke Pellet Reasoner (As a REST WS) that offersInferred HierarchyConsistency CheckingSave and RetrieveSnapshots of OntologyThe plan would beTesting with more OntologiesLittle more work on the UI partSend it over to Web Protégé guys and hopefully it gets incorporated at some point