Search Mailing List Archives

Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[p4-feedback] DL Query existential qualifier with 2 clauses?

Timothy Redmond tredmond at
Mon Nov 4 19:35:05 PST 2013

On 11/04/2013 07:25 PM, Marisa Gioioso wrote:
> hi all,
> I have been familiarizing myself with the DL Query tab and Manchester 
> Syntax.  I'm trying to perform the following query:
> Return ?x such that ?x propA ?y AND ?x propB ?y for some Person(?y)

I don't think you can do this in the DL Query tab for the reasons that 
you gave. As you indicate, if you modified the query to be

      Return ?x such that ?x propA ?y AND ?x propB ?z for some Person(?y) and Person(?z)

then you would be able to express this in the DL Query tab as the 
following expression

     (propA some Person) and (propB some Person)

But as you have it the class of all such ?x probably can't be expressed 
in OWL 2.  There are some proofs in some of the DL tableaux theorem 
provers that indicate why this sort of thing may lead to undecidability 
but I don't know if they say anything specific about your specific case.

SPARQL-DL should work as far as I know.


> I believe I can do this in SPARQL and had originally tried working 
> with the SPARQL plugin.  Because the SPARQL tab does not support 
> inferencing, and the object properties I'm working with are inferred, 
> I moved on to the DL Query tab.  But it seems that since the 
> Manchester Syntax does not use variables, I cannot encode the query 
> above in the DL Query tab?  Or is there a way to do it without 
> variables?  In vain, I tried variants on:
> (propA and propB) some Person.
> (propA some Person) and (propB some Person)
> does not yield what I want because I need the objects of the two 
> statements to be the same person.
> Actually, propA and propB in this case are symmetric.  So I also tried:
> propA some (Person that propB Self)
> but that returned nothing.
> If not, I will next try the SPARQL DL plugin that I just installed in 
> my Protege 4.3.  But the DL Query tab was preferable as it lets me add 
> query results back into the ontology as new classes, and that's really 
> useful for what I'm doing.
> thanks,
> Marisa
> _______________________________________________
> p4-feedback mailing list
> p4-feedback at

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the p4-feedback mailing list