owl:sameAs basics

[lyx...@gmail.com]

Hi, sorry for dumb question. I'm trying to test basic reasoning, but don't get the basics.

The case I'm trying to produce looks like this:

1. I create a database

$ stardog-admin db create -n db1 -o icv.enabled=true icv.reasoning.type=QL -- input.ttl

input.ttl contents:

<http://example.org/foo> <http://example.org/name> "foo".

<http://example.org/foo> <http://www.w3.org/2002/07/owl#sameAs> <http://example.org/bar>.

2. query "foo":

$ bin/stardog query "db1;reasoning=QL" "select * where { <http://example.org/foo> ?p ?o }"

+-------------------------+------------------------+

|            p            |           o            |

+-------------------------+------------------------+

| http://example.org/name | "foo"                  |

| owl:sameAs              | http://example.org/bar |

+-------------------------+------------------------+

3. query "bar" (I expect it to return same triples as "foo", because of owl:sameAs fact), but it's empty:

$ bin/stardog query "db1;reasoning=QL" "select * where { <http://example.org/bar> ?p ?o }"

+-------+-------+

|   p   |   o   |

+-------+-------+

+-------+-------+

Please, tell me, what am I doing wrong? Did I misunderstood owl:sameAs, or missed some configurations, or else?

[Mike Grove]

Stardog does not support equality reasoning.  You might find our documentation [1] on reasoning a helpful resource.

Cheers,

Mike

[1] http://docs.stardog.com/owl2/

 

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