disjunction vs. inference

I note that whenever someone proposes a use case that leans on
disjunction, people say "you can solve that with this OWL ...". In
doing so, they are assuming the ability to express a premise and
assuming that the query engine suppors at least OWL inferencing.

The former (premise) may be taken to be a requirement of DAWG-QL.
Dependence on inference is specifically out of scope. If we use
inference to solve certain use cases, how can we say that it is
a DAWG use case?
-- 
-eric

office: +81.466.49.1170 W3C, Keio Research Institute at SFC,
                        Shonan Fujisawa Campus, Keio University,
                        5322 Endo, Fujisawa, Kanagawa 252-8520
                        JAPAN
        +1.617.258.5741 NE43-344, MIT, Cambridge, MA 02144 USA
cell:   +1.857.222.5741 (does not work in Asia)

(eric@w3.org)
Feel free to forward this message to any list for any purpose other than
email address distribution.

Received on Tuesday, 13 April 2004 08:18:32 UTC