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

Nick Drummond nick.drummond at cs.manchester.ac.uk
Wed Apr 15 09:30:58 PDT 2009


We also have a *very* simple diff view plugin for p4 [1] that literally
shows the axioms that are unique to each ontology.

Nick

[1] http://code.google.com/p/co-ode-owl-plugins/wiki/ChangeView


2009/4/15 Thomas Schneider <schneidt at cs.man.ac.uk>

> 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
>
> Thomas
>
> [1] Boris Konev, Dirk Walther, and Frank Wolter: The logical
> difference problem for description logic terminologies, Proceedings of
> IJCAR-2008.
> Paper and extended report under
> http://www.csc.liv.ac.uk/~frank/publ/logdiff.pdf<http://www.csc.liv.ac.uk/%7Efrank/publ/logdiff.pdf>
>  and http://www.csc.liv.ac.uk/~frank/publ/ijcar08full.pdf<http://www.csc.liv.ac.uk/%7Efrank/publ/ijcar08full.pdf>.
>
> [2] http://krono.act.uji.es/people/Ernesto/contentcvs
>
> 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
> > http://www.cngl.ie/
> > _______________________________________________
> > p4-feedback mailing list
> > p4-feedback at lists.stanford.edu
> > https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>
> +----------------------------------------------------------------------+
> |  Dr Thomas Schneider                         schneider at cs.man.ac.uk  |
> |  School of Computer Science       http://www.cs.man.ac.uk/~schneidt<http://www.cs.man.ac.uk/%7Eschneidt> |
> |  Kilburn Building, Room 2.114                 phone +44 161 2756136  |
> |  University of Manchester                                            |
> |  Oxford Road                                             _///_       |
> |  Manchester M13 9PL                                      (o~o)       |
> +-----------------------------------------------------oOOO--(_)--OOOo--+
>
> 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
>
>
>
>
>
>
>
> _______________________________________________
> p4-feedback mailing list
> p4-feedback at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/p4-feedback/attachments/20090415/0156b26c/attachment.html>


More information about the p4-feedback mailing list