Description Logic

  • "originated as an attempt to give frame languages a logical semantics"
  • most often used for classification reasoning
  • restriction to binary relations is typical
  • strong influence on Semantic Web
  • have Tbox Vs Abox vs MBox

Referneces


Backlinks