|
|
|
|
|
|
|
|
|
|
|
|
|
|
| q | Query (DAML-Q
expression, Resources), |
||||||||||||
| q | Monotonic
Negation as failure: |
||||||||||||
| CantFind(DAML expression,
Resources) |
|||||||||||||
| q | where
Resources can be |
||||||||||||
| q | server(s) |
||||||||||||
| q | knowledge
base(s) |
||||||||||||
| q | time |
||||||||||||
| q | steps in proof |
||||||||||||
| q | constraints on
set of web resources |
||||||||||||