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.
Received on Monday, 21 July 2014 13:26:19 UTC