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

[Thomas Russ]

On Sep 7, 2009, at 8:05 PM, Timothy Redmond wrote:

>
> 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.

Another option would be to explicitly enumerate all of the fillers and  
then assert that those are the only fillers.  It would look like

          i hasType (pA only {j})

for an instance "i" that has "j" as its only filler of "pA".  If there  
are more fillers, say j, k and m then it would need to be

          i hasType (pA only {j, k, m})


>
> -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
>
> _______________________________________________
> 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