OXFORD UNIVERSITY COMPUTING LABORATORY

Modularization Tool

Overview

Within the TONES project I have implemented an algorithm for extracting modules from OWL ontologies. The algorithms and the characteristics of the extracted modules are described in our WWW-2007 paper: "Just the Right Amount: Extracting Modules From ontologies" .

The module extraction functionality has been implemented using the well-known OWL API , and I have integrated it in the ontology editor Swoop . The version of Swoop I am using to demonstrate the modularity functionality is, however, not the latest one. Please, do not expect that this version of Swoop to be very stable: I am just using it for demoing purposes. Also, please note that the module extraction code provided here is a preliminary academic prototype whose only goal is to serve as a proof of concept. 

Functionality

Currently, the user interface of Swoop provides functionality for:
  • Selecting an input vocabulary (a set of concept names)
  • Extracting the locality-based module for such a vocabulary. We allow for two kinds of modules:
    • Locality modules: preserve the meaning of the concepts in the input vocabulary in the context of their super-concepts.
    • Dual Locality modules: preserve the meaning of the concepts in the input vocabulary in the context of their sub-concepts.

Download:

  • To download Swoop with the modularity functionality click here.
  • To download the module extraction code independently of Swoop click here .

Quick Instructions for Use

Module extraction functionality in Swoop:
  • Run Swoop
  • Load an ontology
  • Select a concept name in the class tree
  • Select ``Resource Holder'' in the main menu.
  • Select ``Add Current Entity to Holder''
  • Click on ``Extract Module for All Entities in the Holder'' to extract the locality module OR Click on ``Extract Dual Module for All Entities in the Holder'' to extract the dual module
  • The module is added as an ontology in the workspace. Note that you can increase the input vocabulary by simply adding new concept names to the holder.

Papers

History Matters: Incremental Ontology Reasoning Using Modules
Bernardo Cuenca Grau , Christian Halaschek-Wiener , and Yevgeny Kazakov
In Proc. of the 6th Int. Semantic Web Conference (ISWC 2007), LNCS, Busan, South Korea, November 11-15 2007. Springer. To appear.
Ontology Reuse: Better Safe than Sorry
Bernardo Cuenca Grau , Ian Horrocks , Yevgeny Kazakov and Ulrike Sattler
Proc. of the 2007 Description Logic Workshop (DL-2007). volume 250 of CEUR Proceedings
Just the Right Amount: Extracting Modules from Ontologies
Bernardo Cuenca Grau , Ian Horrocks , Yevgeny Kazakov and Ulrike Sattler
In Proc. of the 16th International World Wide Web Conference (WWW 2007), pages 717-727, Banff, AB, Canada, May 8–12 2007. ACM Press.
A Logical Framework for Modularity of Ontologies
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov , and Ulrike Sattler
In Proc. of the 20th Int. Joint Conference on Artificial Intelligence (IJCAI 2007), pages 298-303 , Hyderabad, India, January 6–12 2007. Morgan Kaufmann Publishers

[Oxford Spires]



Oxford University Computing Laboratory Courses Research People About us News