Search Mailing List Archives

Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[p4-feedback] PromptDiff

Thomas Schneider schneidt at
Wed Apr 15 07:44:56 PDT 2009

Hi Muhammad,

as for (1), you might get an answer from the developers of PromptDiff  
on the Protégé-OWL mailing list.

As for (2) and (3), the answers very much depend on what exactly you  
want to compare. Are you interested in knowing whether two ontologies  
contain the same set of axioms? Strictly or subject to structural  
transformation? Or do you want to know whether two ontologies are  
equivalent, i.e., have the same entailments? The latter is a very  
difficult task; it's even undecidable for most description logics. An  
efficient algorithm has only been found for ontologies in the profile  
EL, see [1].

I know of a tool that is being developed by Ernesto Jimenez Ruiz and  
others, which aims at providing a content management system for  
ontologies, similarly to CVS/SVN. I believe it contains some diffing  
as well. Please have a look at Ernesto's webpage [2].

Hope this helps


[1] Boris Konev, Dirk Walther, and Frank Wolter: The logical  
difference problem for description logic terminologies, Proceedings of  
Paper and extended report under 
  and .


On 15 Apr 2009, at 16:30, Muhammad Javed wrote:

> Hi,
> A little bit help required
> so far I have knowledge, application for comaparing two ontologies is
> available only in old versions of Protege (protege 3.3.1 etc.)
> 1) Is JavaDoc for PromptDiff available to download, which one can  
> use to
> understand methods and classes of Java. ? As I could only find java  
> source
> file.
> 2) any guidelines/Tutorials for implementation of PromptDiff in your  
> own
> tool.
> 3) Is there any other plugin available which compares two versions of
> ontology ?
> Regards
> -- 
> Muhammad Javed
> Phd Research Student
> Centre for Next Generation Localisation (CNGL)
> Dublin City University, Dublin 09, Ireland
> Ph:  +353 (0)1 700 6912
> Fax: +353 (0)1 700 5442
> _______________________________________________
> p4-feedback mailing list
> p4-feedback at

|  Dr Thomas Schneider                         schneider at  |
|  School of Computer Science  |
|  Kilburn Building, Room 2.114                 phone +44 161 2756136  |
|  University of Manchester                                            |
|  Oxford Road                                             _///_       |
|  Manchester M13 9PL                                      (o~o)       |

Imber (vb.)
   To lean from side to side while watching a car chase in the cinema.

                   Douglas Adams, John Lloyd: The Deeper Meaning of Liff

More information about the p4-feedback mailing list