OWL Lit Briefing

1
Query and Inference Rules BOF Moderators
Deborah McGuinness and Pat Hayes
Short-eared Owl  Asio flammeus picture - Ann
Cook
2
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?

3
Actionable items

• Spec changes
• Answer templates added
• Allow bnodes as bindings

4
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

5
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

6
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
• ATT - contact Lewis Hart
• Publish and subscribe channel
• Teknowledge - contact Adam Pease
• Comply to dql in semantic search engine

7
Issues

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

8

Thanks Updates to dlm_at_ksl.stanford.edu and
phayes_at_ai.uwf.edu
Eastern Screech Owl  Otus asio -Monteen McCord