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] more than one class as range in OWL / Protege 4

Timothy Redmond tredmond at stanford.edu
Sun Aug 22 22:54:36 PDT 2010


Sorry - I should have taken more notice of the context of the question.

-Timothy


On 08/22/2010 01:02 PM, Thomas Schneider wrote:
> Thanks for the explanation, Timothy, but I think Alexander's post 
> simply refers to a typo in the Protégé Tutorial, which is treated in 
> the errata.
>
> Alexander, please have a look at the errata here:
>
> http://owl.cs.manchester.ac.uk/tutorials/protegeowltutorial/
>
> Cheers
>
> Thomas
>
> On 22 Aug 2010, at 03:29, Timothy Redmond wrote:
>
>> On 08/21/2010 04:51 PM, Alexander Nakhimovsky wrote:
>>>
>>> The User Guide says on p. 36:
>>>
>>> It is possible to specify multiple classes as the range for a
>>> property. If multiple
>>> classes are specified in Prot´eg´e 4 the range of the property is
>>> interpreted to be
>>> the intersection of the classes. For example, if the range of a 
>>> property has the
>>> classes Man and Woman listed in the range view, the range of the 
>>> property will
>>> be interpreted as Man union (italicized-adn) Woman.
>>>
>>> Which one is correct, intersection or union?
>>>
>>>
>>
>> This is not really a matter of being correct.  It is a matter of how 
>> the same information is presented differently to the user in Protege 
>> 3 and Protege 4.
>>
>> In OWL if there are two separate range statements:
>>
>> ObjectProperty: <http://www.protege.org/ontologies/tmp.owl#p>
>>     Range:
>> <http://www.protege.org/ontologies/tmp.owl#Man>
>>
>>
>> ObjectProperty: <http://www.protege.org/ontologies/tmp.owl#p>
>>     Range:
>> <http://www.protege.org/ontologies/tmp.owl#Woman>
>>
>>
>> then effectively the range is the intersection of the two classes.  
>> In Protege 4 this is how the interface presents an OWL ontology to 
>> the user.
>>
>> In Protege 3, it uses the same semantics but it presents the OWL 
>> ontology in a different manner.  In Protege 3, if there are two 
>> separate classes, Man and Woman, in the range dialog box, then it 
>> will generate the following OWL ontology:
>>
>> ObjectProperty: <http://www.protege.org/ontologies/tmp.owl#p>
>>     Range:
>> <http://www.protege.org/ontologies/tmp.owl#Man>
>>          or <http://www.protege.org/ontologies/tmp.owl#Woman>
>>
>>
>>
>> It does this because Protege 3 believes that this is what the user 
>> really intends.  In addition if there are two range statements
>>
>> ObjectProperty: <http://www.protege.org/ontologies/tmp.owl#p>
>>     Range:
>> <http://www.protege.org/ontologies/tmp.owl#Man>
>>
>>
>> ObjectProperty: <http://www.protege.org/ontologies/tmp.owl#p>
>>     Range:
>> <http://www.protege.org/ontologies/tmp.owl#Woman>
>>
>>
>> then Protege 3 will not show the range information for the properties 
>> in the standard range dialog box.  It deliberately does not handle 
>> this case because it thinks it is exceptional and not what a user 
>> usually intends.  It is possible to see the two range statements 
>> elsewhere in the Protege 3 interface but it doesn't show these views 
>> by default.
>>
>> Personally I like the Protege 4 behavior better because the ontology 
>> editing environment stays closer to the OWL specification.  But I 
>> think that the Protege 3 developers had a point in that usually when 
>> a user specifies two ranges for a property the user really wants one 
>> range assertion where the range is a union of the two specified range 
>> classes.
>>
>> -Timothy
>>
>>
>>
>> _______________________________________________
>> 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
>
> +----------------------------------------------------------------------+
> |  Dr Thomas Schneider                    schneider (at) cs.man.ac.uk  |
> |  School of Computer Science       http://www.cs.man.ac.uk/~schneidt  |
> |  Kilburn Building, Room 2.114                 phone +44 161 2756136  |
> |  University of Manchester                                            |
> |  Oxford Road                                             _///_       |
> |  Manchester M13 9PL                                      (o~o)       |
> +-----------------------------------------------------oOOO--(_)--OOOo--+
>
> Gretna Green (adj.)
>   A shade of green which makes you wish you'd painted whatever it was
>   a different colour.
>
>                   Douglas Adams, John Lloyd: The Deeper Meaning of Liff
>
>
>
>
>
>
>
>
>
>
> _______________________________________________
> 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/20100822/f07986f3/attachment.html>


More information about the protege-owl mailing list