Re: comparing to OWL and SPIN

On Mon, Jul 21, 2014 at 8:09 AM, Peter F. Patel-Schneider <> 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.

Received on Monday, 21 July 2014 13:26:19 UTC