Search Mailing List Archives
[protege-discussion] Can't classify the OWL class properly, Why?
Thomas Russ
tar at ISI.EDU
Tue Sep 8 12:48:29 PDT 2009
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
More information about the protege-discussion
mailing list