[Pellet-users] question about query language

[Swanson, Tim]

> 
> To expand a bit more on Kendall's already comprehensive post. I'm the
> point person on the SPARQL/OWL Task Force and will be writing the spec
> (soon I hope) (I was on the DAWG). 
>

Bijan,

I don't want to start an off-topic thread here, but I was wondering if
you would be willing to answer a few questions about SPARQL/OWL. (If
you'd like to move the discussion elsewhere, please do.)

I was wondering if SPARQL/OWL is expected to support "open-world"
queries. That is, the ability to query for the satisfiability of a given
fact. 

I am writing a set of applications now where we often have to know the
satisfiable extension of a class, or the satisfiable objects for a given
subject and property. (We use this to drive dynamic UI generation.) At
present, this is implemented through a (very) inefficient Jena+Pellet
brute-force solution. It works for small ontologies, but it's not a
viable solution in the long run.

Being able to formalize these requests into a standard query language
would be useful, and would allow implementing reasoners to do
optimizations that outsiders just can't do.


Thanks,

Tim Swanson
Semantic Arts, Inc.
Fort Collins, Colorado


> 
> In the end, I hope SPARQL/OWL will provide for a smooth transition
from
> querying an RDF kb as a graph to querying it as an OWL ontology. It's
a
> pretty realistic goal for large chunks of SPARQL.
> 
> Cheers,
> Bijan.
>