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

william fitzgerald wfitzgerald at tssg.org
Tue Apr 3 03:38:05 PDT 2007


Hi John,

Will the ontology be still in OWL-DL?

stating a class is also an individual [Pizza1 = oneOf{pizza1}] I think 
is out of scope of DL.

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 




More information about the protege-owl mailing list