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.




Kewen Wang

Zhe Wang

Nathan Cobby




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


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:




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




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




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.





[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