Clarification about query completeness for ontologies using SWRL rules under Stardog.

[phara...@gmail.com]

I apologize in advance in case this doubt is only due to my wrong understanding of OWL profiles.

When saying that:

• Under the DL profile, Stardog performs complete reasoning only for TBox queries; (and the reason behind this is that ABox or HybridBox query complete reasoning is not scalable)
• The SL profile present in Stardog, which is the only one that includes SWRL rules, is a superset of the DL profile, thus Stardog doesn't perform complete reasoning for ABox or HybridBox queries under it either;
• Running the Pellet reasoner inside Protege on an ontology that makes use of SWRL rules can lead to some inferred ABox triples (such as, someindividual is-a someclass), while the same ontology in Stardog under the SL profile can cause cycles in the reasoning process or such triples not to be inferred. This despite Stardog internally uses Pellet, because it focuses more on scalability than the standalone Pellet reasoner does.

Am I correct?

Thank you in advance,

Best regards.

[Héctor Pérez-Urbina]

Hi,

On Wed, Feb 25, 2015 at 9:46 AM, <phara...@gmail.com> wrote:

I apologize in advance in case this doubt is only due to my wrong understanding of OWL profiles.

When saying that:

• Under the DL profile, Stardog performs complete reasoning only for TBox queries; (and the reason behind this is that ABox or HybridBox query complete reasoning is not scalable)

Roughly, yes. In Stardog 3.0, the DL profile will allow you to reason with the whole KB in memory.

 

• The SL profile present in Stardog, which is the only one that includes SWRL rules, is a superset of the DL profile, thus Stardog doesn't perform complete reasoning for ABox or HybridBox queries under it either;

SL is not a proper superset of DL; the profiles aren't 'Russian dolls' in this sense. SL does support ABox and hybrid queries.

 

• Running the Pellet reasoner inside Protege on an ontology that makes use of SWRL rules can lead to some inferred ABox triples (such as, someindividual is-a someclass), while the same ontology in Stardog under the SL profile can cause cycles in the reasoning process or such triples not to be inferred. This despite Stardog internally uses Pellet, because it focuses more on scalability than the standalone Pellet reasoner does.

Stardog doesn't use Pellet as the main reasoner; however, provided that the axioms in the ontology fall under one of the tractable fragments, Pellet in Protégé and Stardog with SL should give you the same answers.

 

Am I correct?

Thank you in advance,

Best regards.

--
-- --
You received this message because you are subscribed to the C&P "Stardog" group.
To post to this group, send email to sta...@clarkparsia.com
To unsubscribe from this group, send email to
stardog+u...@clarkparsia.com
For more options, visit this group at
http://groups.google.com/a/clarkparsia.com/group/stardog?hl=en

--

Best,
Héctor