Reasoning does not work

[ave...@gmail.com]

Hello,

I have downloaded the ReasoningExample.java from git and have also downloaded the required ontology files (again from git) University0_0.owl and lubmSchema.owl.

The problem that I am having is that both the results of reasoning and non-reasoning are the same, which implies that reasoning does not really work. I have also come to this conclusion using the LUBM ontology (University0_0.owl-University0_14.owl as data files and the aforementioned schema).

The output that I get is

The default results...

Number of Persons: 0

Number of Students: 0

Number of Grad Students: 146

Number of Professors: 0

Number of Full Professors: 10

Results with reasoning...

Number of Persons: 0

Number of Students: 0

Number of Grad Students: 146

Number of Professors: 0

Number of Full Professors: 10

Do you have any suggestions on what might be the problem?

Moreover I am interested in running stardog in order to compare it to other state of the art query rewriting/answering systems, hence I would like to know how to export the following information:

1. size/time of produced rewriting

2. size of rewriting that will be evaluated (in case queries that contain atoms with no answers are not considered in the rewriting)

3. size/time of evaluation

Thank you in advance.

[Michael Grove]

On Fri, Jul 24, 2015 at 5:51 AM, <ave...@gmail.com> wrote:

Hello,

I have downloaded the ReasoningExample.java from git and have also downloaded the required ontology files (again from git) University0_0.owl and lubmSchema.owl.

The problem that I am having is that both the results of reasoning and non-reasoning are the same, which implies that reasoning does not really work. I have also come to this conclusion using the LUBM ontology (University0_0.owl-University0_14.owl as data files and the aforementioned schema).

The output that I get is

The default results...

Number of Persons: 0

Number of Students: 0

Number of Grad Students: 146

Number of Professors: 0

Number of Full Professors: 10

Results with reasoning...

Number of Persons: 0

Number of Students: 0

Number of Grad Students: 146

Number of Professors: 0

Number of Full Professors: 10

Do you have any suggestions on what might be the problem?

Sounds like reasoning is not enabled. 

Moreover I am interested in running stardog in order to compare it to other state of the art query rewriting/answering systems, hence I would like to know how to export the following information:

1. size/time of produced rewriting

2. size of rewriting that will be evaluated (in case queries that contain atoms with no answers are not considered in the rewriting)

3. size/time of evaluation

You can find the documentation at [1].

Cheers,

Mike

[1] http://docs.stardog.com/#_owl_rule_reasoning

 

Thank you in advance.

--
-- --
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

[ave...@gmail.com]

First of all thank you for your immediate response.

On Friday, July 24, 2015 at 2:51:50 PM UTC+3, Michael Grove wrote:

On Fri, Jul 24, 2015 at 5:51 AM, <ave...@gmail.com> wrote:

Hello,

I have downloaded the ReasoningExample.java from git and have also downloaded the required ontology files (again from git) University0_0.owl and lubmSchema.owl.

The problem that I am having is that both the results of reasoning and non-reasoning are the same, which implies that reasoning does not really work. I have also come to this conclusion using the LUBM ontology (University0_0.owl-University0_14.owl as data files and the aforementioned schema).

The output that I get is

The default results...

Number of Persons: 0

Number of Students: 0

Number of Grad Students: 146

Number of Professors: 0

Number of Full Professors: 10

Results with reasoning...

Number of Persons: 0

Number of Students: 0

Number of Grad Students: 146

Number of Professors: 0

Number of Full Professors: 10

Do you have any suggestions on what might be the problem?

Sounds like reasoning is not enabled. 

I it does seem like reasoning is not enabled, however I am using the code posted on git, i.e., the example that show how to perform reasoning.

More precisely I have loaded the ReasoningExample.java file in eclipse and have also loaded jars from the client api and snarl folders. The reasoning connection I use is 

ReasoningConnection aReasoningConn = ConnectionConfiguration

.to("reasoningExampleTest")

.credentials("admin", "admin")

.reasoning(true)

.connect()

.as(ReasoningConnection.class);

I think that there is nothing wrong with my setup

In the example there is no further declaration 

Moreover I am interested in running stardog in order to compare it to other state of the art query rewriting/answering systems, hence I would like to know how to export the following information:

1. size/time of produced rewriting

2. size of rewriting that will be evaluated (in case queries that contain atoms with no answers are not considered in the rewriting)

3. size/time of evaluation

You can find the documentation at [1].

Is it possible to extract this information through the api (using eclipse) and not through the web service? 

Cheers,

Mike

[1] http://docs.stardog.com/#_owl_rule_reasoning

 

Thank you in advance.

--
-- --
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 regards,

Tassos 

[Michael Grove]

Without a complete running example that demonstrates the issue you're encountering, it's difficult to tell you what might be going on.  When running the example directly from a clean checkout of the stardog-examples repository, this is the output I get:

The default results...

Number of Persons: 0

Number of Students: 0

Number of Grad Students: 146

Number of Professors: 0

Number of Full Professors: 10

Results with reasoning...

Number of Persons: 719

Number of Students: 678

Number of Grad Students: 146

Number of Professors: 34

Number of Full Professors: 10

In the example there is no further declaration 

Moreover I am interested in running stardog in order to compare it to other state of the art query rewriting/answering systems, hence I would like to know how to export the following information:

1. size/time of produced rewriting

2. size of rewriting that will be evaluated (in case queries that contain atoms with no answers are not considered in the rewriting)

3. size/time of evaluation

You can find the documentation at [1].

Is it possible to extract this information through the api (using eclipse) and not through the web service? 

You might find the output of the query explain function helpful.

Cheers,

Mike