Hi, Mike,1) If we use sparql query with reasoning=DL, will get no result on all those explicit ABox facts?2) I Tried reasoning=QL , still no result on ABox query. See logs below.query -c "http://localhost:5822/testdb;reasoning=QL" -q "select distinct ?p ?o where{<http://www.Department0.University0.edu/FullProfessor0> ?p ?o} limit 10"Executing Query:select distinct ?p ?o where{<http://www.Department0.University0.edu/FullProfessor0> ?p ?o} limit 10+-------+-------+| p | o |+-------+-------++-------+-------+Query returned 0 results in 00:00:00.068> query -c "http://localhost:5822/testdb;reasoning=QL" -q "select distinct ?s ?p ?o where{?s ?p ?o} limit 10"Executing Query:select distinct ?s ?p ?o where{?s ?p ?o} limit 10+-------------------------------------------------------+------------------------------------------------------------------------+--------------------------------------------------------------------+| s | p | o |+-------------------------------------------------------+------------------------------------------------------------------------+--------------------------------------------------------------------+| http://stardog.clarkparsia.com/ | http://www.w3.org/1999/02/22-rdf-syntax-ns#type | http://www.w3.org/2002/07/owl#Ontology || http://stardog.clarkparsia.com/ | http://www.w3.org/2002/07/owl#imports | http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl || http://www.University0.edu | http://www.w3.org/1999/02/22-rdf-syntax-ns#type | http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#University || http://www.University0.edu | http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#name | "University0" || http://www.Department0.University0.edu | http://www.w3.org/1999/02/22-rdf-syntax-ns#type | http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#Department || http://www.Department0.University0.edu | http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#name | "Department0" || http://www.Department0.University0.edu | http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#subOrganizationOf | http://www.University0.edu || http://www.Department0.University0.edu/FullProfessor0 | http://www.w3.org/1999/02/22-rdf-syntax-ns#type | http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#FullProfessor || http://www.Department0.University0.edu/FullProfessor0 | http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#name | "FullProfessor0" || http://www.Department0.University0.edu/FullProfessor0 | http://www.lehigh.edu/~zhp2/2004/0401/univ-bench.owl#teacherOf | http://www.Department0.University0.edu/Course0 |+-------------------------------------------------------+------------------------------------------------------------------------+--------------------------------------------------------------------+Query returned 10 results in 00:00:00.093By the way, it is hard to find how to use stardog with reasoning, i can only find those steps by searching in stardog group.Thanks for reply.Fan YU
On Tue, May 22, 2012 at 10:45 AM, YU Fan <yufa...@gmail.com> wrote:Stardog does not yet support equality reasoning.
> I tried another RDF file, and reasoning with DL and QL, the result set is
> listed below.
> What I am trying to do is to explicitly state;
> aa owl:sameAs bb,
> bb a B,
> bb someProperty cc
>
> wish to get:
> aa a B
> aa someProperty cc .
>
> Can anyone give me a hint?
I again suggest you review the documentation [1] on Stardog's
reasoning support to learn what's supported and how it works.
owl:sameAs
and owl:differentFrom
Data assertions will be taken into account for query answering. "This build of Stardog will expire in 26 days.
Executing Query:
select distinct ?o where {<file:///H:/p/d2rq-0.8/classic_a.n3#order_briefs/10103> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> ?o} limit 50
+-------------------------------------+
| o |
+-------------------------------------+
| http://localhost/vocab/orders |
| http://www.w3.org/2002/07/owl#Thing |
| http://localhost/vocab/order_briefs |
+-------------------------------------+
Query returned 3 results in 00:00:00.545