Search Mailing List Archives
[protege-discussion] Can't classify the OWL class properly, Why?
Timothy Redmond
tredmond at stanford.edu
Mon Sep 7 20:05:53 PDT 2009
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
More information about the protege-discussion
mailing list