All
I forwarded the email to Ian Horrocks, he of reasoner fame, and his
answer is below.
Envelope-to: [EMAIL PROTECTED]
Cc: Dmitry Tsarkov <[EMAIL PROTECTED]>
From: Ian Horrocks <[EMAIL PROTECTED]>
Subject: Re: Performance issues with OWL Reasoners (Was RE: Playing
with
On Thu, 14 Sep 2006, Kashyap, Vipul wrote:
OWL reasoners support two types of reasoning:
1. ABox reasoning (reasoning about instance data). Scalability here is being
achieved here by leveraging relational database technology (which is
acknowledged to be scalable) and mapping OWL instance
OWL reasoners support two types of reasoning:
1. ABox reasoning (reasoning about instance data). Scalability here is being
achieved here by leveraging relational database technology (which is
acknowledged to be scalable) and mapping OWL instance reasoning operations to
appropriate SQL queries on