OntoRevision is an implementation of general revision in DL-LiteNbool. This implementation is based on the revision algorithm presented in the AAAI 2010 paper . The program is written by Nathan Cobby with the assistance of Kewen Wang and Zhe Wang.
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
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:
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.
 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