McGuinness Oct 17, Query and Inference Rules BOF Moderators: Deborah McGuinness and Pat Hayes Short-eared OwlShort-eared Owl Asio flammeus ; picture - Ann Cook

McGuinness Oct 17, BOF Goals n Identify who has plans to work on query and inference tools n Identify needs for query and inference tools from the daml community n Generate list of actionable items. n Significant issues n Recommendations/plan of action n Other?

McGuinness Oct 17, Actionable items n Spec changes: l Answer templates added l Allow bnodes as bindings

McGuinness Oct 17, Some Technical Comments/Questions n Fitting agent systems and dql protocol issues together (finin) n Negative query premises (x is NOT known to the kb) n Disjunctive query premises (X or Y is a premise) n Must bind variables that are not returned n Answer bundle size made optional n Termination by lack of requesting additional info is dangerous n Answer kbs: should they be static across a query session… n Continuations: what might it mean to hand one to another server

McGuinness Oct 17, Plans for query/inference n Cycorp - contact: Steve Reed l Compliant implementation of dql n SRI – contact: Richard Waldinger l Translate into kestral specware to put into sri systems n Yale – contact: Drew McDermott, Dejing Dou l Query from different ontologies n HP labs – contact: Jeremy Carroll n Request – SQL features/analysis requirements/contributions

McGuinness Oct 17, Plans for query/inferencecont. n Stanford – contact: Richard Fikes, Deborah McGuinness l DQL query server implementation as a reference implementation l Some example use cases l Xml serialization examples n W3C – Contact: Tim Berners-Lee l Review syntax proposals for dql also provide at least a partial listing of requirements n AT&T - contact: Lewis Hart l Publish and subscribe channel n Teknowledge - contact: Adam Pease l Comply to dql in semantic search engine

McGuinness Oct 17, Issues n Form of answer(s) returned being returned (for efficiency issues) n Can you include relations between query terms (n < 10000) n Request to include presentation templates in the dql spec – this should be a well formed daml template n Number of answers to return

McGuinness Oct 17, Eastern Screech Owl Otus asio -Monteen McCord Thanks Updates to and