OntoRevision

 

Background

 

OntoRevision is an implementation of general revision in DL-LiteNbool. This implementation is based on the revision algorithm presented in the AAAI 2010 paper [1]. The program is written by Nathan Cobby with the assistance of Kewen Wang and Zhe Wang.

 

People

 

Kewen Wang

Zhe Wang

Nathan Cobby

 

Background

 

Ontologies have been widely used in advanced information systems. However, it has been a challenging issue in ontology engineering to efficiently revise ontologies as new information becomes available. A novel method of revising ontologies has been proposed recently by Wang et al. This prototype system implements Wang et al’s algorithms as plug-in of Protégé for ontology revision. Our system can be used by Protégé users to revise ontologies automatically.

 

 

Screenshot: Completion of revision operation

 

Download OntoRevision

 

Copyright 2010 Nathan Jay Cobby

 

This program is free software: you can redistribute it and/or modify

it under the terms of the GNU Lesser General Public License as published by

the Free Software Foundation, either version 3 of the License, or

(at your option) any later version.

 

This program is distributed in the hope that it will be useful,

but WITHOUT ANY WARRANTY; without even the implied warranty of

MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

GNU Lesser General Public License for more details.

 

You should have received a copy of the GNU Lesser General Public License

along with this program.  If not, see <http://www.gnu.org/licenses/>.

 

OntoRevision can be downloaded from the following link below:

 

ontorevision.jar

 

Source code and LGPL licence can found within the ontorevision.jar file.

 

Installation

 

Onotorevision is a plugin for the Protégé Ontology Editor. To install OntoRevision simply copy the ontorevision.jar file into the plugins directory of Protégé as shown in the example below:

 

Screenshot: ontorevision.jar file correctly installed

 

Instructions

 

Please follow the follow steps to perform revision operations with OntoRevision.

 

1.         Begin Protege

 

To begin using the OntoRevision software, start the Protégé Ontology Editor by executing the Protégé.exe file.

 

2.         Load/Create the K Ontology

Once protégé has started please “Open OWL ontology” to load the K Ontology into Protégé. If no K Ontology file exists then select “Create new OWL ontology” to create a new K Ontology.

 

 

3.         Show the OntoRevision View

 

Select the OntoRevision View by navigating to View-> Ontology Views-> OntoRevision. The figure below shows the selection of the OntoRevision view.

 

Screenshot: OntoRevision View Selection

 

Once the view has been selected it can be placed in any tab with Protégé. The screenshot below shows the OntoRevision view which has been place inside the Classes tab.

 

Screenshot: OntoRevision view

 

To perform revision simply click the “Compute Revision” button. A dialogue will be displayed which asks you to select the K Prime Ontology. Once the K Prime Ontology has been selected, OntoRevision will perform the revision operation. The “Revision Algorithm Completed.” message will be displayed once the revision operation has been completed.

 

 

References

 

[1] Z. Wang, K. Wang and R. Topor. A new approach to DL-Lite knowledge base revision. In: Proceedings of 24th AAAI Conference on Artificial Intelligence (AAAI-10), pages 369-374, 2010