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

2. McGuinness Oct 17, 2002 2 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?

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

4. McGuinness Oct 17, 2002 4 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

5. McGuinness Oct 17, 2002 5 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

6. McGuinness Oct 17, 2002 6 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

7. McGuinness Oct 17, 2002 7 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

8. McGuinness Oct 17, 2002 8 Eastern Screech Owl Otus asio -Monteen McCord Thanks Updates to dlm@ksl.stanford.edu and phayes@ai.uwf.edu