Slide 1

BOF Goals

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

Actionable items

	Spec changes:
		Answer templates added
		Allow bnodes as bindings

Some Technical
Comments/Questions

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

Plans for query/inference

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

Plans for query/inference cont.

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

Issues

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

Slide 8