[seek-kr-sms] GrOWL Applet

[Serguei Krivov]

I do not think that 'is one of' is a correct reflection of union definition .
If U is a union of B and C it does not mean that U is either C or B.
Precisely it imply that 
(for every x) (x belongs to U)
if and only if
(x belongs to B) OR (x belongs to C)
This is not any close to that union itself 'is one of' B or C. Though
every x that belongs to union  belogs to 'one of' B or C, BUT it also can belong
to both B and C as well. 

The keyword unionOf and intersectionOF are in a way standard in many owl
species. If we want to replace them, the only legitimate substitutes are OR for
unionOf and AND for  intersectionOF. The word isoneOf normally used for
enumeration when an element can be one of those mentioned, but never several of
them.
serguei



Quoting Rich Williams <rwilliams at nceas.ucsb.edu>:

> I like the idea of labeling union nodes as 'is one of' and intersection
> nodes as 'is all of'.  In  some cases (perhaps most?), it is possible to
> entirely eliminate the intersection node, but this might involve more
> processing of the OWL ontology than is practical.  Consider that the
> following two OWL fragments are semantically identical, and so it might be
> nice to display them both the same.  Otherwise this example would lead to
> displays like:
> 
> Test3--is-a--Test1
>     |
>      --is-a--Test2
> 
> And:
> 
> Test3--is-a--[is all of]----Test1
>                        |
>                         ----Test2
> 
> Rich
> 
> 
>   <owl:Class rdf:ID="test1"/>
>   <owl:Class rdf:ID="test2"/>
>   <owl:Class rdf:ID="test3">
>     <rdfs:subClassOf rdf:resource="#test1"/>
>     <rdfs:subClassOf rdf:resource="#test2"/>
>   </owl:Class>
> 
> 
>   <owl:Class rdf:ID="test1"/>
>   <owl:Class rdf:ID="test2"/>
>   <owl:Class rdf:ID="test3">
>     <rdfs:subClassOf>
>       <owl:Class>
>         <owl:intersectionOf rdf:parseType="Collection">
>           <owl:Class rdf:about="#test1"/>
>           <owl:Class rdf:about="#test2"/>
>         </owl:intersectionOf>
>       </owl:Class>
>     </rdfs:subClassOf>
>   </owl:Class>
> 
> 
> > -----Original Message-----
> > From: seek-kr-sms-admin at ecoinformatics.org
> > [mailto:seek-kr-sms-admin at ecoinformatics.org]On Behalf Of Ferdinando
> > Villa
> > Sent: Wednesday, January 28, 2004 8:59 AM
> > To: Serguei Krivov
> > Cc: seek-kr at ecoinformatics.org
> > Subject: Re: [seek-kr-sms] GrOWL Applet
> >
> >
> > Congrats to Serguei and Rich for these encouraging results! Now what we
> > need is to make the representation easy to understand - of course we are
> > not asking our "average user" to wade through intersection nodes and
> > restrictions, but at least in browsing mode, we want a smart (and
> > hopefully configurable) graph transformation step to turn this into the
> > simplest and clearest concept map imaginable.  I think we need a wider
> > group consensus on this, but here are a few points to start with:
> >
> > - recognize Intersection/Union nodes that link two classes and just
> > label them something like "is both" or "is one of", consistently with
> > "is a";
> >
> > - recognize those that point to restrictions and use some variation of
> > the "is a" theme with a "where" link attached
> >
> >
> > Coming up with a full set of these simplifications won't be easy but I
> > think the success of the approach will rest on it. Ideas, anyone? If we
> > could define these transformations parametrically and load them into the
> > editor as a style sheet, that would be the best. We may even want to use
> > some smart graphical symbols in the future.
> >
> > Ciao
> > ferdinando
> >
> > On Wed, 2004-01-28 at 11:11, Serguei Krivov wrote:
> > > Here is the first version of GrOWL applet:
> > >
> > > http://ecoinformatics.uvm.edu/dmaps/growl/GrowlApplet.html
> > >
> > >
> > >
> > > It shows camera ontology:
> > > http://ecoinformatics.uvm.edu/dmaps/growl/camera.owl ,from where I
> > > deleted one import statements. Apparently displaying owl with import
> > > statements in an applet is not going to be   straightforward.  Applets
> > > are not allowed to read from urls other then the server they came
> > > from, so import of the files from other host would require some
> > > workaround . It is possible to create a java servlet   which would
> > > fetch the files from “foreign” sites, but this would also require
> > > extensive modifications to OWLAPI
> > >
> > >
> > >
> > > I replaced “anonymous” label by “restriction”, as Rich said. Please
> > > advice if this is better.
> > >
> > >
> > >
> > >
> > >
> > > Serguei
> > >
> > >
> > --
> >
> > _______________________________________________
> > seek-kr-sms mailing list
> > seek-kr-sms at ecoinformatics.org
> > http://www.ecoinformatics.org/mailman/listinfo/seek-kr-sms
> 


--