Re: please keep Equality in the rule conclusion

Actually, I think performance is not the issue, just whether and how hard it is to be implemented at all.

There are always use cases for more expressive features.

-Chris

Sandro Hawke wrote:
>> Use case: writing the pD* semantics of OWL in RIF.
>>
>> http://www.ontotext.com/inference/rdfs_rules_owl.html#horst05
> 
> Dan, speaking for myself (not the WG):
> 
> Thanks for the use case; our main concern is about how hard it is to
> implement without impacting performance.  Do you have any data on that?
> Note, in particular, this test case:
> 
>    http://www.w3.org/2005/rules/wiki/Equality_in_conclusion_3
> 
> Thanks!
> 
>       -- Sandro
> 
> 
> 
> 
> 

-- 
Dr. Christopher A. Welty                    IBM Watson Research Center
+1.914.784.7055                             19 Skyline Dr.bu
cawelty@gmail.com                           Hawthorne, NY 10532
http://www.research.ibm.com/people/w/welty 

Received on Thursday, 25 February 2010 16:10:20 UTC