Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

Description Logic Summary

  • Description Logics are a syntactic fragment of First Order Logic, based on basic building blocks
    • Concepts
    • Roles
    • Individuals

  • Limited constructs for building complex concepts, roles, etc.
    • Many different Description Logics exist, depending on choice of constructs

  • Inference in Description Logics focuses on consistency checking and classification
    • Main reasoning task: Subsumption
    • Usually reasoning tasks in DLs can all be reduced to satisfiablity checking

  • Efficient Tbox (schema) reasoning
  • ABox reasoning (query answering) do not scale so well

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.