Query:
wine:Wine(?wine:x) ∧ wine:hasSugar(?wine:x, ?wine:y) ^ wine:Dry(?wine:y)→
sqwrl:select(?wine:x)
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 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)→
> 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 lists.stanford.edu>https://mailman.stanford.edu/mailman/listinfo/protege-owl>> Instructions for unsubscribing:
>http://protege.stanford.edu/doc/faq.html#01a.03>>
--
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.