Search Mailing List Archives
[protege-owl] SQWRL query help needed
teonacatl at gmail.com
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
Martin O'Connor wrote:
> Quoting Przemek W <teonacatl at tlen.pl>:
>> 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)→
>> And btw I have another question: Can these queries return answers ONLY
>> assertions? I've just realised that, when running the query it returns
>> correct answers, if they were originaly defined in the Ontology. For
>> 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.
> protege-owl mailing list
> protege-owl at lists.stanford.edu
> Instructions for unsubscribing:
View this message in context: http://www.nabble.com/SQWRL-query-help-needed-tp20188665p20205598.html
Sent from the Protege - OWL mailing list archive at Nabble.com.
More information about the protege-owl