[protege-discussion] An instance as range of a property.

[Samson Tu]

The range of a property is a set of things, and should not be a specific 
instance. If you change the OWL file manually to put an instance as the 
range, then you are stating that the instance is also a class. (The 
extension of a class is a set of things.) So yes, Protegeis behaving 
correctly.

Samson

Niels Hoogeveen wrote:
> I am new to Protegé and to OWL and trying to create an ontology I'd like to 
> use for my website. I'd like to express the following.
>  
> I have a class named "Country".
> I have an instance of "Country" named "United States of America"
> I have an instance of "Country" named "Netherlands"
>  
> I have a class named "SubNationalTerritory" as a generic class for states, 
> provinces, departments.
>  
> I have a subclass of "SubNationalTerritory" called "USState" which instances 
> should be the 50 states of the United States of America.
>  
> I have a subclass of "SubNationalTerritory" called "NLProvince" which 
> instances should be the 11 provinces of the Netherlands.
>  
> I have a "partOf" property with domain "Thing" and range "Thing".
>  
> I'd like to create the following two sub-properties of "partOf":
>  
> * isNLProviceOf with "NLProvince" as domain and "Netherlands" as range.
> * isUSState with "USState" as domain and "United States of America" as range.
>  
> When adding this into Protegé I am not able to set an instance of a class as 
> range of a property. When I manually change the OWL file and reload it in 
> Protegé, the instances "United States of America" and "Netherlands" become 
> classes as well as instances. Is this correct behaviour? Or is there any other 
> way to model the above scenario?
>  
> 
> 
> 
> ------------------------------------------------------------------------
> Express yourself instantly with MSN Messenger! MSN Messenger 
> <http://clk.atdmt.com/AVE/go/onm00200471ave/direct/01/>
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> protege-discussion mailing list
> protege-discussion at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-discussion
> 
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03