Hypotheses and Approach

• Knowledge entry = “assembling pre-built representational components” (rather than “writing axioms”)

  • Complex axioms already pre-built in the KB

• Can present and manipulate these representations graphically

  • Presentation: dialog in terms of examples
  • Manipulation: only need support a small number of “connection” axiom types (rather than full FOL)

Previous slide

Next slide

Back to first slide

View graphic version