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    

[protege-owl] SQWRL query help needed

Przemek W teonacatl at
Tue Oct 28 04:34:55 PDT 2008


wine:Wine(?wine:x)  ∧  wine:hasSugar(?wine:x, ?wine:y) ^ wine:Dry(?wine:y)→ 

won't go green (I can't submit it), because it says that "wine:Dry" is an
invalid atom. In ontology "Dry" is defined as an individual of the WineSugar
class. Could that be a reason?

This is why I tried to compare it as a String, using some of the Built-Ins
for Strings. 

Martin O'Connor wrote:
> Quoting Przemek W <teonacatl at>:
>> Yes. I've realised that. But what should I use instead?
> What about:
> wine:Wine(?wine:x)  ∧  wine:hasSugar(?wine:x, ?y) ^ wine:Dry(?y)→
> sqwrl:select(?wine:x),
>> And btw I have another question: Can these queries return answers ONLY
>> about
>> assertions? I've just realised that, when running the query it returns
>> the
>> correct answers, if they were originaly defined in the Ontology. For
>> example
>> there's just one kind of White Wine, and query's result is THAT ONE
>> PARTICULAR wine(which is OK, i think?). But after running reasoner, there
>> appear to be many more INFERRED White Wines(marked in hierarchy as blue).
>> But query still returns THE SAME ONE white wine.
> SQWRL does not currently return reasoner-inferred knowledge. I plan to  
> fix this shortcoming in the next few months.
> Martin
> _______________________________________________
> protege-owl mailing list
> protege-owl at
> Instructions for unsubscribing:

View this message in context:
Sent from the Protege - OWL mailing list archive at

More information about the protege-owl mailing list