| DQL | |
| A Query-Answering Language for DAML+OIL |
| Scope of a standard DAML query language | |||
| Goals: | |||
| Extensible | |||
| Suitable base layer for more elaborate languages | |||
| What’s in the bindings of an answer | |||
| Skolem constants? | |||
| Descriptions? | |||
| Proof premises referring to the described object | |||
| Allowing server to return unsolicited information | |||
| E.g., all entailed answers have been returned (“no”) | |||
| Knowledge base specification | |||
| Allow query to include description of allowable KBs | |||
| Allow answer to provide a set of URIs | |||
| Number of answers | |||
| Considering adding a “How Many” form of query | |||
| Protocols | |||
| Recommended to use existing agent protocols | |||
| Include in DQL a core set of commands | |||
| Add “release continuation” | |||
| Allow response to include multiple answers and token | |||
| Justifications | |||
| Perhaps require server to be able to provide premises | |||
| Each premise includes its “home” KB | |||
| Network interaction efficiency issues | |||