Re: 회신: Question about SWRL built-in "hasNumberOfPropertyValues"‏‏ ‏

No, SQWRL built-ins can be used on the LHS of a rule too.

The sqwrl construct I gave in the last message was wrong. A correct 
example is

a(B_8, ?value)  ∧ sqwrl:makeSet(?s, ?value)  ∧ sqwrl:size(2, ?s)
   → b(?value, B_9)

Samson

On 7/31/2013 10:43 PM, Kang, Sungku wrote:
> As far as I know, SQWRL built-in primitives can only be used for the result (after ->) so it would not help reasoning based on the cardinality but just help querying existing information.
>
> Therefore, since hasNumberOfPropertyValues is no longer supported, there is no primitive supporting reasoning based on the cardinality (which is only available on closed world assumption) with SWRL.
>
> Am I right?
>
> If there's another way to implement the reasoning based on the cardinality or use previous version of SWRL (which has hasNumberOfPropertyValues), please let me know.
>
> Regards,
>
> SungKu
> ________________________________________
> 보낸 사람: Samson Tu [[email protected]] 대신 [email protected] [[email protected]]
> 보낸 날짜: 2013년 7월 31일 수요일 오후 6:23
> 받는 사람: [email protected]
> 제목: Re: [protege-discussion] Question about SWRL built-in "hasNumberOfPropertyValues"‏‏‏
>
> I don't find hasNumberOfPropertyValues documented in the
> SWRLAboxBuiltIns wiki page. I assume the built-in is no longer supported.
>
> You can duplicate the functionality of hasNumberOfPropertyValues using
> the sqwrl:count(..) built-in.
>
> hasNumberOfPropertyValues(3, AnInstance, aProperty) is exactly the same as
>
> aProperty(AnInstance, ?value) and sqwrl:count(3, ?value)
>
>
> Samson
>
>
> On 7/31/2013 1:39 PM, Kang, Sungku wrote:
>> To whom it may concern,
>>
>> My name is SungKu, who's working as a graduate research assistant in UIUC.
>>
>> I'd like to perform reasoning based on the number of object related
>> through a certain property,
>>
>> so I need to use SWRL built-in "hasNumberOfPropertyValues" in abox of
>> SWRL built-in.
>>
>> However, I couldn't write a rule using "hasNumberOfPropertyValues" even
>> though abox is imported properly.
>> (I tried this with both latest version of protege, 4.3 and the old
>> version of protege, 3.4)
>>
>> Here's my question for the issue.
>>
>> 1. I know that "hasNumberOfPropertyValues" has risk to modify existing
>> information of ontology.
>>       So, "hasNumberOfPropertyValues" has been deprecated because of the
>> issue?
>>       If so, are there any way to use old version of built-in, which has
>> "hasNumberOfPropertyValues"?
>>
>> 2. If it is not deprecated, is there any way to use it?
>>
>> 3. If it is deprecated and old version is not accessible, is there any
>> alternative for "hasNumberOfPropertyValues"
>>       in the current built-in?
>>
>> If you are not able to help me, please let me know the person I can
>> contact for the issue.
>>
>> Thank you for your help and I hope you have a nice day!
>>
>> Regards,
>>
>> Kang, SungKu
>>
>>
>> _______________________________________________
>> protege-discussion mailing list
>> [email protected]
>> https://mailman.stanford.edu/mailman/listinfo/protege-discussion
>>
>> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
>>
>
>
> _______________________________________________
> protege-discussion mailing list
> [email protected]
> https://mailman.stanford.edu/mailman/listinfo/protege-discussion
>
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
> _______________________________________________
> protege-discussion mailing list
> [email protected]
> https://mailman.stanford.edu/mailman/listinfo/protege-discussion
>
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
>


_______________________________________________
protege-discussion mailing list
[email protected]
https://mailman.stanford.edu/mailman/listinfo/protege-discussion

Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03