|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| u | Scope
of a standard DAML query language |
|||||||||||||||||||
| 4 | Goals: |
|||||||||||||||||||
| > | Extensible |
|||||||||||||||||||
| > | Suitable
base layer for more elaborate languages |
|||||||||||||||||||
| u | What’s
in the bindings of an answer |
|||||||||||||||||||
| 4 | Skolem
constants? |
|||||||||||||||||||
| 4 | Descriptions? |
|||||||||||||||||||
| > | Proof
premises referring to the described object |
|||||||||||||||||||
| u | Allowing
server to return unsolicited information |
|||||||||||||||||||
| E.g., all entailed answers have been
returned (“no”) |
||||||||||||||||||||
| u | Knowledge
base specification |
|||||||||||||||||||
| 4 | Allow
query to include description of allowable KBs |
|||||||||||||||||||
| 4 | Allow
answer to provide a set of URIs |
|||||||||||||||||||
