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    

[protege-owl] Query: Subclasses or Sibling

James A Miller James_A_Miller at raytheon.com
Tue Apr 3 13:59:51 PDT 2007


protege-owl-bounces at mailman.stanford.edu wrote on 04/03/2007 05:48:51 AM:

> > Will the ontology be still in OWL-DL?
> 
> 
> Yes.
> 
> > stating a class is also an individual [Pizza1 = oneOf{pizza1}] I think
> > is out of scope of DL.
> 
> This is within the bounds of OWL-DL.

So, is it the case that treating a class as an individual is OWL-DL (in 
general), or just that this particular usage is OWL-DL?  I was under the 
(perhaps mistaken) understanding that classes could not be treated as 
individuals in OWL-DL.


> 
> In Protege 3.X you can also try the OWL-DL Individuals Tab, which 
> adds the capability of adding anonymous types to individuals.
> 
> Cheers,
> 
> Matthew
> 
> 
> 
> > Maybe I am misunderstanding you.
> >
> >
> > John Goodwin wrote:
> >>> I agree that your representations below work.
> >>> But is there any way to do this in protégé?
> >>> If I create an instance of pizza, I get the frames for 
> >>> ingredients (and
> >>> base), but these are only suitable for specifying:
> >>>
> >>>> pizza1 hasTopping cheese1
> >>>> pizza1 hasTopping tomato1
> >>>>
> >>> I wouldn't know how to specify the other parts of your statements.
> >>>
> >>
> >> If you are using Protégé 3.x the only way I can think of (and the 
> >> way I did it) is to create a class:
> >>
> >> Pizza1 subClassOf Pizza
> >>
> >> Create an instance of Pizza called pizza1
> >>
> >> Then say:
> >>
> >> Pizza1 = {pizza1}
> >>
> >> (literally type "{pizza1}" in the necessary and sufficient 
> >> condition block for that class - this is basically saying Pizza1 = 
> >> oneOf{pizza1})
> >>
> >>
> >> The add a necessary condition
> >>
> >> Pizza1 subClassOf hasTopping only (Cheese or Tomato)
> >>
> >> Admittedly it's a bit messy, but it's more a way of getting round 
> >> some of the editing limitations.
> >>
> >> In Protégé 4 alpha you can actually directly assert (under the 
> >> individual tab and in the asserted types box) that
> >>
> >> pizza1 instanceOf hasTopping only (Cheese or Tomato)
> >>
> >> which should do the job.
> >>
> >> John
> >>
> >>
> >> .
> >>
> >>
> >> This email is only intended for the person to whom it is addressed 
> >> and may contain confidential information. If you have received 
> >> this email in error, please notify the sender and delete this 
> >> email which must not be copied, distributed or disclosed to any 
> >> other person.
> >>
> >> Unless stated otherwise, the contents of this email are personal 
> >> to the writer and do not represent the official view of Ordnance 
> >> Survey. Nor can any contract be formed on Ordnance Survey's behalf 
> >> via email. We reserve the right to monitor emails and attachments 
> >> without prior notice.
> >>
> >> Thank you for your cooperation.
> >>
> >> Ordnance Survey
> >> Romsey Road
> >> Southampton SO16 4GU
> >> Tel: 08456 050505
> >> http://www.ordnancesurvey.co.uk
> >>
> >> _______________________________________________
> >> protege-owl mailing list
> >> protege-owl at lists.stanford.edu
> >> https://mailman.stanford.edu/mailman/listinfo/protege-owl
> >>
> >> Instructions for unsubscribing: http://protege.stanford.edu/doc/ 
> >> faq.html#01a.03
> >>
> >>
> >
> > -- 
> > William M. Fitzgerald,
> > PhD Student,
> > Telecommunications Software & Systems Group,
> > Waterford Institute of Technology,
> > Cork Rd.
> > Waterford.
> > Office Ph: +353 51 302937
> > Mobile Ph: +353 87 9527083
> >
> > _______________________________________________
> > protege-owl mailing list
> > protege-owl at lists.stanford.edu
> > https://mailman.stanford.edu/mailman/listinfo/protege-owl
> >
> > Instructions for unsubscribing: http://protege.stanford.edu/doc/ 
> > faq.html#01a.03
> 
> _______________________________________________
> protege-owl mailing list
> protege-owl at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-owl
> 
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.
> html#01a.03 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-owl/attachments/20070403/a2c39a48/attachment.html>


More information about the protege-owl mailing list