|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| u | The
formal properties of queries and answers |
||||||||||||||
| 4 | What
is a query? |
||||||||||||||
| 4 | What
is an answer and what does it mean? |
||||||||||||||
| u | Inferring
answers may be expensive |
||||||||||||||
| 4 | Impractical
to always try to compute all answers |
||||||||||||||
| u | Answers
may only be known to exist |
||||||||||||||
| u | Equivalence
of multiple answers |
||||||||||||||
| u | There
may be an infinite number of answers |
||||||||||||||
| u | Is
a query to a specific knowledge base? |
||||||||||||||
| u | Justifications
for answers |
||||||||||||||
| 4 | What
are they and when should they be computed? |
||||||||||||||
| u | Are
queries and answers represented in DAML+OIL? |
||||||||||||||
