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
Thu Apr 16 08:43:34 PDT 2009


Its all just part of a single plugin - linked from the page below.

Nick

2009/4/16 Muhammad Javed <mjaved at computing.dcu.ie>

>
> Hi,
>
> Can someone tell me from where i can download jar file of DiffView Plugin ?
>
> Regards
>
>
>
> > 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>
> <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>
> <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>
> <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
> >>
> > _______________________________________________
> > p4-feedback mailing list
> > p4-feedback at lists.stanford.edu
> > https://mailman.stanford.edu/mailman/listinfo/p4-feedback
> >
>
>
> --
> 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/p4-feedback/attachments/20090416/e816704a/attachment.html>


More information about the p4-feedback mailing list