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