Re: comparing to OWL and SPIN

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.