Notes

Outline

"DQL" DQL A Query-Answering Language for DAML+OIL

DQL Design Issues 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

DQL Design Issues 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