On Mon, Jul 21, 2014 at 8:09 AM, Peter F. Patel-Schneider <
pfpschneider@gmail.com> wrote:
> Sorry if you misunderstood my statement, I did say it has to be true, but
>> is something that could be tested. I could be that the Regular Expression
>> derivatives algorithm, although much less expressive then OWL, is
>> outperforming the OWL reasoners. Only some research and testing will give
>> an useful answer, but certainly something nice to consider and test.
>>
>
> Yes, this could be tested. I expect that StarDog ICV will perform very
> well, as it works by translation into SPARQL queries.
>
We'd like to extend our implementation to handle constraint checking
incrementally, but that's orthogonal to the approach or to standardization
issues IMO.