[protege-discussion] Object Properties between Class and instances

[Thomas Russ]

On Dec 18, 2008, at 1:24 PM, GEORGE LITSIOS wrote:

> > If you really want to have the property connect all individuals of  
> one
> > class to a particular individual, you can specify that in the class
> > definition by using owl:hasValue as the restriction
>
> This is what i want and thank you for your reply.
> Is it sure that with a restriction such that everey individual from  
> the class and it's subclasses will connected with the spesific  
> individual from some othere class (sorry but i'm a little new in the  
> field). Whit this approach is not needed to connecte every  
> individual from the first class with a specific individual from the  
> second class? (the property i use here is an object property).

Yes.  That is precisely what that restriction means.

Now, you may need to use a reasoner to actually get the value, since  
this changes the nature of the connection from an assertion to an  
inference.  But any proper OWL reasoner will give you that inference.

There is also a bit of a hack to get the value using the Protege-OWL  
API as well:
    OWLIndividual.getHasValuesOnTypes(RDFProperty)