[protege-discussion] Can't classify the OWL class properly, Why?

[Timothy Redmond]

You can close an individual off by adding an anonymous type for the  
individual.  If you want to say that the individual  i  has exactly  
one pA value of j then you can assert

	i pA j

and

	i hasType pA max 1.

The second of these assertions can be added in Protege 3 by clicking  
on the second icon above the asserted types in the individuals  tab.

-Timothy


On Sep 6, 2009, at 12:49 AM, 刘康 wrote:

> My problem is there may be serveral value of pA, and wish to identify
> if all of these value belong class B, the individual belong class C.
> Is there no other method to do this, as you said?
> _______________________________________________
> 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