Description Logics

• Semantic Nets were Scruffy

  • Coming out linguistic and cognative modeling
  • Lots of pointer chasing
    • And other implementation dependent moves
    • Some notable innovations
    • Some notable “confusions” (isa/instanceOf)
  • “Intuitively” Object Oriented

• Send in the neats

  • Pat Hayes: “The logic of frames”
  • Brachman & friends, KL-One
  • Trade expressivity for tractability
  • Trade tractability for “practical” expressivity

Notes: