> When the recursive fetching is computer, we apply RDFS + some owl
>> reasoning (OWLIM being the final reasoner at the moment) and index it.
>>
>
> Just out of interest, if you detect an inconsistency do you still index it?
>
Not an expert at all but i believe the supported subset is not very prone to
allowing inconsistencies.
.. e.g. i can see to two tripels with the same functional property but
different values.. yes it would be indexed anyway in this case.
Renaud in cc can answer more authoritatively, as he designed the system [1]
also expect a clarifying blog post about how to better leverage Sindice
reasoning soon.
Now that we've ultimated the engineering and we know it works fine in large
numbers its time we actually document it well..
Giovanni
[1] Renaud Delbru <http://www.deri.ie/about/team/member/renaud_delbru/>, Axel
Polleres <http://www.deri.ie/about/team/member/axel_polleres/>, Giovanni
Tummarello <http://www.deri.ie/about/team/member/giovanni_tummarello/>, Stefan
Decker <http://www.deri.ie/about/team/member/stefan_decker/>
*Context Dependent Reasoning for Semantic Documents in Sindice.*
In *Proceedings of the 4th International Workshop on Scalable Semantic Web
Knowledge Base Systems (SSWS 2008)*
Workshop at 7th International Semantic Web Conference (ISWC2008), Kalrsruhe,
Germany, 2008.